181 search results - page 12 / 37 » Testable Use Cases in the Abstract State Machine Language |
ISOLA
2004
Springer
15 years 6 months 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...
110
click to vote
IFM
2004
Springer
15 years 6 months 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...
120
click to vote
DATE
2007
IEEE
15 years 7 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...
113
click to vote
ESANN
2006
15 years 2 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-...
119
click to vote
TPHOL
1998
IEEE
15 years 5 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...