3765 search results - page 33 / 753 » Formal Methods for Systems Engineering Behavior Models |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
ICFCA
2005
Springer
14 years 2 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
INTERACT
2003
13 years 10 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
DSD
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...