Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
Michael Gonzalez Harbour, Juan A. de la Puente
Springer, Jul 20, 1999 - Ada (Computer program language) - 451 pages
This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Kristina Lundqvist Lars Asplund and Stephen Michell
Reengineering a SafetyCritical Application Using SPARK 95 and GNORT
21 other sections not shown
Other editions - View all
abstract Ada language Ada runtime system Ada tasks algorithm aliased application approach AppSwitch assignment attribute Background Engine C4ISR cause-effect graph client code review communication compiler components Computer concurrent constraints CORBA CORSO database declared defined described Drago dynamic embedded systems end record environment example execution Extension module F F F Fagan inspection federate formal framework function GNAT GNORT graph handling hardware IEEE implementation input integration interaction interface kernel Layer loop method mode MT-Rendezvous node operating system package parameters partition performance Petri nets POSIX threads pragma procedure processor programming language protected object queue Ravenscar Profile real-time systems recoverable objects remote remote procedure calls requirements result safety-critical scheduling semantic server shared SHOLIS simulation software architecture specification static analysis structure subprogram synchronisation synchronization thread token tool transaction transition variables verification VHDL