3429 search results - page 36 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
FORMATS
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
FM
2005
Springer
14 years 1 months ago
2005
Springer
EGICE
2006
13 years 11 months ago
2006
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
GI
2009
Springer
13 years 5 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...