Fernando Orejas
TitelZitiert vonJahr
From state-to delta-based bidirectional model transformations: the symmetric case
Z Diskin, Y Xiong, K Czarnecki, H Ehrig, F Hermann, F Orejas
International Conference on Model Driven Engineering Languages and Systems …, 2011
1532011
Algebraic System Specification and Development: A Survey and Annotated Bibliography
M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella
Springer Science & Business Media, 1991
1031991
Initial behaviour semantics for algebraic specifications
MP Nivela, F Orejas
Workshop on the Specification of Abstract Data Types, 184-207, 1987
781987
Conflict detection for graph transformation with negative application conditions
L Lambers, H Ehrig, F Orejas
International Conference on Graph Transformation, 61-76, 2006
742006
Correctness of model synchronization based on triple graph grammars
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong
International Conference on Model Driven Engineering Languages and Systems …, 2011
692011
H. Ehrig: The Algebraic Specification Column Dynamic Abstract Data Types: An Informal Proposal
H Ehrig, F Orejas
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 53, 162-162, 1994
661994
Implementation and behavioural equivalence: A survey
F Orejas, M Navarro, A Sánchez
Recent Trends in Data Type Specification, 93-125, 1991
661991
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars
F Hermann, H Ehrig, U Golas, F Orejas
Proceedings of the First International Workshop on Model-Driven …, 2010
532010
Formal analysis of functional behaviour for model transformations based on triple graph grammars
F Hermann, H Ehrig, F Orejas, U Golas
International Conference on Graph Transformation, 155-170, 2010
522010
A generic component framework for system modeling
H Ehrig, F Orejas, B Braatz, M Klein, M Piirainen
International Conference on Fundamental Approaches to Software Engineering …, 2002
502002
New concepts of amalgamation and extension for a general theory of specifications
H Ehrig, M Baldamus, F Orejas
Recent Trends in Data Type Specification, 199-221, 1991
471991
Theory of algebraic module specification including behavioral semantics and constraints
H Ehrig, M Baldamus, F Cornelius, F Orejas
Proceedings of the Second International Conference on Methodology and …, 1991
471991
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ...
Software & Systems Modeling 14 (1), 241-269, 2015
452015
Symbolic attributed graphs for attributed graph transformation
F Orejas, L Lambers
Electronic Communications of the EASST 30, 2010
452010
On recent trends in algebraic specification
H Ehrig, P Pepper, F Orejas
International Colloquium on Automata, Languages, and Programming, 263-288, 1989
411989
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
H Ehrig, U Golas, A Habel, L Lambers, F Orejas
Fundamenta Informaticae 118 (1-2), 35-63, 2012
402012
A logic of graph constraints
F Orejas, H Ehrig, U Prange
International Conference on Fundamental Approaches to Software Engineering …, 2008
402008
Program development by specification and transformation: the PROSPECTRA methodology, language family, and system
B Hoffmann, B Krieg-Br
Springer Science & Business Media, 1993
401993
GSBL: An algebraic specification language based on inheritance
S Clerici, F Orejas
European Conference on Object-Oriented Programming, 78-92, 1988
401988
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
H Ehrig, U Golas, A Habel, L Lambers, F Orejas
Mathematical Structures in Computer Science 24 (4), 2014
392014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20