Using Executable Specifications for Prototyping System Design Process.
Claus HoffmannBurhan DinlerPublished in: Requirements Engineering (1993)
Keyphrases
- design process
- formal specification
- design requirements
- attribute grammars
- control flow
- development process
- engineering design
- conceptual design
- design decisions
- life cycle
- design methodology
- case study
- design space
- instructional design
- functional requirements
- product design
- design principles
- model checking
- detailed design
- computer aided design
- user interface
- game design
- learning scenarios
- acquisition process
- collaborative design
- marine power plant
- inclusive design
- user centered
- object oriented
- software systems
- multi objective
- quality function deployment
- trade off