Open AccessModel Checking and Code Generation for UML Diagrams Using Graph Transformation
Author(s) -
Wafa Chama
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom