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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642116223, 9783642116230

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fundamental Concepts for the Structuring of Functionality into Modular Parts

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_30 ◽

2010 ◽

pp. 463-470

Author(s):

Alexander Gruler ◽

Michael Meisinger

Download Full-text

Specification and Validation of Behavioural Protocols in the rCOS Modeler

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_23 ◽

2010 ◽

pp. 387-401 ◽

Cited By ~ 6

Author(s):

Zhenbang Chen ◽

Charles Morisset ◽

Volker Stolz

Download Full-text

Compositional Strategy Mapping

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_20 ◽

2010 ◽

pp. 340-354

Author(s):

Gregor Gössler

Download Full-text

A First Step towards Security Policy Compliance of Connectors

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_28 ◽

2010 ◽

pp. 447-454

Author(s):

Sun Meng

Keyword(s):

Security Policy ◽

Policy Compliance ◽

Security Policy Compliance

Download Full-text

A Timed Calculus for Wireless Systems

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_13 ◽

2010 ◽

pp. 228-243 ◽

Cited By ~ 17

Author(s):

Massimo Merro ◽

Eleonora Sibilio

Keyword(s):

Wireless Systems

Download Full-text

The Complexity of Reachability in Randomized Sabotage Games

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_9 ◽

2010 ◽

pp. 162-177 ◽

Cited By ~ 1

Author(s):

Dominik Klein ◽

Frank G. Radmacher ◽

Wolfgang Thomas

Download Full-text

Executable Interface Specifications for Testing Asynchronous Creol Components

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_19 ◽

2010 ◽

pp. 324-339 ◽

Cited By ~ 5

Author(s):

Immo Grabe ◽

Marcel Kyas ◽

Martin Steffen ◽

Arild B. Torjusen

Download Full-text

An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_27 ◽

2010 ◽

pp. 439-446 ◽

Cited By ~ 4

Author(s):

Mohamed Nadhmi Miladi ◽

Ikbel Krichen ◽

Mohamed Jmaiel ◽

Khalil Drira

Keyword(s):

Service Oriented Architectures ◽

Dynamic Deployment ◽

Distributed Service ◽

Service Oriented

Download Full-text

Termination in Higher-Order Concurrent Calculi

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_4 ◽

2010 ◽

pp. 81-96 ◽

Cited By ~ 2

Author(s):

Romain Demangeon ◽

Daniel Hirschkoff ◽

Davide Sangiorgi

Keyword(s):

Higher Order

Download Full-text

A Safe Implementation of Dynamic Overloading in Java-Like Languages

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11623-0_29 ◽

2010 ◽

pp. 455-462 ◽

Cited By ~ 1

Author(s):

Lorenzo Bettini ◽

Sara Capecchi ◽

Betti Venneri

Download Full-text

Fundamentals of Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Fundamental Concepts for the Structuring of Functionality into Modular Parts

Specification and Validation of Behavioural Protocols in the rCOS Modeler

Compositional Strategy Mapping

A First Step towards Security Policy Compliance of Connectors

A Timed Calculus for Wireless Systems

The Complexity of Reachability in Randomized Sabotage Games

Executable Interface Specifications for Testing Asynchronous Creol Components

An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures

Termination in Higher-Order Concurrent Calculi

A Safe Implementation of Dynamic Overloading in Java-Like Languages

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