Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Johann Blieberger, Markus Bader (Herausgeber)

Buch | Softcover

XIV, 251 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-60587-6 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Runtimes.- Safety and security.- Timing verification.- Programming models.- The future of safety-minded languages.- Mixed criticality.

Erscheinungsdatum	01.06.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XIV, 251 p. 61 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	415 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	Applications • Compilers & interpreters • Compilers & interpreters • computer architecture & logic design • Computer architecture & logic design • computer programming languages • Computer programming / software engineering • Computer Science • conference proceedings • Cyber Physical Systems • Embedded Software • Embedded Systems • Expert systems / knowledge-based systems • Informatics • Logics and meanings of programs • multiparadigm languages • Operating Systems • parallel processing systems • Programming & scripting languages: general • Programming languages, compilers, interpreters • Programming & scripting languages: general • Real-Time Systems • Reliability • Research • safety-critical software • security • Software engineering • Software Safety • Special purpose and application-based systems
ISBN-10	3-319-60587-9 / 3319605879
ISBN-13	978-3-319-60587-6 / 9783319605876
Zustand	Neuware