Auteur: Manfred Broy

Support
Klaus Pohl is full professor for Software Systems Engineering at the University of Duisburg-Essen in Germany and director of paluno – The Ruhr Institute for Software Technology. From 2005 until 2007 he was scientific founding director of Lero, the Irish Software Engineering Research Centre. Manfred Broy is full professor for Software and Systems Engineering at the Institute for Software and Systems Engineering of the Technical University of Munich, a Max-Planck-Fellow, member of the German Academy of Science and Engineering and member of the German National Academy of the Sciences “Leopoldina”. Heinrich Daembkes is honorary professor at Ulm University. Until June 2016 he was Vice President at Airbus Defence and Space, a division of the Airbus Group. He was responsible for systems and software engineering. In addition, he was also President of ARTEMIS-IA (Advanced Research & Technology for EMbedded Intelligent Systems).  ARTEMIS Industry Association is a membership organisation with more than 170 members and associates from all over Europe. Harald Hönninger is Vice President Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development with Robert Bosch Gmb H. He is responsible for the pre-development of software-intensive systems and for software-, hardware- and systems engineering methods.




39 Ebooks par Manfred Broy

Manfred Broy & Johannes Gruenbauer: Engineering Theories of Software Intensive Systems
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering an …
PDF
Anglais
€213.99
Klaus Pohl & Manfred Broy: Advanced Model-Based Engineering of Embedded Systems
This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industr …
PDF
Anglais
€53.49
Manfred Broy: Cyber-Physical Systems
Cyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme mit den globalen digitalen Netzen. Sie ermöglichen neuartige industrielle Anwendungen mit hohem wirtsch …
PDF
Allemand
€16.99
Eva Geisberger & Manfred Broy: agendaCPS
Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen. Zuneh …
PDF
Allemand
€33.26
Manfred Broy & Marco Kuhrmann: Projektorganisation und Management im Software Engineering
Software Engineering hat das ingenieurmäßige Entwickeln umfangreicher Softwaresysteme zum Ziel. Kritische Größen sind Kosten, Termine und Qualität. Neben unterschiedlichen Themengebieten der Software …
PDF
Allemand
€49.99
Klaus Pohl & Harald Hönninger: Model-Based Engineering of Embedded Systems
Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and …
PDF
Anglais
€53.49
Arndt Bode & Manfred Broy: 50 Jahre Universitäts-Informatik in München
50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, Technische Universität München und Universität der Bundeswehr Neubiberg) sind der Anlass für diese Sam …
PDF
Allemand
€62.99
Manfred Broy & Ketil Stolen: Specification and Development of Interactive Systems
This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches to program develop …
PDF
Anglais
DRM
€57.19
Manfred Broy & Bengt Jonsson: Model-Based Testing of Reactive Systems
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been m …
PDF
Anglais
DRM
€57.74
Manfred Broy & Ingolf Kruger: Automotive Software-Connected Services in Mobile Networks
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort fun …
PDF
Anglais
DRM
€57.36
Dines Bjorner & Manfred Broy: Perspectives of System Informatics
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 re …
PDF
Anglais
DRM
€57.90
Manfred Broy & Ingolf Kruger: Model-Driven Development of Reliable Automotive Services
Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems …
PDF
Anglais
DRM
€57.99
Manfred Broy & Otto Spaniol: VDI-Lexikon Informatik und Kommunikationstechnik
Dieses Lexikon bietet anschauliche und verständliche Informationen betreffend der theoretischen Informatik, Rechnerarchitekturen und Hardware, Softwaretechnologie, Informationssysteme und Datenbanken …
PDF
Allemand
DRM
€82.18
Manfred Broy & Bernhard Rumpe: Übungen zur Einführung in die Informatik
Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung ‘Einführung in die Informatik’. Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy – das Gelern …
PDF
Allemand
DRM
€43.82
Heinz Komann & Axel Pink: Software-Entwicklung für Kommunikationsnetze
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale di …
PDF
Allemand
DRM
€46.31
Manfred Broy: Informatik Eine grundlegende Einführung
Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik …
PDF
Allemand
DRM
€28.79
Manfred Broy: Informatik
Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen de …
PDF
Allemand
DRM
€23.28
Manfred Broy & Ernst Denert: Software Pioneers
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 …
PDF
Anglais
DRM
€164.54
Manfred Broy & Birgit Schieder: Mathematical Methods in Program Development
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are …
PDF
Anglais
DRM
€115.15
Manfred Broy: Constructive Methods in Computing Science
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Ad …
PDF
Anglais
DRM
€114.70
Manfred Broy: Informatik und Mathematik
PDF
Allemand
DRM
€61.53
Manfred Broy: Informatik
Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeite …
PDF
Allemand
DRM
€43.63
Manfred Broy: Programming and Mathematical Method
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular math …
PDF
Anglais
DRM
€114.61
Manfred Broy: Informatik. Eine grundlegende Einführung
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und de …
PDF
Allemand
DRM
€43.91
Manfred Broy: Control Flow and Data Flow: Concepts of Distributed Programming
In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computi …
PDF
Anglais
DRM
€114.61
Manfred Broy: Logic of Programming and Calculi of Discrete Design
In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most interesting and most d …
PDF
Anglais
DRM
€57.46
Manfred Broy: Informatik
Dieser zweite von vier Bänden zur Einführung in die Informatik behandelt die technische Informationsverarbeitung, von der Binärcodierung der Information über digitale Schaltungen und Rechnerarchitekt …
PDF
Allemand
DRM
€43.82
Manfred Broy: Informatik
Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, …
PDF
Allemand
DRM
€43.32
Manfred Broy & Bernhard Rumpe: Übungen zur Einführung in die Informatik
Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung ‘Einführung in die Informatik’. Er ist eng abgestimmt auf die vier Teile der in der Neuauflage zweibändigen (Bd.1 1997, …
PDF
Allemand
DRM
€43.74
Manfred Broy: Program Design Calculi
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and s …
PDF
Anglais
DRM
€230.91
Manfred Broy: Logische und Methodische Grundlagen der Programm- und Systementwicklung
Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung an Geht man beim Entwickeln von Programmen von einer informellen Problemstellung aus, erfordert d …
PDF
Allemand
DRM
€28.22
Wolfgang Bohm & Manfred Broy: Model-Based Engineering of Collaborative Embedded Systems
This Open Access book presents the results of the "Collaborative Embedded Systems" (Cr ESt) project, aimed at adapting and complementing the methodology underlying modeling techniques devel …
PDF
Anglais
DRM
€3.85
Manfred Broy & Marco Kuhrmann: Einführung in die Softwaretechnik
Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systematischen und modellbasierten Software- und Systementwicklung aber auch auf dem Einsatz agiler Methoden. …
PDF
Allemand
€46.99
Jennifer Hehn & Daniel Mendez: Design Thinking for Software Engineering
This book explores the possibility of integrating design thinking into today’s technical contexts. Despite the popularity of design thinking in research and practice, this area is still too often tre …
PDF
Anglais
€171.19
Manfred Broy: Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. …
PDF
Allemand
DRM
€38.57