1397 search results - page 2 / 280 » On the Need for Practical Formal Methods |
ASPDAC
2004
ACM
13 years 8 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
TAMODIA
2007
13 years 6 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
FM
1999
Springer
13 years 9 months ago
1999
Springer
UML
2005
Springer
13 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...