SDL 2013: Model Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.

Inhaltsverzeichnis

verification and testing.- dependability engineering.- analysis.- domain specific languages.- model transformation.- specification and description language.- evolution.

Zusammenfassung

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.

Produktdetails

• Mitarbeit: Ferhat Khendek Electrical and Computer Engineering (Herausgeber), Abdelouahed Gherbi (Herausgeber), Abdelouahed Gherbi et al (Herausgeber), Ferhat Khendek (Herausgeber), Rick Reed (Herausgeber), Mari Toeroe (Herausgeber), Maria Toeroe (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 17.05.2013
• EAN: 9783642389108
• ISBN: 978-3-642-38910-8
• Seiten: 291
• Abmessung: 155 mm x 236 mm x 17 mm
• Gewicht: 464 g
• Illustration: XII, 291 p. 138 illus.
• Serien: Lecture Notes in Computer Science; Computer Communication Networks and Telecommunications; Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications; Lecture Notes in Computer Science; Computer Communication Networks and Telecommunications
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Hardware; C, Software Engineering, computer science, Logics and Meanings of Programs, Management of Computing and Information Systems, IT Operations, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Maintenance & repairs, information architecture, Management information systems, Computer programming / software engineering, Computer Engineering and Networks, Computer Systems Organization and Communication Networks, Computer organization, Computer architecture & logic design, Computer communication systems, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Network hardware, Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters