A System Development Process with Event-B and the Rodin Platform.
Jean-Raymond AbrialPublished in: ICFEM (2007)
Keyphrases
- development process
- software development
- software engineering
- metamodel
- case study
- systems development
- application development
- functional requirements
- development processes
- software projects
- software application
- agent oriented
- design process
- development environment
- platform independent
- game development
- software quality
- planning process
- requirements engineering
- process management
- database
- data management
- expert systems
- requirements specification