63 search results - page 1 / 13 » Engineering the SDL Formal Language Definition |
FMOODS
2003
13 years 6 months ago
2003
COMPSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
FASE
2003
Springer
13 years 10 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...