3827 search results - page 474 / 766 » The Epsilon Generation Language |
187
click to vote
IFM
2004
Springer
16 years 4 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...
167
Voted
ISOLA
2004
Springer
16 years 4 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...
173
click to vote
MPC
2004
Springer
16 years 4 days ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
199
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
188
click to vote
ACSD
2003
IEEE
16 years 2 days ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...