Manfred Broy

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme  eBooks & eLearning

Posted by insetes at June 1, 2019
Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme By Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)
2010 | 142 Pages | ISBN: 3642144985 | PDF | 2 MB

Logische und Methodische Grundlagen der Programm- und Systementwicklung  eBooks & eLearning

Posted by hill0 at Sept. 14, 2019
Logische und Methodische Grundlagen der Programm- und Systementwicklung

Logische und Methodische Grundlagen der Programm- und Systementwicklung:
Datenstrukturen, funktionale, sequenzielle und objektorientierte … von Alexander Malkis
by Manfred Broy

Deutsch | 2019 | ISBN: 3658263016 | 451 Pages | PDF | 5 MB
Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik By Prof. Dr. Manfred Broy (auth.)
1998 | 404 Pages | ISBN: 3540643923 | PDF | 23 MB
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen By Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)
2002 | 376 Pages | ISBN: 3540420657 | PDF | 11 MB

Software Pioneers: Contributions to Software Engineering  eBooks & eLearning

Posted by AvaxGenius at Dec. 31, 2021
Software Pioneers: Contributions to Software Engineering

Software Pioneers: Contributions to Software Engineering by Manfred Broy
English | Scan PDF | 2002 | 713 Pages | ISBN : 3540430814 | 208.7 MB

A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote below: A well-defined segmentation of the project effort ensures system modularity. Each task fonos a separate, distinct program module. At implementation time each module and its inputs and outputs are well-defined, there is no confusion in the intended interface with other system modules.

agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems  eBooks & eLearning

Posted by Free butterfly at May 27, 2019
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems

agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems by Eva Geisberger, Manfred Broy
German | October 10, 2012 | ISBN: 3642290981 | 297 pages | PDF | 40 Mb

Model-Based Testing of Reactive Systems: Advanced Lectures (Repost)  eBooks & eLearning

Posted by DZ123 at Dec. 23, 2017
Model-Based Testing of Reactive Systems: Advanced Lectures (Repost)

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, "Model-Based Testing of Reactive Systems: Advanced Lectures"
English | 2005 | ISBN: 3540262784 | PDF | pages: 645 | 5.9 mb

Model-Driven Development of Reliable Automotive Services  eBooks & eLearning

Posted by Free butterfly at Jan. 16, 2018
Model-Driven Development of Reliable Automotive Services

Model-Driven Development of Reliable Automotive Services by Manfred Broy
English | 15 Aug. 2008 | ISBN: 3540709290 | 198 Pages | PDF | 7 MB

The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk,

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers By Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)
2003 | 572 Pages | ISBN: 3540208135 | PDF | 6 MB

50 Jahre Universitäts-Informatik in München  eBooks & eLearning

Posted by arundhati at Nov. 25, 2017
50 Jahre Universitäts-Informatik in München

Arndt Bode,‎ Manfred Broy, "50 Jahre Universitäts-Informatik in München"
2017 | German | ISBN-10: 3662547112 | 201 pages | PDF | 5 MB