Formal methods and design extraction: a pilot study.

Padmanabhan Krishnan

Published in: Inf. Softw. Technol. (1994)

Keyphrases

pilot study
formal methods
knowledge based systems
formal analysis
idea generation
case study
development lifecycle
user interface
safety critical
formal specification
building blocks
design process
database
data model
database systems
information systems
artificial intelligence
databases