Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus.
Aissam BelghiatAllaoua ChaouiMokhtar BeldjehemPublished in: IRI (2015)
Keyphrases
- class diagrams
- unified modeling language
- uml diagrams
- dynamic environments
- communication systems
- class diagram
- dynamic analysis
- database design
- information systems
- sequence diagrams
- object oriented
- uml class diagrams
- data model
- software architecture
- communication protocol
- software engineering
- state machine
- learning environment
- case study