Formal Design Techniques - Theory and Engineering Reality.

Chryssa Dislis Gerry Musgrave Roger B. Hughes

Published in: Asian Test Symposium (1998)

Keyphrases

engineering design
design process
conceptual framework
formal methods
systems engineering
artificial intelligence
conceptual design
theoretical basis
case study
formal model
conceptual model
computer aided
building blocks
optimal design
information systems
database
engineering students
formal descriptions