About JJCIT
Contact
Submit an Article
Login
ISSN 2415-1076 (online) / ISSN 2413-9351 (print)
Home
Journal Boards
Call for Papers
Instructions for Authors
Submission
Archives
Call for SI
NEWS
Call for Papers (CFP): Special Issue on Applications of Generative AI
Home
/
Search for: Raida Elmansouri
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
: 3078
Downloads
: 1104
DOI
: 10.5455/jjcit.71-1587215553
Cited by
: 1
Abstract
Aims & Scope
Editorial Board
Publishing Schedule
Open Access Policy
Peer-Review Process
Publication Ethics and Malpractice Statement
Copyright and Access
Publisher, Management and Funding
JJCIT is indexed in
Scopus
ESCI
DOAJ
CrossRef
BASE
ACADEMIA
WorldCat
Google Scholar
ScienceGate
Get monthly updates and free resources
Subscribe
