170 search results - page 3 / 34 » Formal Methods Application: An Empirical Tale of Software De... |
JOT
2006
13 years 7 months ago
2006
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...
CSEE
2000
Springer
13 years 11 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
JOT
2008
13 years 7 months ago
2008
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
RE
1997
Springer
13 years 11 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...