NEWS
Home / Search for: Said Meghzili

INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG

(Received: 18-Apr.-2020, Revised: 18-Jun.-2020 and 26-Jul.-2020 , Accepted: 24-Aug.-2020)
Raida Elmansouri,Said Meghzili,Allaoua Chaoui,Aissam Belghiat,Omar Hedjazi
#Model-driven engineering #TGG #Xpand #UML activity diagrams #Pi-calculus #Model transformation #Graph transformation #Software systems
  • Views: 3081
  • Downloads: 1105
  • DOI: 10.5455/jjcit.71-1587215553
  • Cited by: 1
Abstract

JJCIT is indexed in