ENGLISH

Reliable Software Technologies – Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

By Tullio Vardanega (auth.) , Marco Panunzio , Mats Brorsson , Luís Miguel Pinho (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
ISBN
978-3-642-30597-9, 978-3-642-30598-6
DOI
10.1007/978-3-642-30598-6
Language
english
Format
PDF
Filesize
6 MB (6318978 bytes)
Series
Lecture Notes in Computer Science 7308
Edition
1
Pages
220\232
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Software Engineering; Logics and MeaProgramming Languages

Description

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.

Similar books