This paper outlines and discusses the pedagogical approach, the technical design architecture, and an innovative implementation of a collaborative role-play simulation technology (called the Role-Play Simulation Generator). It also includes summative evaluation data derived from a case study application of this technology. The pedagogical approach of this collaborative learning technology is ba...

The Test Template Framework (TTF) is a method for modelbased testing (MBT) from Z specifications. Although the TTF covers many features of the Z notation, it does not explain how to deal with axiomatic descriptions, quantifiers and set comprehensions. In this paper we extend the TTF so it can process specifications including these features. The techniques presented here may be useful for other ...

This study attempts to apply an agent-based approach to modelling a social dilemma of travel mode choice considering psychological and sociological aspects. A traveller is modelled to have expectations, which shows the traveller’s beliefs about the influence of other group members on his action, as decision-making rules. Social interaction using a group-based interaction is hypothesized to be i...

Deployment of model-based testing involves many difficulties that have slowed down its industrial adoption. The leap from traditional scripted testing to model-based testing seems as hard as moving from manual to automatic test execution. Two key factors in the deployment are the language used to define the test models, and the language used for defining the test objectives. Based on our experi...

The research was conducted to compare the impacts of problem-based learning (PBL) and example-based learning (EBL) on the learning performance in an engineering domain. The research was implemented by means of experimental design. Specifically, a two-group experiment with a preand post-test design was used in this research. A total of 37 students were randomly assigned to PBL and EBL groups. A ...

Applications for ubiquitous systems have to be designed to run in contextual environments and on a multitude of software and hardware platforms. To assure their quality in an adequate subset of these static as well as dynamic configurations, variability modeling and model-based testing can be used. In this paper, we present an approach applying Model-based Testing (MBT) and Dynamic Feature Petr...

Component qualification is one of the major steps in the development of component-based applications. Several techniques are used to enrich documentation by structuring and classifying components’ metadata. In that line, aspect information has been used to help implement better component interfaces and to encode knowledge of components’ capabilities. In this paper, we describe an environment to...

In this paper we examine some of the ways in which an ontology can be used to assist in the evaluation of knowledge-based systems. Key elements of the support provided by the ontology relate to attempting to give coherence to the domain conceptualisation; making the role of experts in evaluation more structured and less at the mercy of interpretation; constraining the number of test cases requi...

The purpose of the present study was to investigate the effect of intensive interval training on the nature of red blood corpuscles count and cardiovascular endurance. Interval training stresses not only the energy system but the muscular system also. To fulfil the objectives of the study, fifty students from the Department of Physical Education, Lovely Professional University, Punjab were sele...

Model-based testing techniques often select test cases according to test goals such as coverage criteria or mutation adequacy. Complex criteria and large models lead to large test suites, and a test case created for one coverage item usually covers several other items as well. This can be problematic if testing is expensive and resources are limited. Therefore, test case generation can be optim...