On the Interaction of Programming by Contract and Liskov Substitution Principle.

Published in: AICCSA (2001)

Keyphrases

supply chain
asynchronous communication
real time
programming language
user interaction
genetic algorithm
human computer interaction
human robot interaction
computer programming
programming environment
case study
high level
development environment
interface design