CTL-property Transformations along an Incremental Design Process.
Cécile BraunsteinEmmanuelle EncrenazPublished in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
- design process
- conceptual design
- engineering design
- life cycle
- design decisions
- temporal logic
- development process
- product design
- design space
- computer aided design
- user centered
- design methodology
- inclusive design
- game design
- model checking
- case study
- structural design
- design processes
- detailed design
- instructional design
- concurrent engineering
- design methodologies
- user interface
- design space exploration
- learning scenarios
- design principles
- acquisition process
- creative design
- marine power plant
- artificial intelligence