The role of testing in the B formal development process.
Hélène WaeselynckJean-Louis BoulangerPublished in: ISSRE (1995)
Keyphrases
- development process
- software engineering
- requirements specification
- software testing
- software development
- case study
- systems development
- application development
- functional requirements
- metamodel
- software application
- requirements elicitation
- development environment
- design process
- development processes
- process management
- agent oriented
- software quality
- databases
- software requirements
- requirements engineering
- database
- software projects
- test cases
- database systems
- knowledge base
- development effort
- requirements analysis
- software systems
- multimedia