Sciweavers

4036 search results - page 27 / 808
» Formal Methods
Sort
View
FM
2006
Springer
135views Formal Methods» more  FM 2006»
15 years 5 months ago
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer
Stefano Bacherini, Alessandro Fantechi, Matteo Tem...
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 3 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
15 years 6 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
ICFCA
2004
Springer
15 years 7 months ago
Signs and Formal Concepts
Uta Priss