From Formal Requirements to Formal Design.
Paolo CiacciaPaolo CiancariniWilma PenzoPublished in: SEKE (1995)
Keyphrases
- requirements specification
- formal methods
- design principles
- user requirements
- design space
- engineering design
- formal model
- case study
- detailed design
- design criteria
- database
- formal language
- mathematical theory
- formal analysis
- design process
- requirements engineering
- real time
- formal representation
- real time systems
- functional requirements
- neural network
- learning algorithm
- decision trees
- knowledge based systems
- conceptual model