A system for analysis and verification of software design.

Linda S. Hammond Daniel L. Murphy Mark K. Smith

Published in: COMPSAC (1978)

Keyphrases

software design
real time
multi agent
databases
data analysis
image analysis
software development
data mining
software systems
quantitative analysis
static analysis
functional requirements