Search results for: Fernando Orejas
Theoretical Computer Science > 2018 > 741 > C > 19-24
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 6 > 705-737
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 208-235
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Formal and Visual Modeling > 352-369
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Software Development and Program Analysis > 133-146
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Model Synchronization > 304-318
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Software Development Techniques > 383-397
Lecture Notes in Computer Science > Theory and Practice of Model Transformations > Full Papers > 83-99
Lecture Notes in Computer Science > Graph Transformations > Session 3. Models and Model Transformation > 155-170
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 186-200
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Graph Transformation > 123-138
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Models, Deduction, and Computation > 555-577
Lecture Notes in Computer Science > FM’99 — Formal Methods > Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST) > 1778-1797
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification and Testing I > 179-198