Effects of structure on the comprehensivility of formal specifications.

Kate Finney Norman E. Fenton Alexander M. Fedorec

Published in: IEE Proc. Softw. (1999)

Keyphrases

formal specification
information systems
design methodology
object oriented design
specification languages
database
database systems