781 search results - page 5 / 157 » Automatic Formal Model Generation and Analysis of SDL |
SIGSOFT
2002
ACM
14 years 8 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...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
TAP
2007
Springer
14 years 1 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
IJSEKE
2006
13 years 7 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
FIW
2003
13 years 9 months ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...