CTL-Property Transformations Along an Incremental Design Process.
Cécile BraunsteinEmmanuelle EncrenazPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- design process
- conceptual design
- engineering design
- model checking
- design methodology
- case study
- life cycle
- design decisions
- design space
- temporal logic
- product design
- structural design
- database design
- development process
- computer aided design
- inclusive design
- user interface
- user centered
- creative design
- data sets
- instructional design
- design principles
- collaborative design
- learning scenarios
- design space exploration
- detailed design
- marine power plant
- game design
- design processes
- concurrent engineering
- design requirements