Category Theoretic Based Formalization of the Verifiable Design Process.
Nadew KibretWilliam W. EdmonsonSolomon GebreyohannesPublished in: SysCon (2019)
Keyphrases
- design process
- case study
- engineering design
- conceptual design
- design decisions
- life cycle
- design methodology
- product design
- computer aided design
- knowledge representation
- structural design
- database design
- development process
- design principles
- inclusive design
- user centered
- design space
- user interface
- instructional design
- learning scenarios
- collaborative design
- detailed design
- game design
- design methodologies
- design requirements
- acquisition process
- design space exploration
- concurrent engineering
- marine power plant
- quality function deployment
- expert systems