An Event-B Development Process for the Distributed BIP Framework.
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixMamoun FilaliPublished in: ICFEM (2016)
Keyphrases
- development process
- agent oriented
- software engineering
- design rationale
- lightweight
- software projects
- model driven architecture
- systems development
- development environment
- application development
- metamodel
- software architecture
- databases
- virtual organization
- object oriented
- multi agent
- game development
- development effort
- case study
- real world