Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings
Springer, Jul 1, 1998 - Computers - 297 pages
This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998. The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Ada+B The Formula for Safety Critical Software Development
Automating the Ada Binding Process for Java How Far Can We Go?
12 other sections not shown
Other editions - View all
abort abstract active partition ACVC Ada compiler Ada language algorithms allows analysis application approach array ASIS called client components Computer concurrency constraints defined described dispatching Drago dynamic embedded engineering entry exception handling faceted classification facets Free Software function GNAT hard real-time high integrity systems IEEE implementation input instantiation interface Java Virtual Machine loop match mechanism MetaH method modules object-oriented object-oriented programming operations package parameter performed periodic tasks PINROB POSIX pragma priority procedure Proceedings processor programming language protected object protocol ProtoStages qpost qpre queries queue Ravenscar profile real-time systems requeue requirements restrictions runtime safety scheduling semantics sensors server Simple-Com software architecture source code specification static structure subprograms subtransaction synchronization tagged type task model techniques Technology thread timer tool transaction Traverse_Element validation variable worst-case execution