SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 7916Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Descripción: XII, 291 p. 138 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642389115Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Computer network architectures | Computer Communication Networks | Software engineering | Logic design | Information Systems | Computer Science | Computer Systems Organization and Communication Networks | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Computer Communication Networks | Management of Computing and Information SystemsFormatos físicos adicionales: Sin títuloClasificación CDD: 004.6 Clasificación LoC:Libro electrónicoTK5105.5-5105.9Recursos en línea: de clik aquí para ver el libro electrónico
Contenidos:
Springer eBooksResumen: 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.
No hay ítems correspondientes a este registro
Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.-Evolution.
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.
No hay comentarios en este titulo.