Verification of Proofs for the B Formal Development Process.
Babak DehboneiFernando MejiaPublished in: ACM SIGPLAN Notices (1993)
Keyphrases
- development process
- formal methods
- software engineering
- requirements specification
- systems development
- model checking
- case study
- metamodel
- application development
- software development
- development environment
- design process
- functional requirements
- development processes
- agent oriented
- software projects
- formal specification
- development projects
- software application
- software quality
- product development
- requirements engineering
- database
- software testing
- databases
- formal representation
- process management
- design rationale
- artificial intelligence
- requirements elicitation