Behavior specification in a software design system.

Jack C. Wileden John H. Sayler William E. Riddle Alan R. Segal Allan M. Stavely

Published in: J. Syst. Softw. (1983)

Keyphrases

software design
uml diagrams
software engineering
software systems
software development
object oriented design
design patterns
educational software
high level
human behavior
functional requirements
development process
software architecture
source code
formal verification
open source
database systems
case study