A test generation framework for quiescent real-time systems

We present an extension of Tretmans theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational interpretation of the notion of quiescence in the context of real-time behaviour. This gives rise to a family of implementation relations parameterized by observation durations for quiescence. We define a nondeterministic (parameterized) test generation algorithm that generates test cases that are sound with respect to the corresponding implementation relation. Also, the test generation is exhaustive in the sense that for each non-conforming implementation a test case can be generated that detects the non-conformance

Gender, Epistemology, and Education: An Exploration of the Knowledge Construction of Female and Male Pupils

This study explores gender differences in the knowledge constructed about World War II by 11- and 12-year-old Scottish pupils. Data collected over seven months included field notes, interviews, students\u27 reading and writing, and audiotapes of discussions. Examination revealed the young women\u27s work showcased individuals while the young men framed World War II information using a world view. The findings illustrate the epistemological differences that can exist between our male and female students as they construct their own understanding of topics

Halotolerant bacteria in the efflorescences of a deteriorated church

7 pages, 6 figures, 3 tables, 18 references.--Proceedings of the 5th International Symposium, celebrado del 5-8, abril, 2000, en Sevilla, España.[EN]: A study on the composition of the efflorescences from the Church of Saint Jerome, Granada, Spain, and their influence on the distribution ofthe bacterial communities was carried out. The composition of the efflorescences varied depending on the location of the sampling point. The colony foming units (cfu) was related with the type of salt, with a clear difference between halite and epsomite/hexahydrite. The most abundant genera were Bacillus and Micrococcus and the abundance of bacilli could be explained by their osmotic adaptation to halophilic environments.[ES]: Se ha determinado la composición de las eflorescencias de la iglesia de San Jerónimo, en Granada, España, y relacionado con la presencia de comunidades específicas de bacterias. Existe una conexión entre el tipo de sales y las comunidades bacterianas; así, la epsomita, la sal más abundante en el templo, origina la selección de comunidades capaces de crecer a concentraciones de hasta,15% de esta sal. Sin embargo, las bacterias que basan su halotolerancia en la halita presentan un crecimiento comparativamente menor y no son significativamente estimuladas por la presencia de epsomita. Los géneros más abundantes son Bacillus y Micrococcus. La abundancia de bacilos se debe a su adaptación osmótica a ambientes salinos.This work was supported by the European Commission, project ENV4-CT98-0705, and the Research Groups RNM-179 and 201 from the Community of Andalusia.Peer reviewe

Managing plagiarism in programming assignments with blended assessment and randomisation.

Plagiarism is a common concern for coursework in many situations, particularly where electronic solutions can be provided e.g. computer programs, and leads to unreliability of assessment. Written exams are often used to try to deal with this, and to increase reliability, but at the expense of validity. One solution, outlined in this paper, is to randomise the work that is set for students so that it is very unlikely that any two students will be working on exactly the same problem set. This also helps to address the issue of students trying to outsource their work by paying external people to complete their assignments for them. We examine the effectiveness of this approach and others (including blended assessment) by analysing the spread of similarity scores across four different introductory programming assignments to find the natural similarity i.e. the level of similarity that could reasonably occur without plagiarism. The results of the study indicate that divergent assessment (having more than one possible solution) as opposed to convergent assessment (only one solution) is the dominant factor in natural similarity. A key area for further work is to apply the analysis to a larger sample of programming assignments to better understand the impact of different features of the assignment design on natural similarity and hence the detection of plagiarism

Reflections on ten years of using economics games and experiments in teaching

In this paper, the author reflects on his 10 years’ experience of using games and experiments and in the process develops a type of practitioner’s guide. The existing quantitative and qualitative evidence on the impact of using games on student learning is reviewed. On balance, a positive effect, on measures of attainment, is found in the literature. Given these findings, it is surprising that there is also evidence in the UK and US that they are not widely used. Some factors are discussed that might deter tutors from employing them. Unsurprisingly, one of these is the additional cost, which might make the use of online games seem more attractive, given the way results can be automatically recorded. However, some relatively low-cost paper-based games were found to have significant advantages. In particular, they appear to facilitate social interaction which has a positive impact on student motivation and learning. One popular and effective paper-based game is discussed in some detail. A number of recommendations are provided on how to implement the game in order to maximise the learning benefits it can provide. Some ideas on how to maximise the learning benefits from using games more generally are also considered

Looking back and moving forward

This chapter brings together the research on teacher resilience and approaches to supporting resilience and wellbeing discussed in this volume. As many of the approaches utilised aspects of the BRiTE and Staying BRiTE projects, I highlight common themes as well as the different ways the authors developed and implemented their work to reflect their specific contexts and participants. I also reflect on broader issues related to conceptualisation of resilience, consider where responsibility for resilience lies, and explore future directions. The chapter also provides some insights regarding the collegial collaboration that has made the body of work possible

CP Violation in EPR-like neutrino oscillations

After reviewing the general framework to study EPR-like neutrino oscillations, we derive expressions for the oscillation probabilities and a direct measure of CP violation. We compare the possibility of studying CP violation in this case with that of baseline accelerator experiments and conclude that it is possible to study CP violation in experiments with length scales comparable to that of short baseline accelerator experiments.Comment: 5 pages, latex, revtex style, no figures, more discussions are added in the revised versio

Testing timed systems modeled by stream X-machines

Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification