Open AccessModel Checking and Code Generation for UML Diagrams Using Graph Transformation
Author(s) -
Wafa Chama,
Raida Elmansouri,
Allaoua Chaoui
Publication year - 2012
Publication title -
international journal of software engineering and applications
Language(s) - English
Resource type - Journals
eISSN - 0976-2221
pISSN - 0975-9018
DOI - 10.5121/ijsea.2012.3604
Subject(s) - unified modeling language , computer science , programming language , code generation , graph rewriting , graph , transformation (genetics) , class diagram , model transformation , theoretical computer science , software engineering , artificial intelligence , operating system , key (lock) , biology , software , consistency (knowledge bases) , biochemistry , gene