8828 search results - page 61 / 1766 » Formal methods in practice |
JUCS
2007
14 years 9 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
FM
2009
Springer
15 years 4 months ago
2009
Springer
IFM
2005
Springer
15 years 3 months ago
2005
Springer
SFM
2005
Springer
15 years 3 months ago
2005
Springer
ISOLA
2010
Springer
14 years 7 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...