Reliable software technologies--Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings

This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organize...

Descripción completa

Detalles Bibliográficos
Autor principal: Ada-Europe International Conference on Reliable Software Technologies (corporate author, -)
Autor Corporativo: Ada-Europe International Conference on Reliable Software Technologies Corporate Author (corporate author)
Otros Autores: Brorsson, Mats (-), Pinho, Luis Miguel
Formato: Libro electrónico
Idioma:Inglés
Publicado: Heidelberg ; New York : Springer 2012.
Edición:1st ed. 2012.
Colección:Lecture notes in computer science, 7308
LNCS sublibrary. Programming and software engineering
Programming and Software Engineering ; 7308
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712982606719
Descripción
Sumario:This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (XII, 220 p. 59 illus.)
Bibliografía:Includes bibliographical references and index.
ISBN:9783642305986