Reliable Software Technologies : Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies Paris, France, June 23-27, 2014 : Proceedings /

Selección de ponencias presentadas en la décima novena Conferencia Internacional Ada-Europe sobre Tecnologías de Software Confiables, celebrada en París, Francia, en junio de 2014. Los artículos desarrollan temas relacionados con los métodos formales, usos de Ada, programación en tiempo real y desar...

Full description

Bibliographic Details

Corporate Author:	Ada-Europe International Conference on Reliable Software Technologies ( París, Francia)
Other Authors:	George, Laurent (edición) (edición), Vardanega, Tullio (edición) (edición)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham, Suiza : Springer, 2014, c2014
Series:	(Lecture Notes in Computer Science ; 8454)
Subjects:	Sistemas en Tiempo Real Programación Estructurada (Software) Programación Modular (Software) Programación Orientada a Objetos - > Tema Principal Lenguajes de Programación - > Tema Principal Lenguajes Formales Programación (Software) - > Congresos - > Tema Principal Ingeniería de Software Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional
Online Access:	Ver documento en línea
Tags:	Add Tag No Tags, Be the first to tag this record!