166 search results - page 1 / 34 » Formal Methods: Theory Becoming Practice |
JUCS
2007
13 years 4 months ago
2007
ISSRE
2000
IEEE
13 years 9 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...
IFIP
1994
Springer
13 years 8 months ago
1994
Springer
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...
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...