Computer-aided formal specification for concurrent engineering platforms.
Ramzi GuetariG. T. NguyenPublished in: IFIP World Conference on IT Tools (1996)
Keyphrases
- computer aided
- formal specification
- concurrent engineering
- life cycle
- object oriented databases
- specification languages
- object oriented design
- model checking
- reverse engineering
- computer aided diagnosis
- image analysis
- formal methods
- design process
- product design
- process algebra
- concurrent systems
- capsule endoscopy
- diagnosis of breast cancer
- object oriented
- computer aided design
- process planning
- software components
- cad systems
- knowledge acquisition
- image processing
- computer vision