358 search results - page 1 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
FMICS
2010
Springer
13 years 5 months ago
2010
Springer
IFIP
2007
Springer
13 years 11 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
RE
1997
Springer
13 years 9 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...
IFM
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...