MPG.eBooks - Search Results

1

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... formal specifications for user validation -- Design and evaluation of a visual formalism for real time...”

2

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... -- Domain-Specific Business Modeling with the Business Model Developer -- Dr. Watson? Balancing Automation...”

3

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... of CMMI Specific Practices for SMEs -- SPI with Lightweight Software Process Modeling in a Small Software...”

4

Published 2016

Springer International Publishing

Table of Contents: “...-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic...”

5

Published 2018

Springer International Publishing

Table of Contents: “...: the Past, Future, and Open Challenges...”

6

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”