Reliable Software Technologies - Ada-Europe 2014

19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
2014
ISBN: 978-3-319-08310-0
Verlag: Springer International Publishing

Buch, Englisch, 193 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 3226 g

Reihe: Programming and Software Engineering

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014.
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.

Zielgruppe

Research

Autoren/Hrsg.

Vardanega, Tullio

George, Laurent

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Modellierung, UML, SysML

Inhaltsverzeichnis

Formal methods.- Uses of ada.- Real-time scheduling.- Applications.

Über Autor(innen)

Complex networks and data stream mining.- Data mining methods.- Intelligent systems applications.- Knowledge representation in databases and systems.- Textual data analysis and mining.- Special session: challenges in text mining and semantic information retrieval.- Special session: warehousing and OLAPing complex, spatial and spatio-temporal data.- ISMIS posters.