A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
Piergiorgio BertoliAlessandro CimattiFausto GiunchigliaPaolo TraversoPublished in: SAFECOMP (1998)
Keyphrases
- computer aided
- development tools
- development environment
- application development
- application developers
- exception handling
- computer aided diagnosis
- image analysis
- software developers
- object oriented programming
- diagnosis of breast cancer
- emerging technologies
- enterprise edition
- design tools
- image processing
- rapid development
- database server
- data processing
- process planning
- computer vision
- databases
- database