Application invariants: Design by Contract augmented with deployment correctness logic.

Anthony Savidis

Published in: Softw. Pract. Exp. (2006)

Keyphrases

image sequences
design process
engineering design
information systems
decision making
evolutionary algorithm
wireless sensor networks
object oriented
computer aided
design principles
platform independent