977 search results - page 7 / 196 » Formal methods integration in software engineering |
77
Voted
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
107
Voted
COMPSAC
1997
IEEE
15 years 3 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
109
click to vote
ICFEM
1998
Springer
15 years 3 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
122
click to vote
FMAM
2010
14 years 9 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...