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 o...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Khendek, Ferhat (Editor ), Toeroe, Maria (Editor ), Gherbi, Abdelouahed (Editor ), Reed, Rick (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Computer Communication Networks and Telecommunications, 7916
Temas:
Computer engineering.
Computer networks .
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic data processing-Management.
Computer Engineering and Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
IT Operations.
Acceso en línea:Texto Completo
Descripción
Sumario: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.
Descripción Física:XII, 291 p. 138 illus. online resource.
ISBN:9783642389115
ISSN:2945-9184 ;

Ejemplares similares