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.

Table des matières

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

Résumé

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.

Détails du produit

• Collaboration: Ferhat Khendek Electrical and Computer Engineering (Editeur), Abdelouahed Gherbi (Editeur), Abdelouahed Gherbi et al (Editeur), Ferhat Khendek (Editeur), Rick Reed (Editeur), Mari Toeroe (Editeur), Maria Toeroe (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 17.05.2013
• EAN: 9783642389108
• ISBN: 978-3-642-38910-8
• Pages: 291
• Dimensions: 155 mm x 236 mm x 17 mm
• Poids: 464 g
• Illustrations: XII, 291 p. 138 illus.
• Thèmes: 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
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > 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