8828 search results - page 1 / 1766 » Formal methods in practice |
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
FM
1999
Springer
13 years 9 months ago
1999
Springer
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
HICSS
2009
IEEE
14 years 2 days ago
2009
IEEE
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
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...