5255 search results - page 57 / 1051 » Formal Methods for Privacy |
ICSE
1997
IEEE-ACM
14 years 1 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
FM
1994
Springer
14 years 2 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
TSE
2002
13 years 9 months ago
2002
TFM
2009
Springer
14 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
14 years 3 months ago
2005
Springer
