4036 search results - page 27 / 808 » Formal Methods |
FM
2006
Springer
15 years 5 months ago
2006
Springer
COMPOS
1997
Springer
15 years 6 months ago
1997
Springer
102
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
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 ...
127
click to vote
ZUM
1994
Springer
15 years 6 months ago
1994
Springer
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...
ICFCA
2004
Springer
15 years 7 months ago
2004
Springer
