8828 search results - page 1 / 1766 » Formal methods in practice |
117
Voted
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
83
Voted
FM
1999
Springer
15 years 5 months ago
1999
Springer
109
click to vote
FTRTFT
1998
Springer
15 years 5 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
15 years 8 months 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...
110
Voted
ICSE
1997
IEEE-ACM
15 years 4 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...