MPG.eBooks - Search Results

1

Requirements Targeting Software and Systems Engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

2

Cyber-Physical Systems : Innovation durch softwareintensive eingebettete Systeme

Published 2010

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

3

Übungen zur Einführung in die Informatik : Strukturierte Aufgabensammlung mit Musterlösungen

by Broy, Manfred, Rumpe, Bernhard
Published 2002

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

4

Program Design Calculi

Published 1993

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

5

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme : Unter Mitarbeit von Alexander Malkis

by Broy, Manfred
Published 2023

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

6

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

7

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

by Bjørner, Dines
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

8

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

by Broy, Manfred
Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

9

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Framework for Fast Fourier Transforms -- Intersecting Classes and Prototypes -- Software Engineering...”

Read Now

10

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

11

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

by Bjøner, Dines
Published 2000

Springer-Verlag Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

12

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

13

Automotive Software-Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

14

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... -- Mathematical Methods in System and Software Engineering -- Unified Theories of Programming -- 3. Programming...”

Read Now

15

agendaCPS : Integrierte Forschungsagenda Cyber-Physical Systems

Published 2012

Springer Berlin Heidelberg

Table of Contents: “... -- Technologie- und Engineering-Herausforderungen -- Geschäftsmodelle und Ökosysteme -- Standortbestimmung...”

Read Now

16

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Published 2001

Springer Berlin Heidelberg

Table of Contents: “.... Industrial Software Engineering: Closing the Gap -- A Method for Recovery and Maintenance of Software...”

Read Now

17

Informatik Eine grundlegende Einführung : Band 1: Programmierung und Rechnerstrukturen

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Engineering and Networks...”

Read Now

18

Modellbildung in der Informatik

by Broy, Manfred, Steinbrüggen, Ralf
Published 2004

Springer Berlin Heidelberg

Table of Contents: “...: Requirements Engineering -- 5.1 Die Frühphase einer Systementwicklung -- 5.2 Das Aufgabenspektrum -- 5.3...”

Narrow Search