Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Giese, Holger (Editor), Karsai, Gabor (Editor), Lee, Edward (Editor), Rumpe, Bernhard (Editor), Schätz, Bernhard (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Series: Lecture Notes in Computer Science, 6100
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.; Logics and Meanings of Programs.

Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an e...