Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings.
Doron DrusinskyPublished in: Innov. Syst. Softw. Eng. (2014)
Keyphrases
- computer aided
- formal specification
- specification language
- data abstraction
- design methodologies
- model checking
- specification languages
- object oriented design
- computer aided design
- formal specification language
- grid workflow
- image analysis
- formal methods
- computer aided diagnosis
- diagnosis of breast cancer
- design tools
- early diagnosis
- process planning
- user interface
- process algebra
- capsule endoscopy
- machine learning
- database
- fuzzy logic
- expert systems
- multi agent