Open AccessINTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG
Author(s) -
Raida Elmansouri,
Said Meghzili,
Allaoua Chaoui,
Aissam Belghiat,
Omar Hedjazi
Publication year - 2020
Publication title -
jordanian journal for computers and information technology/jordanian journal of computers and information technology
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.161
H-Index - 3
eISSN - 2415-1076
pISSN - 2413-9351
DOI - 10.5455/jjcit.71-1587215553
Subject(s) - unified modeling language , pi calculus , activity diagram , programming language , computer science , uml tool , software engineering , class diagram , software