Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications.

Arnulf Mester Heiko Krumm

Published in: DAIS (1997)

Keyphrases

behavioural patterns
optimal design
real time
design principles
user interface
software development
design process
software architecture
computer aided
design patterns
formal model
expert systems
conceptual framework
design methodology
design tools
case study
formal methods
database