Design by Contract: Making Object-Oriented Programs that Work

Authors:
Interactive Software Engineering Inc. Bertrand Meyer; Usa
Affiliations:
-;-
Venue:
TOOLS '97 Proceedings of the Technology of Object-Oriented Languages and Systems - Tools-25
Year:
1997

On the potential of software rejuvenation for long-running sensor network deployments

Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Falling back on executable specifications

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
SimCheck: a contract type system for Simulink

Innovations in Systems and Software Engineering
Fixpoints and search in PVS

Advanced Lectures on Software Engineering

Hi-index	0.00