The role for executable specifications in system maintenance.

Marvin V. Zelkowitz Sergio Cárdenas-García

Published in: Inf. Sci. (1991)

Keyphrases

formal specification
attribute grammars
control flow
information technology
software maintenance
real time
database
artificial intelligence
case study
high level
learning environment
search algorithm
relational databases
concurrent systems
delay insensitive