19 search results - page 2 / 4 » Applied Formal Methods - From CSP to Executable Hybrid Speci... |
SRDS
1999
IEEE
13 years 9 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
ICFEM
2000
Springer
13 years 8 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
DAC
2004
ACM
14 years 6 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
ECMDAFA
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...