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.

Sommario

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

Riassunto

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.

Dettagli sul prodotto

• Con la collaborazione di: Ferhat Khendek Electrical and Computer Engineering (Editore), Abdelouahed Gherbi (Editore), Abdelouahed Gherbi et al (Editore), Ferhat Khendek (Editore), Rick Reed (Editore), Mari Toeroe (Editore), Maria Toeroe (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 17.05.2013
• EAN: 9783642389108
• ISBN: 978-3-642-38910-8
• Pagine: 291
• Dimensioni: 155 mm x 236 mm x 17 mm
• Peso: 464 g
• Illustrazioni: XII, 291 p. 138 illus.
• Serie: 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
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > 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