977 search results - page 22 / 196 » Formal methods integration in software engineering |
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
SDE
1991
15 years 3 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
96
Voted
SIAMDM
2011
14 years 2 months ago
2011
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer