Manfred Broy – författare
Visar alla böcker från författaren Manfred Broy. Handla med fri frakt och snabb leverans.
86 produkter
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Inbunden, 2001
568 kr
Lägg i varukorg
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 development, it is important to explain what we consider to be the specific contribution of our book, to …
Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Av Manfred Broy, Johannes Gruenbauer m. fl.
Inbunden, 2005
2254 kr
Lägg i varukorg
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 and computer networks. Foundations in software technology lie in models allowing to capture …
Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Av Manfred Broy, Johannes Gruenbauer m. fl.
Häftad, 2005
2254 kr
Lägg i varukorg
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 and computer networks. Foundations in software technology lie in models allowing to capture …
Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Av Tony Hoare, David Harel m. fl.
E-bok, 2005
3013 kr
Lägg i varukorg
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 and computer networks. Foundations in software technology lie in models allowing to capture …
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Häftad, 2012
569 kr
Lägg i varukorg
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 development, it is important to explain what we consider to be the specific contribution of our book, to …
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
E-bok, 2012
755 kr
Lägg i varukorg
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 development, it is important to explain what we consider to be the specific contribution of our book, to …
Model-Based Engineering of Collaborative Embedded Systems
Extensions of the SPES Methodology
Av Wolfgang Böhm, Manfred Broy m. fl.
Inbunden, 2020
552 kr
Lägg i varukorg
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on …
Model-Based Engineering of Collaborative Embedded Systems
Extensions of the SPES Methodology
Av Wolfgang Böhm, Manfred Broy m. fl.
Häftad, 2021
443 kr
Lägg i varukorg
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on …
Design Thinking for Software Engineering
Creating Human-oriented Software-intensive Products and Services
Av Jennifer Hehn, Daniel Mendez m. fl.
Inbunden, 2022
2030 kr
Lägg i varukorg
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 treated in isolation without a clear, consistent connection to the world of software development.The …
Design Thinking for Software Engineering
Creating Human-oriented Software-intensive Products and Services
Av Manfred Broy, Walter Brenner m. fl.
E-bok, 2022
2677 kr
Lägg i varukorg
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 treated in isolation without a clear, consistent connection to the world of software development. The …
Design Thinking for Software Engineering
Creating Human-oriented Software-intensive Products and Services
Av Jennifer Hehn, Daniel Mendez m. fl.
Häftad, 2023
2030 kr
Lägg i varukorg
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 treated in isolation without a clear, consistent connection to the world of software development.The …
Advanced Model-Based Engineering of Embedded Systems
Extensions of the SPES 2020 Methodology
Av Klaus Pohl, Manfred Broy m. fl.
Inbunden, 2016
825 kr
Lägg i varukorg
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 industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework …
Advanced Model-Based Engineering of Embedded Systems
Extensions of the SPES 2020 Methodology
Av Harald Honninger, Heinrich Daembkes m. fl.
E-bok, 2016
734 kr
Lägg i varukorg
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 industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework …
Advanced Model-Based Engineering of Embedded Systems
Extensions of the SPES 2020 Methodology
Av Klaus Pohl, Manfred Broy m. fl.
Häftad, 2018
552 kr
Lägg i varukorg
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 industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework …
Control Flow and Data Flow: Concepts of Distributed Programming
International Summer School
Av Manfred Broy
Häftad, 1986
1131 kr
Lägg i varukorg
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 computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating …
Perspectives of Systems Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Av Manfred Broy, Alexandre V. Zamulin
Häftad, 2004
569 kr
Lägg i varukorg
Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July 9-12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for …
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Manfred Broy, Bengt Jonsson m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
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 made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Alexander Pretschner, Martin Leucker m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
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 made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …
Automotive Software-Connected Services in Mobile Networks
First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Av Manfred Broy, Ingolf Krüger m. fl.
Häftad, 2006
552 kr
Lägg i varukorg
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 functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly …
Automotive Software-Connected Services in Mobile Networks
First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Av Michael Meisinger, Ingolf Kruger m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
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 functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly …
Perspectives of Systems Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Av Alexandre V. Zamulin, Manfred Broy
E-bok, 2003
755 kr
Lägg i varukorg
Übungen zur Einführung in die Informatik
Strukturierte Aufgabensammlung mit Musterlösungen
Av Manfred Broy, Bernhard Rumpe m. fl.
2001
609 kr
Lägg i varukorg
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 Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen …
Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 2001
569 kr
Lägg i varukorg
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 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov …
Modellbildung in der Informatik
Av Manfred Broy, Ralf Steinbrüggen
Inbunden, 2003
427 kr
Lägg i varukorg
Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Av Alexandre Zamulin, Manfred Broy m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
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 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov …
Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI''99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Av Alexandre V. Zamulin, Manfred Broy m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Requirements Targeting Software and Systems Engineering
International Workshop RTSE ''97, Bernried, Germany, October 12-14, 1997
Av Bernhard Rumpe, Manfred Broy
E-bok, 2005
1209 kr
Lägg i varukorg
Methods of Programming
Selected Papers on the CIP-Project
Av Manfred Broy, Martin Wirsing
Häftad, 1991
569 kr
Lägg i varukorg
The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aided Intuition-guidedProgramming), a …
Informatik
Eine grundlegende Einführung Teil I. Problemnahe Programmierung
Av Manfred Broy
Häftad, 1992
532 kr
Lägg i varukorg
Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einführung in die Informatik behandelt die …
Program Design Calculi
Av Manfred Broy
Inbunden, 1993
2254 kr
Lägg i varukorg
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 should not be constructed in one step. A careful, systematic, and disciplined structuring of the …
