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

9783540712886, 9783540712893

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types

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

10.1007/978-3-540-71289-3_10 ◽

2007 ◽

pp. 117-120 ◽

Cited By ~ 3

Author(s):

Markus Bach ◽

Florian Forster ◽

Friedrich Steimann

Download Full-text

SDL Profiles – Formal Semantics and Tool Support

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

10.1007/978-3-540-71289-3_17 ◽

2007 ◽

pp. 200-214

Author(s):

R. Grammes ◽

R. Gotzhein

Keyword(s):

Formal Semantics ◽

Tool Support

Download Full-text

Correlation Patterns in Service-Oriented Architectures

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

10.1007/978-3-540-71289-3_20 ◽

2007 ◽

pp. 245-259 ◽

Cited By ~ 43

Author(s):

Alistair Barros ◽

Gero Decker ◽

Marlon Dumas ◽

Franz Weber

Keyword(s):

Service Oriented Architectures ◽

Service Oriented

Download Full-text

Towards Normal Design for Safety-Critical Systems

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

10.1007/978-3-540-71289-3_30 ◽

2007 ◽

pp. 398-411 ◽

Cited By ~ 7

Author(s):

Derek Mannering ◽

Jon G. Hall ◽

Lucia Rapanotti

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Design For Safety ◽

Safety Critical Systems

Download Full-text

Information Preserving Bidirectional Model Transformations

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

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

2007 ◽

pp. 72-86 ◽

Cited By ~ 58

Author(s):

Hartmut Ehrig ◽

Karsten Ehrig ◽

Claudia Ermel ◽

Frank Hermann ◽

Gabriele Taentzer

Keyword(s):

Model Transformations

Download Full-text

Testing Scenario-Based Models

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

10.1007/978-3-540-71289-3_24 ◽

2007 ◽

pp. 306-320 ◽

Cited By ~ 3

Author(s):

Hillel Kugler ◽

Michael J. Stern ◽

E. Jane Albert Hubbard

Download Full-text

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces

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

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

2007 ◽

pp. 155-169

Author(s):

César Sánchez ◽

Henny B. Sipma ◽

Zohar Manna

Keyword(s):

Deadlock Avoidance ◽

Reachable State ◽

State Spaces

Download Full-text

EQ-Mine: Predicting Short-Term Defects for Software Evolution

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

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

2007 ◽

pp. 12-26 ◽

Cited By ~ 15

Author(s):

Jacek Ratzinger ◽

Martin Pinzger ◽

Harald Gall

Keyword(s):

Software Evolution ◽

Short Term

Download Full-text

Practical Reasoning About Invocations and Implementations of Pure Methods

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

10.1007/978-3-540-71289-3_26 ◽

2007 ◽

pp. 336-351 ◽

Cited By ~ 20

Author(s):

Ádám Darvas ◽

K. Rustan M. Leino

Keyword(s):

Practical Reasoning

Download Full-text

Ensuring Consistency Within Distributed Graph Transformation Systems

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

10.1007/978-3-540-71289-3_28 ◽

2007 ◽

pp. 368-382 ◽

Cited By ~ 1

Author(s):

Ulrike Ranger ◽

Thorsten Hermes

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types

SDL Profiles – Formal Semantics and Tool Support

Correlation Patterns in Service-Oriented Architectures

Towards Normal Design for Safety-Critical Systems

Information Preserving Bidirectional Model Transformations

Testing Scenario-Based Models

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces

EQ-Mine: Predicting Short-Term Defects for Software Evolution

Practical Reasoning About Invocations and Implementations of Pure Methods

Ensuring Consistency Within Distributed Graph Transformation Systems

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