Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540787426, 9783540787433

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Logic of Graph Constraints

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_14 ◽

2008 ◽

pp. 179-198 ◽

Cited By ~ 19

Author(s):

Fernando Orejas ◽

Hartmut Ehrig ◽

Ulrike Prange

Keyword(s):

Graph Constraints

Download Full-text

Clint: A Composition Language Interpreter (Tool Paper)

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_31 ◽

2008 ◽

pp. 423-427 ◽

Cited By ~ 1

Author(s):

Javier Cámara ◽

Gwen Salaün ◽

Carlos Canal

Download Full-text

Engineering Service Oriented Applications: From StPowla Processes to SRML Models

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_13 ◽

2008 ◽

pp. 163-178 ◽

Cited By ~ 4

Author(s):

Laura Bocchi ◽

Stephen Gorton ◽

Stephan Reiff-Marganiec

Keyword(s):

Service Oriented

Download Full-text

A Formal Framework for Developing Adaptable Service-Based Applications

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_29 ◽

2008 ◽

pp. 392-406 ◽

Cited By ~ 4

Author(s):

Leen Lambers ◽

Leonardo Mariani ◽

Hartmut Ehrig ◽

Mauro Pezzè

Keyword(s):

Formal Framework

Download Full-text

When Things Go Wrong: Interrupting Conversations

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_11 ◽

2008 ◽

pp. 131-145 ◽

Cited By ~ 1

Author(s):

Juliana Bowles ◽

Sotiris Moschoyiannis

Download Full-text

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_15 ◽

2008 ◽

pp. 199-214 ◽

Cited By ~ 3

Author(s):

Till Mossakowski ◽

Lutz Schröder ◽

Sergey Goncharov

Keyword(s):

Dynamic Logic

Download Full-text

Orthographic Modeling Environment

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_7 ◽

2008 ◽

pp. 93-96 ◽

Cited By ~ 9

Author(s):

Colin Atkinson ◽

Dietmar Stoll

Keyword(s):

Modeling Environment

Download Full-text

Consistent Integration of Models Based on Views of Visual Languages

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_5 ◽

2008 ◽

pp. 62-76 ◽

Cited By ~ 3

Author(s):

Hartmut Ehrig ◽

Karsten Ehrig ◽

Claudia Ermel ◽

Ulrike Prange

Keyword(s):

Visual Languages

Download Full-text

Formal Model-Driven Program Refactoring

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_27 ◽

2008 ◽

pp. 362-376 ◽

Cited By ~ 8

Author(s):

Tiago Massoni ◽

Rohit Gheyi ◽

Paulo Borba

Keyword(s):

Formal Model ◽

Model Driven

Download Full-text

Formal Approach to Integrating Feature and Architecture Models

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_3 ◽

2008 ◽

pp. 31-45 ◽

Cited By ~ 15

Author(s):

Mikoláš Janota ◽

Goetz Botterweck

Keyword(s):

Formal Approach

Download Full-text

Fundamental Approaches to Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Logic of Graph Constraints

Clint: A Composition Language Interpreter (Tool Paper)

Engineering Service Oriented Applications: From StPowla Processes to SRML Models

A Formal Framework for Developing Adaptable Service-Based Applications

When Things Go Wrong: Interrupting Conversations

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

Orthographic Modeling Environment

Consistent Integration of Models Based on Views of Visual Languages

Formal Model-Driven Program Refactoring

Formal Approach to Integrating Feature and Architecture Models

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications