Sciweavers

16725 search results - page 216 / 3345
» Engineering Software Correctness
Sort
View
WADT
1998
Springer
15 years 7 months ago
CASL: A Guided Tour of Its Design
Peter D. Mosses
96
Voted
WER
1998
Springer
15 years 7 months ago
Guidelines From Organizational Requirements to Formal Specification
Fernanda M. R. Alencar, Jaelson Castro
109
Voted
AADEBUG
1997
Springer
15 years 7 months ago
Walk Backwards to Happiness - Debugging by Time Travel
Simon P. Booth, Simon B. Jones