Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007865536/catalog> ?p ?o. }

• catalog contributor b10890807.
• catalog contributor b10890808.
• catalog created "c1998.".
• catalog date "1998".
• catalog date "c1998.".
• catalog dateCopyrighted "c1998.".
• catalog description "(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 [and others] --Quality-for-ASIS : a portable testing facility for ASIS / A. Strohmeier [and others] -- 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 [and others] -- Building modular communication systems in Ada : the SimpleC̲om approach / J.M. González-Barahona [and others] -- Symbolic reaching definitions analysis of Ada programs / J. Blieberger, B. Burgstaller -- Looking at code with your safety goggles on / K. Wong -- ".
• catalog description "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 [and others] -- Programming hard real-time systems with optional components in Ada / A. Espinosa [and others] -- Object oriented abstractions for real-time distributed systems / S.A. Moody -- ".
• catalog description "Includes bibliographical references and index.".
• catalog description "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.".
• catalog extent "xi, 296 p. :".
• catalog identifier "3540645365 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1411".
• catalog issued "1998".
• catalog issued "c1998.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.13/3 21".
• catalog subject "Ada (Computer program language) Congresses.".
• catalog subject "Computer software Reliability Congresses.".
• catalog subject "QA76.73.A35 A25 1998".
• catalog tableOfContents "(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 [and others] --Quality-for-ASIS : a portable testing facility for ASIS / A. Strohmeier [and others] -- 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 [and others] -- Building modular communication systems in Ada : the SimpleC̲om approach / J.M. González-Barahona [and others] -- Symbolic reaching definitions analysis of Ada programs / J. Blieberger, B. Burgstaller -- Looking at code with your safety goggles on / K. Wong -- ".
• catalog tableOfContents "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 [and others] -- Programming hard real-time systems with optional components in Ada / A. Espinosa [and others] -- Object oriented abstractions for real-time distributed systems / S.A. Moody -- ".
• catalog tableOfContents "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.".
• catalog title "Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / Lars Asplund (ed.).".
• catalog type "Conference proceedings. fast".
• catalog type "Uppsala (1998) swd".
• catalog type "text".