166 search results - page 1 / 34 » Formal Methods: Theory Becoming Practice |
JUCS
2007
15 years 16 days ago
2007
115
Voted
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
76
Voted
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
105
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...
106
click to vote
FTRTFT
1998
Springer
15 years 4 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...