2 citations · 6 across the 5 of their papers we have counts for
5 papers
Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions
Leila Ribeiro, Lucio Duarte, Rodrigo Machado +3
Use Case (UC) quality impacts the overall quality and defect rate of a system, as they specify the expected behavior of an implementation. In a previous work, we have defined an ap…
AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
Anadrea Corradini, Dominique Duval, Rachid Echahed +2
The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph…
Transformation of Attributed Structures with Cloning (Long Version)
Dominique Duval, Rachid Echahed, Frederic Prost +1
Copying, or cloning, is a basic operation used in the specification of many applications in computer science. However, when dealing with complex structures, like graphs, cloning is…
Proceedings First Latin American Workshop on Formal Methods
Nazareno Aguirre, Leila Ribeiro
Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Al…
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
Rodrigo Machado, Reiko Heckel, Leila Ribeiro
Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, calle…