Software, Services, and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319155449, 9783319155456

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Broad View: How To Spawn a Radical Organizational Transformation ‘En Passant’

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_4 ◽

2015 ◽

pp. 27-29

Author(s):

Heinrich Hussmann

Keyword(s):

Organizational Transformation ◽

Broad View

Download Full-text

The Foundational Legacy of ASL

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_17 ◽

2015 ◽

pp. 253-272

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Download Full-text

Generate & Check Method for Verifying Transition Systems in CafeOBJ

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_13 ◽

2015 ◽

pp. 171-192 ◽

Cited By ~ 5

Author(s):

Kokichi Futatsugi

Keyword(s):

Transition Systems ◽

Check Method

Download Full-text

Service Composition for Collective Adaptive Systems

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_28 ◽

2015 ◽

pp. 490-505 ◽

Cited By ~ 1

Author(s):

Stephen Gilmore ◽

Jane Hillston ◽

Mirco Tribastone

Keyword(s):

Service Composition ◽

Adaptive Systems

Download Full-text

Pragmatic Formal Specification of System Properties by Tables

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_21 ◽

2015 ◽

pp. 329-354 ◽

Cited By ~ 1

Author(s):

Manfred Broy

Keyword(s):

Formal Specification ◽

System Properties

Download Full-text

Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_31 ◽

2015 ◽

pp. 538-551 ◽

Cited By ~ 3

Author(s):

Nicola Bicocchi ◽

Letizia Leonardi ◽

Franco Zambonelii

Keyword(s):

Smart Cities ◽

Software Intensive

Download Full-text

A Homage to Martin Wirsing

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_1 ◽

2015 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Rocco De Nicola ◽

Rolf Hennicker

Download Full-text

Programming Autonomic Systems with Multiple Constraint Stores

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_36 ◽

2015 ◽

pp. 641-661 ◽

Cited By ~ 1

Author(s):

Ugo Montanari ◽

Rosario Pugliese ◽

Francesco Tiezzi

Keyword(s):

Autonomic Systems ◽

Multiple Constraint

Download Full-text

From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_3 ◽

2015 ◽

pp. 24-26

Author(s):

Wolfgang Hesse

Keyword(s):

System Dynamics ◽

Formal Logic ◽

Program Transformations

Download Full-text

Formal Modelling for Cooking Assistance

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_22 ◽

2015 ◽

pp. 355-376 ◽

Cited By ~ 5

Author(s):

Bernd Krieg-Brückner ◽

Serge Autexier ◽

Martin Rink ◽

Sidoine Ghomsi Nokam

Keyword(s):

Formal Modelling

Download Full-text

Software, Services, and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Broad View: How To Spawn a Radical Organizational Transformation ‘En Passant’

The Foundational Legacy of ASL

Generate & Check Method for Verifying Transition Systems in CafeOBJ

Service Composition for Collective Adaptive Systems

Pragmatic Formal Specification of System Properties by Tables

Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms

A Homage to Martin Wirsing

Programming Autonomic Systems with Multiple Constraint Stores

From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing

Formal Modelling for Cooking Assistance

Software, Services, and Systems - Lecture Notes in Computer Science
Latest Publications