Reliable Software Technologies - Ada-Europe 2002

Beschreibung

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.
The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
Includes supplementary material: sn.pub/extras

Autor*in

Johann Blieberger

Themen in »Reliable Software Technologies - Ada-Europe 2002«

Ada Ada-Programming Dependable Computing Distributed Computing Embedded Systems Formal Methods Java Program Analysis Reliable Systems XML design distributed systems modeling programming robot

Stimmen zu »Reliable Software Technologies - Ada-Europe 2002«

Details

Link teilen