Tools

LEADER 03815cam a2200397 a 4500

001 ocm39085397;

003 OCoLC;

005 20141212131136.0;

008 980504s1998 gw a b 101 0 eng ;

010 a| 98020469;

015 a| GB98-45644;

019 a| 39380491;

020 a| 3540645365 (softcover : alk. paper);

035 a| (Sirsi) o39085397;

035 a| (OCoLC)39085397;

049 a| EREE;

050 00 a| QA76.73.A35b| A25 1998;

082 00 a| 005.13/32| 21;

111 2 a| Ada-Europe International Conference on Reliable Software Technologiesd| (1998 :c| Uppsala, Sweden)?| UNAUTHORIZED;

245 10 a| Reliable software technologies--Ada-Europe :b| 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings /c| Lars Asplund (ed.).;

300 a| xi, 296 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1411;

504 a| Includes bibliographical references and index.;

505 0 a| 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.;

650 0 a| Ada (Computer program language)v| Congresses.=| ^A1235051;

650 0 a| Computer softwarex| Reliabilityv| Congresses.=| ^A428561;

700 1 a| Asplund, Lars,d| 1949-=| ^A403541;

830 0 a| Lecture notes in computer sciencev| 1411.=| ^A466336;

596 a| 1;

998 a| 646073;

999 a| QA76.73.A35 A25 1998w| LCc| 1i| 30372010112685d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/11/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / Lars Asplund (ed.).

Author/creator	Ada-Europe International Conference on Reliable Software Technologies
Other author	Asplund, Lars, 1949-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	xi, 296 pages : illustrations ; 24 cm.
Subjects	Ada (Computer program language)--Congresses. Computer software--Reliability. --Congresses.

Series	Lecture notes in computer science ; 1411 Lecture notes in computer science 1411. ^A466336
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.
Bibliography note	Includes bibliographical references and index.
LCCN	98020469
ISBN	3540645365 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.73.A35 A25 1998	✔ Available	Place Hold

Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / Lars Asplund (ed.).

Click here for more information about this title

Availability