3765 search results - page 112 / 753 » Formal Methods for Systems Engineering Behavior Models |
119
click to vote
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
143
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
156
Voted
WSC
1997
15 years 3 months ago
1997
The role of modeling and simulation is receiving much press of late. However, the lack of practice in employing a link between the two is alarming. A static model is used to under...
123
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
137
click to vote
SDL
2003
15 years 3 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...