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

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540254201, 9783540319849

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improving the Build Architecture of Legacy C/C++ Software Systems

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

10.1007/978-3-540-31984-9_8 ◽

2005 ◽

pp. 96-110 ◽

Author(s):

Homayoun Dayani-Fard ◽

Yijun Yu ◽

John Mylopoulos ◽

Periklis Andritsos

Keyword(s):

Software Systems

Download Full-text

Esterel v7: From Verified Formal Specification to Efficient Industrial Designs

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

10.1007/978-3-540-31984-9_1 ◽

2005 ◽

pp. 1-1 ◽

Author(s):

Gérard Berry

Keyword(s):

Formal Specification

Download Full-text

Termination Criteria for Model Transformation

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

10.1007/978-3-540-31984-9_5 ◽

2005 ◽

pp. 49-63 ◽

Author(s):

Hartmut Ehrig ◽

Karsten Ehrig ◽

Juan de Lara ◽

Gabriele Taentzer ◽

Dániel Varró ◽

...

Keyword(s):

Model Transformation ◽

Termination Criteria

Download Full-text

Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving

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

10.1007/978-3-540-31984-9_16 ◽

2005 ◽

pp. 205-219

Author(s):

José M. Cañete ◽

Francisco J. Galán

Keyword(s):

Problem Solving ◽

Software Engineering ◽

Engineering Problem ◽

Engineering Problem Solving

Download Full-text

Non-local Choice and Beyond: Intricacies of MSC Choice Nodes

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

10.1007/978-3-540-31984-9_21 ◽

2005 ◽

pp. 273-288 ◽

Author(s):

Arjan J. Mooij ◽

Nicolae Goga ◽

Judi M. T. Romijn

Keyword(s):

Download Full-text

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems

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

10.1007/978-3-540-31984-9_9 ◽

2005 ◽

pp. 111-126 ◽

Author(s):

Genaína Rodrigues ◽

David Rosenblum ◽

Sebastian Uchitel

Keyword(s):

Software Systems

Download Full-text

Tools for Secure Systems Development with UML: Security Analysis with ATPs

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

10.1007/978-3-540-31984-9_23 ◽

2005 ◽

pp. 305-309 ◽

Author(s):

Jan Jürjens ◽

Pasha Shabalin

Keyword(s):

Security Analysis ◽

Systems Development ◽

Download Full-text

Observational Purity and Encapsulation

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

10.1007/978-3-540-31984-9_15 ◽

2005 ◽

pp. 190-204 ◽

Author(s):

David A. Naumann

Download Full-text

Automatic Conformance Testing of Web Services

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

10.1007/978-3-540-31984-9_4 ◽

2005 ◽

pp. 34-48 ◽

Author(s):

Reiko Heckel ◽

Leonardo Mariani

Keyword(s):

Web Services ◽

Conformance Testing

Download Full-text

Augmenting UML Models for Composition Conflict Analysis

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

10.1007/978-3-540-31984-9_10 ◽

2005 ◽

pp. 127-140 ◽

Author(s):

Andreas Leicher ◽

Jörn Guy Süß

Keyword(s):

Conflict Analysis ◽

Download Full-text