Harvard |

Harvard

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

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

catalog contributor b12221943.
catalog contributor b12221944.
catalog contributor b12221945.
catalog created "2001.".
catalog date "2001".
catalog date "2001.".
catalog dateCopyrighted "2001.".
catalog description "An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK / Tullio Vardanega, Rodrigo Garcia and Juan Antonio de la Puente.".
catalog description "Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde -- Using Ada in Interactive Digital Television Systems / Pascal Heraud and Thierry Lelegard -- Testing from Formal Specifications, a Generic Approach / Marie-Claude Gaudel -- Logic versus Magic in Critical Systems / Peter Amey -- Can Java Meet Its Real-Time Deadlines? / Benjamin Brosgol and Brian Dobbing -- Parameter-Induced Aliasing in Ada / Wolfgang Gellerich and Erhard Plodereder -- Slicing Tagged Objects in Ada / Zhengqiang Chen, Baowen Xu and Hongji Yang -- OASIS -- An ASIS Secondary Library for Analyzing Object-Oriented Ada Code / Alexei Kuchumov, Sergey Rybin and Alfred Strohmeier -- Building Modern Distributed Systems / Laurent Pautet, Thomas Quinot and Samuel Tardieu -- Reliable Communication in Distributed Computer-Controlled Systems / Luis Miguel Pinho and Francisco Vasques -- ".
catalog description "Building Robust Applications by Reusing Non-robust Legacy Software / Francisco Guerra Santana, Javier Miranda Gonzalez and Jose Miguel Santos Espino / [et al.] -- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements / Joyce L. Tokar -- Complex Task Implementation in Ada / Alfons Crespo, Patricia Balbastre and Silvia Terrasa -- Implementing a Flexible Scheduler in Ada / Guillem Bernat and Alan Burns -- Expression Templates in Ada / Alexandre Duret-Lutz -- A Design Pattern for State Machines and Concurrent Activities / Bo I. Sanden -- Component Libraries and Language Features / Ehud Lamm -- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software / Darren Foulger and Steve King -- Scenario-Based System Assessment / Silke Kuball -- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation / Tsong Y. Chen and Man F. Lau -- JEWL: A GUI Library for Educational Use / John English -- ".
catalog description "Includes bibliographical references and index.".
catalog description "Object-Oriented Stable Storage Based on Mirroring / Xavier Caron, Jorg Kienzle and Alfred Strohmeier -- Transaction Support for Ada / Jorg Kienzle, Ricardo Jimenez-Peris and Alexander Romanovsky / [et al.] -- MaRTE OS: An Ada Kernel for Real-Time Embedded Applications / Mario Aldea Rivas and Michael Gonzalez Harbour -- Implementing Ada.Real£̀ʼime.Clock and Absolute Delays in Real-Time Kernels / Juan Zamorano, Jose F. Ruiz and Juan Antonio de la Puente -- Defining New Non-preemptive Dispatching and Locking Policies for Ada / Alan Burns -- Modelling Communication Interfaces with ComiX / Frank Oppenheimer, Dongming Zhang and Wolfgang Nebel -- Safe Web Forms and XML Processing with Ada / Mario Amado Alves -- Mapping UML to Ada / Bill Taylor and Einar W. Karlsen -- Ship System 2000, a Stable Architecture under Continuous Evolution / Bjorn Kallberg and Rei Strahle -- Migrating Large Applications from Ada83 to Ada95 / Philippe Waroquiers, Stef Van Vlierberghe and Dirk Craeynest / [et al.] -- ".
catalog extent "xv, 404 p. :".
catalog identifier "3540421238 (pbk. : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2043".
catalog issued "2001".
catalog issued "2001.".
catalog language "eng".
catalog publisher "Berlin; New York : Springer,".
catalog subject "005.13/3 21".
catalog subject "Ada (Computer program language) Congresses.".
catalog subject "QA76.73.A16 A23 2001".
catalog tableOfContents "An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK / Tullio Vardanega, Rodrigo Garcia and Juan Antonio de la Puente.".
catalog tableOfContents "Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde -- Using Ada in Interactive Digital Television Systems / Pascal Heraud and Thierry Lelegard -- Testing from Formal Specifications, a Generic Approach / Marie-Claude Gaudel -- Logic versus Magic in Critical Systems / Peter Amey -- Can Java Meet Its Real-Time Deadlines? / Benjamin Brosgol and Brian Dobbing -- Parameter-Induced Aliasing in Ada / Wolfgang Gellerich and Erhard Plodereder -- Slicing Tagged Objects in Ada / Zhengqiang Chen, Baowen Xu and Hongji Yang -- OASIS -- An ASIS Secondary Library for Analyzing Object-Oriented Ada Code / Alexei Kuchumov, Sergey Rybin and Alfred Strohmeier -- Building Modern Distributed Systems / Laurent Pautet, Thomas Quinot and Samuel Tardieu -- Reliable Communication in Distributed Computer-Controlled Systems / Luis Miguel Pinho and Francisco Vasques -- ".
catalog tableOfContents "Building Robust Applications by Reusing Non-robust Legacy Software / Francisco Guerra Santana, Javier Miranda Gonzalez and Jose Miguel Santos Espino / [et al.] -- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements / Joyce L. Tokar -- Complex Task Implementation in Ada / Alfons Crespo, Patricia Balbastre and Silvia Terrasa -- Implementing a Flexible Scheduler in Ada / Guillem Bernat and Alan Burns -- Expression Templates in Ada / Alexandre Duret-Lutz -- A Design Pattern for State Machines and Concurrent Activities / Bo I. Sanden -- Component Libraries and Language Features / Ehud Lamm -- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software / Darren Foulger and Steve King -- Scenario-Based System Assessment / Silke Kuball -- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation / Tsong Y. Chen and Man F. Lau -- JEWL: A GUI Library for Educational Use / John English -- ".
catalog tableOfContents "Object-Oriented Stable Storage Based on Mirroring / Xavier Caron, Jorg Kienzle and Alfred Strohmeier -- Transaction Support for Ada / Jorg Kienzle, Ricardo Jimenez-Peris and Alexander Romanovsky / [et al.] -- MaRTE OS: An Ada Kernel for Real-Time Embedded Applications / Mario Aldea Rivas and Michael Gonzalez Harbour -- Implementing Ada.Real£̀ʼime.Clock and Absolute Delays in Real-Time Kernels / Juan Zamorano, Jose F. Ruiz and Juan Antonio de la Puente -- Defining New Non-preemptive Dispatching and Locking Policies for Ada / Alan Burns -- Modelling Communication Interfaces with ComiX / Frank Oppenheimer, Dongming Zhang and Wolfgang Nebel -- Safe Web Forms and XML Processing with Ada / Mario Amado Alves -- Mapping UML to Ada / Bill Taylor and Einar W. Karlsen -- Ship System 2000, a Stable Architecture under Continuous Evolution / Bjorn Kallberg and Rei Strahle -- Migrating Large Applications from Ada83 to Ada95 / Philippe Waroquiers, Stef Van Vlierberghe and Dirk Craeynest / [et al.] -- ".
catalog title "Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings / Dirk Craeynest, Alfred Strohmeier (eds.).".
catalog type "Conference proceedings. fast".
catalog type "Löwen (2001) swd".
catalog type "text".