Warriors B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | May 5, 2015

    Leonard Mlodinow: IMG The Fragility of Grand Discoveries



    When I was in graduate school at Berkeley I was offered a prestigious fellowship to study for a year in Germany, but I decided it would be a... Continue »
    1. $19.57 Sale Hardcover add to wish list

    spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings

by

Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

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.

Table of Contents

Embedded opportunities / F. Gasperoni — Ada+B the formula for safety critical software development / P. Chapront — Porting the GNAT tasking runtime system to the Java virtual machine / L. Millet, T. Baker --Automating the Ada binding process for Java : how far can we go? / D.E. Emery, R.F. Mathis, K.A. Nyberg — Synchronizing multiple clients and servers / M. Ben-Ari — How to avoid the inheritance anolmaly in Ada / G. Schumacher, W. Nebel --Inside the distributed systems annex / L. Pautet, S. Tardieu — Integrating groups and transactions : a fault-tolerant extension of Ada / M. Patiño-Martínez, R. Jiménez-Peris, S. Arévalo — Implementing and using execution time clocks in Ada hard real-time applications / M. Gonzáles Harbour ... [et al.] — Programming hard real-time systems with optional components in Ada / A. Espinosa ... [et al.] — Object oriented abstractions for real-time distributed systems / S.A. Moody - (Astro)physical supercomputing : Ada95 as a safe, object oriented alternative / M.J. Stift --Ada 95 for a distributed simulation system / H. Hagenauer, W. Pohlman — PINROB : a portable API for industrial robots / M. Gonzáles Harbour ... [et al.] --Quality-for-ASIS : a portable testing facility for ASIS / A. Strohmeier ... [et al.] — Ten years of tool based Ada compiler validations : an experience report / M. Tonndorf — A two-level matching mechanism for object-oriented class libraries / S. Araban, A.S.M. Sajeev — Modern avionics requirements for the distributed systems annex / B. Lewis, S. Vestal, D. McConnell — A case study in quantitative evaluation of real-time software architectures / J.L. Fernández ... [et al.] — Building modular communication systems in Ada : the SimpleC̲om approach / J.M. González-Barahona ... [et al.] — Symbolic reaching definitions analysis of Ada programs / J. Blieberger, B. Burgstaller — Looking at code with your safety goggles on / K. Wong — The Ravenscar tasking profile for high integrity real-time programs / A. Burns, B. Dobbing, G. Romanski — Guidance on the use of Ada95 in high integrity systems / S. Mitchell, M. Saaltink — Ada in the JAS 39 Gripen flight control system / B. Frisberg.

Product Details

ISBN:
3330000239462
Subtitle:
1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998: Proceedings
Publisher:
Springer
Author:
Asplund, Lars
Subject:
Computer software -- Reliability -- Congresses.
Subject:
Ada
Subject:
Computer software
Subject:
Ada (computer program language)
Subject:
Programming Languages - General
Subject:
Programming - General
Subject:
Programming - Software Development
Subject:
Programming - Systems Analysis & Design
Subject:
Software Development & Engineering - General
Subject:
Software Development & Engineering - Systems
Subject:
Expert Systems
Subject:
Software Engineering - Programming and Languages
Subject:
Ada 95 Programming
Subject:
high-integrity systems
Subject:
Real Time systems
Subject:
safety-critical systems
Subject:
software architectures
Subject:
Software Engineering/Programming and Operating Systems
Subject:
Special Purpose and Application-Based Systems
Subject:
main_subject
Subject:
all_subjects
Publication Date:
1998
Binding:
ELECTRONIC
Language:
English
Pages:
296

Related Subjects

Computers and Internet » Computer Languages » Ada
Computers and Internet » Operating Systems » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Quality Assurance and Testing
Computers and Internet » Software Engineering » Systems Analysis and Design

Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings
0 stars - 0 reviews
$ In Stock
Product details 296 pages Springer - English 3330000239462 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.