Broy, Manfred.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004/
by:
Broy, Manfred.; SpringerLink (Online service); NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems ((2004 :)
(書目-語言資料,印刷品)
Model-Based Testing of Reactive Systems = Advanced Lectures
by:
Broy, Manfred.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Perspectives of system informatics = Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /
by:
Bjorner, Dines.; Broy, Manfred.; Zamulin, Alexandre V.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (1999 :)
(書目-語言資料,印刷品)
Requirements targeting software and systems engineering = International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /
by:
Broy, Manfred.; Rumpe, Bernhard.; SpringerLink (Online service); International Workshop RTSE '97 ((1997 :)
(書目-語言資料,印刷品)
Perspectives of system informatics = 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers/
by:
Bjorner, Dines.; Broy, Manfred.; Zamulin, Aleksandr Vasilevich.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (2001 :)
(書目-語言資料,印刷品)
Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers/
by:
Broy, Manfred.; Kruger, Ingolf H.; Meisinger, Michael.; SpringerLink (Online service); Automotive Software Workshop (2006 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Theory of Computation.
Automobiles- Design
Logics and Meanings of Programs.
Model-driven software architecture
Computer programs- Congresses.
Software engineering- Congresses.
Programming Techniques.
Automobiles- Electronic equipment
Computation by Abstract Devices.
Computer systems
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Information technology.
Models and Principles.
Automotive computers
Computer software- Testing.
Computer Science.
Simulation and Modeling.
Systems engineering- Congresses.