Computer-aided Specification and Verification of Annotated Object-Oriented Programs.
Frank S. de BoerCees PierikPublished in: FMOODS (2002)
Keyphrases
- computer aided
- object oriented programs
- specification languages
- integration testing
- formal specification
- model checking
- impact analysis
- object oriented
- formal verification
- computer aided diagnosis
- computer aided design
- image analysis
- black box
- diagnosis of breast cancer
- process planning
- first order logic
- cad systems
- design tools
- software testing
- dependency analysis
- fault tree
- high level
- differential diagnosis
- pulmonary nodules
- early stage
- logistic regression
- relational databases