Model Refactorings as Logic-Based Fine-Grain Transformations

2598's picture
Journal Title, Volume, Page: 
Proceedings of the 9th African Conference on Research in Computer Science and Applied Mathematics,703-710
Year of Publication: 
2008
Authors: 
Saadeh, E
Kourie, D
Boake, A
Preferred Abstract (Original): 
Model Refactorings as Logic-Based Fine-Grain Transformations. Proceedings of the 9th African Conference on Research in Computer Science and Applied Mathematics