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

9783662544938, 9783662544945

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Workarounds from Java Program Specifications Based on SAT Solving

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

10.1007/978-3-662-54494-5_20 ◽

2017 ◽

pp. 356-373

Author(s):

Marcelo Uva ◽

Pablo Ponzio ◽

Germán Regis ◽

Nazareno Aguirre ◽

Marcelo F. Frias

Keyword(s):

Sat Solving ◽

Java Program

Download Full-text

GTS Families for the Flexible Composition of Graph Transformation Systems

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

10.1007/978-3-662-54494-5_12 ◽

2017 ◽

pp. 208-225

Author(s):

Steffen Zschaler ◽

Francisco Durán

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Precise Version Control of Trees with Line-Based Version Control Systems

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

10.1007/978-3-662-54494-5_9 ◽

2017 ◽

pp. 152-169 ◽

Cited By ~ 6

Author(s):

Dimitar Asenov ◽

Balz Guenat ◽

Peter Müller ◽

Martin Otth

Keyword(s):

Control Systems ◽

Version Control ◽

Precise Version ◽

Version Control Systems

Download Full-text

Change and Delay Contracts for Hybrid System Component Verification

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

10.1007/978-3-662-54494-5_8 ◽

2017 ◽

pp. 134-151 ◽

Cited By ~ 5

Author(s):

Andreas Müller ◽

Stefan Mitsch ◽

Werner Retschitzegger ◽

Wieland Schwinger ◽

André Platzer

Keyword(s):

Hybrid System ◽

System Component

Download Full-text

A Unified and Formal Programming Model for Deltas and Traits

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

10.1007/978-3-662-54494-5_25 ◽

2017 ◽

pp. 424-441 ◽

Cited By ~ 7

Author(s):

Ferruccio Damiani ◽

Reiner Hähnle ◽

Eduard Kamburjan ◽

Michael Lienhardt

Keyword(s):

Programming Model

Download Full-text

Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques

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

10.1007/978-3-662-54494-5_11 ◽

2017 ◽

pp. 191-207 ◽

Cited By ~ 9

Author(s):

Erhan Leblebici ◽

Anthony Anjorin ◽

Andy Schürr

Keyword(s):

Linear Optimization ◽

Optimization Techniques ◽

Graph Grammars ◽

Consistency Checking ◽

Model Consistency ◽

Triple Graph Grammars

Download Full-text

Selective Bisection Debugging

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

10.1007/978-3-662-54494-5_4 ◽

2017 ◽

pp. 60-77 ◽

Cited By ~ 3

Author(s):

Ripon Saha ◽

Milos Gligoric

Download Full-text

Variability-Specific Abstraction Refinement for Family-Based Model Checking

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

10.1007/978-3-662-54494-5_24 ◽

2017 ◽

pp. 406-423 ◽

Cited By ~ 11

Author(s):

Aleksandar S. Dimovski ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Abstraction Refinement ◽

Family Based

Download Full-text

Explicit Connection Actions in Multiparty Session Types

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

10.1007/978-3-662-54494-5_7 ◽

2017 ◽

pp. 116-133 ◽

Cited By ~ 18

Author(s):

Raymond Hu ◽

Nobuko Yoshida

Keyword(s):

Session Types

Download Full-text

Bordeaux: A Tool for Thinking Outside the Box

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

10.1007/978-3-662-54494-5_2 ◽

2017 ◽

pp. 22-39 ◽

Cited By ~ 3

Author(s):

Vajih Montaghami ◽

Derek Rayside

Keyword(s):

Outside The Box

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automated Workarounds from Java Program Specifications Based on SAT Solving

GTS Families for the Flexible Composition of Graph Transformation Systems

Precise Version Control of Trees with Line-Based Version Control Systems

Change and Delay Contracts for Hybrid System Component Verification

A Unified and Formal Programming Model for Deltas and Traits

Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques

Selective Bisection Debugging

Variability-Specific Abstraction Refinement for Family-Based Model Checking

Explicit Connection Actions in Multiparty Session Types

Bordeaux: A Tool for Thinking Outside the Box

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