8828 search results - page 60 / 1766 » Formal methods in practice |
TFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
FM
2005
Springer
15 years 3 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
FM
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
FMAM
2010
14 years 8 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...