Harvard |

Harvard

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

Showing items 1 to 29 of 29 with 100 items per page.

catalog contributor b12619752.
catalog contributor b12619753.
catalog contributor b12619754.
catalog created "2002.".
catalog date "2002".
catalog date "2002.".
catalog dateCopyrighted "2002.".
catalog description "An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard / Agustin Espinosa Minguet, Ana Garcia Fornes and Alfons Crespo i Lorente -- GNAT Ada Database Development Environment / Michael Erdmann -- Ada, Interfaces and the Listener Paradigm / Jean-Pierre Rosen -- Using Object Orientation in High Integrity Applications: A Case Study / Alejandro Alonso, Roberto Lopez, Tullio Vardanega and Juan Antonio de la Puente.".
catalog description "DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 / Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg and Alfred Rosskopf -- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study / Yuen T. Yu and Man F. Lau -- About the Difficulties of Building a Pretty-Printer for Ada / Sergey Rybin and Alfred Strohmeier -- A Tailorable Distributed Programming Environment / Ernestina Martel, Francisco Guerra and Javier Miranda -- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components / Julio L. Medina, J. Javier Gutierrez, Jose M. Drake and Michael Gonzalez Harbour -- Transparent Environment for Replicated Revenscar Applications / Luis Miguel Pinho and Francisco Vasques -- Concurrency Control in Transactional Drago / Marta Patino-Martinez, Ricardo Jimenez-Peris, Jorg Kienzle and Sergio Arevalo -- ".
catalog description "Embedded Systems Unsuitable for Object Orientation / Maarten Boasson -- On Architectural Stability and Evolution / Mehdi Jazayeri -- Encapsulating Failure Detection: From Crash to Byzantine Failures / Assia Doudou, Benoit Garbinato and Rachid Guerraoui -- Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha -- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors / Alexander Chatzigeorgiou and George Stephanides -- OMC-INTEGRAL Memory Management / Jose Manuel Perez Lobato and Eva Martin Lobo -- Language Issues of Compiling Ada to Hardware / Michael Ward and Neil C. Audsley -- Software Development Reengineering -- An Experience Report / Adrian Hoe -- Development of a Control System for Teleoperated Robots Using UML and Ada95 / Francisco J. Ortiz, Alejandro S. Martinez, Barbara Alvarez, Andres Iborra and Jose M. Fernandez -- ".
catalog description "Includes bibliographical references and index.".
catalog description "Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications / Walter Binder and Balazs Lichtl -- A POSIX-Ada Interface for Application-Defined Scheduling / Mario Aldea Rivas and Michael Gonzalez Harbour -- Closing the Loop: The Influence of Code Analysis on Design / Peter Amey -- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT / Paul Parkinson and Franco Gasperoni -- How to Use GNAT to Efficiently Proprocess New Ada Sentences / Javier Miranda, Francisco Guerra, Ernestina Martel, Jose Martin and Alexis Gonzalez -- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada / Robert Dewar, Olivier Hainque, Dirk Craeynest and Philippe Waroquiers -- Adding Design by Contract to the Ada Language / Ehud Lamm -- Static Dependency Analysis for Concurrent Ada 95 Programs / Zhenqiang Chen, Baowen Xu, Jianjun Zhao and Hongji Yang -- ".
catalog extent "xiii, 366 p. :".
catalog identifier "3540437843 (softcover : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2361".
catalog issued "2002".
catalog issued "2002.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005 21".
catalog subject "Computer software Reliability Congresses.".
catalog subject "QA76.76.R44 A33 2002".
catalog tableOfContents "An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard / Agustin Espinosa Minguet, Ana Garcia Fornes and Alfons Crespo i Lorente -- GNAT Ada Database Development Environment / Michael Erdmann -- Ada, Interfaces and the Listener Paradigm / Jean-Pierre Rosen -- Using Object Orientation in High Integrity Applications: A Case Study / Alejandro Alonso, Roberto Lopez, Tullio Vardanega and Juan Antonio de la Puente.".
catalog tableOfContents "DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 / Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg and Alfred Rosskopf -- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study / Yuen T. Yu and Man F. Lau -- About the Difficulties of Building a Pretty-Printer for Ada / Sergey Rybin and Alfred Strohmeier -- A Tailorable Distributed Programming Environment / Ernestina Martel, Francisco Guerra and Javier Miranda -- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components / Julio L. Medina, J. Javier Gutierrez, Jose M. Drake and Michael Gonzalez Harbour -- Transparent Environment for Replicated Revenscar Applications / Luis Miguel Pinho and Francisco Vasques -- Concurrency Control in Transactional Drago / Marta Patino-Martinez, Ricardo Jimenez-Peris, Jorg Kienzle and Sergio Arevalo -- ".
catalog tableOfContents "Embedded Systems Unsuitable for Object Orientation / Maarten Boasson -- On Architectural Stability and Evolution / Mehdi Jazayeri -- Encapsulating Failure Detection: From Crash to Byzantine Failures / Assia Doudou, Benoit Garbinato and Rachid Guerraoui -- Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha -- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors / Alexander Chatzigeorgiou and George Stephanides -- OMC-INTEGRAL Memory Management / Jose Manuel Perez Lobato and Eva Martin Lobo -- Language Issues of Compiling Ada to Hardware / Michael Ward and Neil C. Audsley -- Software Development Reengineering -- An Experience Report / Adrian Hoe -- Development of a Control System for Teleoperated Robots Using UML and Ada95 / Francisco J. Ortiz, Alejandro S. Martinez, Barbara Alvarez, Andres Iborra and Jose M. Fernandez -- ".
catalog tableOfContents "Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications / Walter Binder and Balazs Lichtl -- A POSIX-Ada Interface for Application-Defined Scheduling / Mario Aldea Rivas and Michael Gonzalez Harbour -- Closing the Loop: The Influence of Code Analysis on Design / Peter Amey -- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT / Paul Parkinson and Franco Gasperoni -- How to Use GNAT to Efficiently Proprocess New Ada Sentences / Javier Miranda, Francisco Guerra, Ernestina Martel, Jose Martin and Alexis Gonzalez -- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada / Robert Dewar, Olivier Hainque, Dirk Craeynest and Philippe Waroquiers -- Adding Design by Contract to the Ada Language / Ehud Lamm -- Static Dependency Analysis for Concurrent Ada 95 Programs / Zhenqiang Chen, Baowen Xu, Jianjun Zhao and Hongji Yang -- ".
catalog title "Reliable software technologies-ADA-Europe 2002 : 7th Ada-Europe International Conference on reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / Johann Blieberger, Alfred Streohmeier (eds.).".
catalog type "Conference proceedings. fast".
catalog type "text".