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

9783642370564, 9783642370571

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing QVT-R Bidirectional Model Transformations Using Alloy

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

10.1007/978-3-642-37057-1_22 ◽

2013 ◽

pp. 297-311 ◽

Cited By ~ 25

Author(s):

Nuno Macedo ◽

Alcino Cunha

Keyword(s):

Model Transformations

Download Full-text

Enforcing QVT-R with mu-Calculus and Games

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

10.1007/978-3-642-37057-1_21 ◽

2013 ◽

pp. 282-296 ◽

Cited By ~ 7

Author(s):

Julian Bradfield ◽

Perdita Stevens

Download Full-text

Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs

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

10.1007/978-3-642-37057-1_8 ◽

2013 ◽

pp. 99-113

Author(s):

Arbi Bouchoucha ◽

Houari Sahraoui ◽

Pierre L’Ecuyer

Keyword(s):

Probabilistic Models

Download Full-text

A Mechanized Model for CAN Protocols

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

10.1007/978-3-642-37057-1_20 ◽

2013 ◽

pp. 266-281 ◽

Cited By ~ 2

Author(s):

Francesco Bongiovanni ◽

Ludovic Henrio

Download Full-text

Model-Based Implementation of Parallel Real-Time Systems

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

10.1007/978-3-642-37057-1_18 ◽

2013 ◽

pp. 235-249 ◽

Cited By ~ 7

Author(s):

Ahlem Triki ◽

Jacques Combaz ◽

Saddek Bensalem ◽

Joseph Sifakis

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Based ◽

Time Systems

Download Full-text

Change Propagation due to Uncertainty Change

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

10.1007/978-3-642-37057-1_3 ◽

2013 ◽

pp. 21-36 ◽

Cited By ~ 8

Author(s):

Rick Salay ◽

Jan Gorzny ◽

Marsha Chechik

Keyword(s):

Change Propagation

Download Full-text

Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification

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

10.1007/978-3-642-37057-1_13 ◽

2013 ◽

pp. 179-193 ◽

Cited By ~ 1

Author(s):

Lan Lin ◽

Jesse H. Poore ◽

Robert Eschbach ◽

Robert M. Hierons ◽

Christopher Robinson-Mallett

Keyword(s):

Requirements Analysis ◽

String Rewriting

Download Full-text

Variability in Software: State of the Art and Future Directions

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

10.1007/978-3-642-37057-1_1 ◽

2013 ◽

pp. 1-5 ◽

Cited By ~ 3

Author(s):

Krzysztof Czarnecki

Keyword(s):

State Of The Art ◽

Future Directions

Download Full-text

Discovering Math APIs by Mining Unit Tests

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

10.1007/978-3-642-37057-1_24 ◽

2013 ◽

pp. 327-342 ◽

Cited By ~ 1

Author(s):

Anirudh Santhiar ◽

Omesh Pandita ◽

Aditya Kanade

Keyword(s):

Unit Tests

Download Full-text

Abstraction and Training of Stochastic Graph Transformation Systems

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

10.1007/978-3-642-37057-1_23 ◽

2013 ◽

pp. 312-326

Author(s):

Mayur Bapodra ◽

Reiko Heckel

Keyword(s):

Graph Transformation ◽

Stochastic Graph ◽

Transformation Systems ◽

Graph Transformation Systems ◽

And Training

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Implementing QVT-R Bidirectional Model Transformations Using Alloy

Enforcing QVT-R with mu-Calculus and Games

Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs

A Mechanized Model for CAN Protocols

Model-Based Implementation of Parallel Real-Time Systems

Change Propagation due to Uncertainty Change

Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification

Variability in Software: State of the Art and Future Directions

Discovering Math APIs by Mining Unit Tests

Abstraction and Training of Stochastic Graph Transformation Systems

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