Specifying Components with Compositional Patterns, LOTOS and Design By Contract.

Abdelhafid Zitouni Mahmoud Boufaïda Lionel Seinturier

Published in: SEDE (2010)

Keyphrases

design patterns
building blocks
case study
data sets
computer aided
real world
decision making
multi agent
spatio temporal
design decisions
design methodology
design tools
optimal design