Broy, Manfred.
Overview
Works: | 3 works in 0 publications in 0 languages |
---|
Titles
Requirements targeting software and systems engineeringInternational Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /
by:
(1998 :); Broy, Manfred.; Rumpe, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Automotive Software- Connected Services in Mobile NetworksFirst Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /
by:
(1998 :); Broy, Manfred.; Kruger, Ingolf.; Meisinger, Michael.; SpringerLink (Online service)
(Electronic resources)
Perspectives of system informatics4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /
by:
(1998 :); Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); Zamulin, Aleksandr Vasilevich.
(Electronic resources)
Model-Based Testing of Reactive SystemsAdvanced Lectures
by:
Broy, Manfred.; SpringerLink (Online service)
(Electronic resources)
Perspectives of system informaticsThird International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /
by:
(1998 :); Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); Zamulin, Alexandre V.
(Electronic resources)
Model-Driven Development of Reliable Automotive ServicesSecond Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
by:
(1998 :); Broy, Manfred.; Kruger, Ingolf H.; Meisinger, Michael.; SpringerLink (Online service)
(Electronic resources)
Engineering Theories of Software Intensive SystemsProceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
by:
(1998 :); Broy, Manfred.
(Electronic resources)
Engineering Theories of Software Intensive Systems :Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3��5 August 2004 /
by:
(1998 :); Broy, Manfred.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Model-driven software architecture
Systems engineering
Computation by Abstract Devices.
Computer software
Computer systems
Computer Science
Special Purpose and Application-Based Systems.
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Automotive computers
Information technology.
Computer science
Theory of Computation
Automobiles
Computer programs
Programming Techniques
Computer Science.
Simulation and Modeling.
Information theory
Software Engineering
Models and Principles
Mobile computing