Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems.
Aissam BelghiatAllaoua ChaouiPublished in: Int. J. Intell. Inf. Technol. (2016)
Keyphrases
- software systems
- graph transformation
- software engineering
- source code
- software development
- software testing
- software architecture
- software design
- software maintenance
- software components
- high assurance
- software quality
- metamodel
- software evolution
- emergent behavior
- software developers
- software engineers
- complex software systems
- functional requirements
- case study
- software projects
- design patterns
- mobile devices
- database systems
- software repositories
- development effort
- maintenance activities
- cooperative
- information systems
- component based software