Sciweavers

44 search results - page 1 / 9
» Transformation techniques can make students excited about fo...
Sort
View
INFSOF
2008
55views more  INFSOF 2008»
13 years 4 months ago
Transformation techniques can make students excited about formal methods
Pieter Van Gorp, Hans Schippers, Serge Demeyer, Di...
WSC
1998
13 years 6 months ago
Using Cooperative Learning to Activate Your Simulation Classroom
Active and cooperative learning methods represent a paradigm shift in the delivery of engineering education. These techniques recognize that the passive model of the typical colle...
Manuel D. Rossetti, Harriet Black Nembhard
AAAI
1994
13 years 6 months ago
An Instructional Environment for Practicing Argumentation Skills
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
Vincent Aleven, Kevin D. Ashley
AGTIVE
2003
Springer
13 years 10 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
AGTIVE
2007
Springer
13 years 8 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe