語系
Broy, Manfred.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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:
SpringerLink (Online service); Broy, Manfred.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Model-Based Testing of Reactive Systems = Advanced Lectures
by:
SpringerLink (Online service); Broy, Manfred.
(書目-電子資源)
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:
Meisinger, Michael.; Kruger, Ingolf H.; Broy, Manfred.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Automobiles- Electronic equipment
Information technology.
Computer software- Testing.
Special Purpose and Application-Based Systems.
Model-driven software architecture
Simulation and Modeling.
Theory of Computation.
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Automotive computers
Logics and Meanings of Programs.
Models and Principles.
Computation by Abstract Devices.
Automobiles- Design