518 search results - page 44 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
EDUTAINMENT
2010
Springer
13 years 10 months ago
2010
Springer
Design becomes more and more the art of bringing together expertise and experts from different domains in creating future products. Synthetical knowledge and hands-on skills in des...
AIED
2007
Springer
14 years 24 days ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
MAM
2008
13 years 8 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...