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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662496640, 9783662496657

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PVAIR: Partial Variable Assignment InterpolatoR

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

10.1007/978-3-662-49665-7_25 ◽

2016 ◽

pp. 419-434 ◽

Author(s):

Pavel Jančík ◽

Leonardo Alt ◽

Grigory Fedyukovich ◽

Antti E. J. Hyvärinen ◽

Jan Kofroň ◽

...

Download Full-text

Automated Choreography Repair

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

10.1007/978-3-662-49665-7_2 ◽

2016 ◽

pp. 13-30 ◽

Author(s):

Samik Basu ◽

Tevfik Bultan

Download Full-text

The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs

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

10.1007/978-3-662-49665-7_12 ◽

2016 ◽

pp. 197-213

Author(s):

Lei Wang ◽

Han Li ◽

Xinchen Wang

Keyword(s):

Change Propagation ◽

Download Full-text

CafeInMaude: A CafeOBJ Interpreter in Maude

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

10.1007/978-3-662-49665-7_22 ◽

2016 ◽

pp. 377-380 ◽

Author(s):

Adrián Riesco ◽

Kazuhiro Ogata ◽

Kokichi Futatsugi

Download Full-text

Integrated Environment for Verifying and Running Distributed Components

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

10.1007/978-3-662-49665-7_5 ◽

2016 ◽

pp. 66-83 ◽

Author(s):

Ludovic Henrio ◽

Oleksandra Kulankhina ◽

Siqi Li ◽

Eric Madelaine

Keyword(s):

Distributed Components ◽

Integrated Environment

Download Full-text

Many-Valued Institutions for Constraint Specification

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

10.1007/978-3-662-49665-7_21 ◽

2016 ◽

pp. 359-376

Author(s):

Claudia Elena Chiriţă ◽

José Luiz Fiadeiro ◽

Fernando Orejas

Keyword(s):

Constraint Specification

Download Full-text

Modeling and Abstraction of Memory Management in a Hypervisor

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

10.1007/978-3-662-49665-7_13 ◽

2016 ◽

pp. 214-230 ◽

Author(s):

Pauline Bolignano ◽

Thomas Jensen ◽

Vincent Siles

Keyword(s):

Memory Management

Download Full-text

Iterative and Incremental Model Generation by Logic Solvers

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

10.1007/978-3-662-49665-7_6 ◽

2016 ◽

pp. 87-103 ◽

Author(s):

Oszkár Semeráth ◽

András Vörös ◽

Dániel Varró

Keyword(s):

Model Generation ◽

Incremental Model

Download Full-text

Hybrid Session Verification Through Endpoint API Generation

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

10.1007/978-3-662-49665-7_24 ◽

2016 ◽

pp. 401-418 ◽

Author(s):

Raymond Hu ◽

Nobuko Yoshida

Download Full-text

Towards Formal Proof Metrics

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

10.1007/978-3-662-49665-7_19 ◽

2016 ◽

pp. 325-341 ◽

Author(s):

David Aspinall ◽

Cezary Kaliszyk

Keyword(s):

Download Full-text