181 search results - page 12 / 37 » Testable Use Cases in the Abstract State Machine Language |
ISOLA
2004
Springer
14 years 12 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
IFM
2004
Springer
14 years 12 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
ESANN
2006
13 years 8 months ago
2006
Abstract. We introduce a new class of recurrent, truly sequential SVM-like devices with internal adaptive states, trained by a novel method called EVOlution of systems with KErnel-...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...