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

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

A Simulation-Oriented Formalization for a Psychological Theory

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

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

2007 ◽

pp. 42-56 ◽

Cited By ~ 2

Author(s):

Paulo Salem da Silva ◽

Ana C. Vieira de Melo

Keyword(s):

Psychological Theory

Download Full-text

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode

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

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

2007 ◽

pp. 215-229 ◽

Cited By ~ 9

Author(s):

Lilian Burdy ◽

Marieke Huisman ◽

Mariela Pavlova

Keyword(s):

Specification Language ◽

Preliminary Design ◽

Interface Specification ◽

Java Bytecode

Download Full-text

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams

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

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

2007 ◽

pp. 185-199 ◽

Cited By ~ 11

Author(s):

Florian Klein ◽

Holger Giese

Keyword(s):

Temporal Property ◽

Property Specification

Download Full-text

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

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

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

2007 ◽

pp. 383-397 ◽

Cited By ~ 4

Author(s):

Julia Padberg ◽

Kathrin Hoffmann ◽

Hartmut Ehrig ◽

Tony Modica ◽

Enrico Biermann ◽

...

Keyword(s):

Ad Hoc Networks ◽

Mobile Ad Hoc Networks ◽

Ad Hoc ◽

Mobile Ad Hoc ◽

Hoc Networks ◽

Layered Architectures

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

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

A Simulation-Oriented Formalization for a Psychological Theory

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

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