Fundamentals of Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642293191, 9783642293207

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructive Development of Probabilistic Programs

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_6 ◽

2012 ◽

pp. 80-95

Author(s):

Hassan Haghighi ◽

Mohammad Mahdi Javanmard

Keyword(s):

Constructive Development ◽

Probabilistic Programs

Download Full-text

Analyzing Component-Based Systems on the Basis of Architectural Constraints

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_5 ◽

2012 ◽

pp. 64-79 ◽

Author(s):

Christian Lambertz ◽

Mila Majster-Cederbaum

Keyword(s):

Architectural Constraints

Download Full-text

Intentional Automata: A Context-Dependent Model for Component Connectors

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_22 ◽

2012 ◽

pp. 335-342

Author(s):

David Costa ◽

Milad Niqui ◽

Jan Rutten

Keyword(s):

Dependent Model ◽

Context Dependent

Download Full-text

Towards Model-Based Testing of Electronic Funds Transfer Systems

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_17 ◽

2012 ◽

pp. 253-267 ◽

Author(s):

Hamid Reza Asaadi ◽

Ramtin Khosravi ◽

MohammadReza Mousavi ◽

Neda Noroozi

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

A Specification Language for Reo Connectors

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_26 ◽

2012 ◽

pp. 368-376 ◽

Author(s):

Alexandra Silva

Keyword(s):

Specification Language

Download Full-text

Nested Dynamic Condition Response Graphs

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_23 ◽

2012 ◽

pp. 343-350 ◽

Author(s):

Thomas Hildebrandt ◽

Raghava Rao Mukkamala ◽

Tijs Slaats

Keyword(s):

Dynamic Condition

Download Full-text

Rewriting Approximations for Properties Verification over CCS Specifications

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_20 ◽

2012 ◽

pp. 299-315 ◽

Author(s):

Roméo Courbis

Download Full-text

Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_7 ◽

2012 ◽

pp. 96-111 ◽

Author(s):

Mohammad Mahdi Jaghoori

Keyword(s):

Real Time ◽

Concurrent Objects

Download Full-text

Specification Guidelines to Avoid the State Space Explosion Problem

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_8 ◽

2012 ◽

pp. 112-127 ◽

Author(s):

Jan Friso Groote ◽

Tim W. D. M. Kouters ◽

Ammar Osaiweran

Keyword(s):

State Space ◽

The State ◽

State Space Explosion

Download Full-text

A Model-Based Development Approach for Model Transformations

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29320-7_4 ◽

2012 ◽

pp. 48-63 ◽

Author(s):

Shekoufeh Kolahdouz-Rahimi ◽

Kevin Lano

Keyword(s):

Model Transformations ◽

Model Based ◽

Development Approach

Download Full-text