1432 search results - page 64 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
157
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
131
click to vote
CAD
2002
Springer
15 years 3 months ago
2002
Springer
Many engineering design applications require geometric modeling and mechanical simulation of thin flexible structures, such as those found in the automotive and aerospace industri...
144
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
124
click to vote
FMSD
2006
15 years 3 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
133
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...