4036 search results - page 41 / 808 » Formal Methods |
127
click to vote
FMAM
2010
14 years 12 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...
107
click to vote
FM
1999
Springer
15 years 6 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...
JUCS
2007
15 years 1 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief