253
Voted
SIGADA
1999
Springer
15 years 11 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
172
Voted
ATAL
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...