Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach

Authors:
Farid Mokhati;Patrice Gagnon;Mourad Badri
Affiliations:
University of Oum-El-Bouaghi;University of Québec at Trois-Riv;University of Québec at Trois-Riv
Venue:
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Year:
2007

Ensuring consistency of information systems rules models

CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
The approach of ensuring consistency of UML model based on rules

Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
The rewriting logic semantics project: a progress report

FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
The rewriting logic semantics project: A progress report

Information and Computation

Hi-index	0.00

30350356