SARA aided design of software for concurrent systems.

Ivan M. Campos Gerald Estrin

Published in: AFIPS National Computer Conference (1978)

Keyphrases

concurrent systems
software design
user interface
software architecture
software development
design process
hardware design
embedded systems
engineering design
software tools
software maintenance
modeling language
formal specification
multi agent systems
design patterns
petri net
software suite