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.

List of contents

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

Summary

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.

Product details

• Assisted by: Ferhat Khendek Electrical and Computer Engineering (Editor), Abdelouahed Gherbi (Editor), Abdelouahed Gherbi et al (Editor), Ferhat Khendek (Editor), Rick Reed (Editor), Mari Toeroe (Editor), Maria Toeroe (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 17.05.2013
• EAN: 9783642389108
• ISBN: 978-3-642-38910-8
• No. of pages: 291
• Dimensions: 155 mm x 236 mm x 17 mm
• Weight: 464 g
• Illustrations: XII, 291 p. 138 illus.
• Series: 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
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > 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