close
1.

図書

図書
Johann Blieberger, Alfred Strohmeier (eds.)
出版情報: Berlin : Springer, c2002  xiii, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2361
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
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 ; Rachid Guerraoui
Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha
Embedded Systems
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors / Alexander Chatzigeorgiou ; George Stephanides
OMC-INTEGRAL Memory Management / Jose Manuel Pérez Lobato ; Eva Martín Lobo
Language Issues of Compiling Ada to Hardware / Michael Ward ; Neil C. Audsley
Case Studies
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. Martínez ; Barbara Álvarez ; Andres Iborra ; José M. Fernández
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable
Execution of Dynamically Uploaded Applications / Walter Binder ; Balazs Lichtl
Real-Time Systems
A POSIX-Ada Interface for Application-Defined Scheduling / Mario Aldea Rivas ; Michael González Harbour
High-Integrity Systems
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 ; Franco Gasperoni
Ada Language
How to Use GNAT to Efficiently Preprocess New Ada Sentences / Javier Miranda ; Francisco Guerra ; Ernestina Martel ; Jose Martín ; Alexis González
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada / Robert Dewar ; Olivier Hainque ; Dirk Craeynest ; Philippe Waroquiers
Adding Design by Contract to the Ada Language / Ehud Lamm
Program Analysis
Static Dependency Analysis for Concurrent Ada 95 Programs / Zhenqiang Chen ; Baowen Xu ; Jianjun Zhao ; Hongji Yang
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 / Krzysztof Czarnecki ; Michael Himsolt ; Ernst Richter ; Falk Vieweg ; Alfred Rosskopf
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study / Yuen T. Yu ; Man F. Lau
Tools
About the Difficulties of Building a Pretty-Printer for Ada / Sergey Rybin ; Alfred Strohmeier
A Tailorable Distributed Programming Environment
Distributed Systems
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components / Julio L. Medina ; J. Javier Gutiérrez ; José M. Drake
Transparent Environment for Replicated Ravenscar Applications / Luís Miguel Pinho ; Francisco Vasques
Concurrency Control in Transactional Drago / Marta Patiño-Martínez ; Ricardo Jimenez-Peris ; Jörg Kienzle ; Sergio Arévalo
Libraries, APIs, and Bindings
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard / Agustin Espinosa Minguet ; Ana Gargia Fornes ; Alfons Crespo i Lorente
GNAT Ada Database Development Environment / Michael Erdmann
Object-Orientation
Ada, Interfaces and the Listener Paradigm / Jean-Pierre Rosen
Using Object Orientation in High Integrity Applications: A Case Study / Alejandro Alonso ; Roberto López ; Tullio Vardanega ; Juan Antonio de la Puente
Author Index
Invited Papers
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson
On Architectural Stability and Evolution / Mehdi Jazayeri
2.

図書

図書
Dirk Craeynest, Alfred Strohmeier (eds.)
出版情報: Berlin : Springer, c2001  xv, 404 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2043
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde
Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard
Testing from Formal Specifications, a Generic Approach / Marie-Claude Gaudel
Logic versus Magic in Critical Systems / Peter Amey
Can JavaTM Meet Its Real-Time Deadlines? / Benjamin Brosgol ; Brian Dobbing
Program Analysis
Parameter-Induced Aliasing in Ada / Wolfgang Gellerich ; Erhard Plodereder
Slicing Tagged Objects in Ada / Zhengqiang Chen ; Baowen Xu ; Hongji Yang
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code / Alexei Kuchumov ; Sergey Rybin ; Alfred Strohmeier
Distributed Systems
Building Modern Distributed Systems / Laurent Pautet ; Thomas Quinot ; Samuel Tardieu
Reliable Communication in Distributed Computer-Controlled Systems / Luís Miguel Pinho ; Francisco Vasques
Building Robust Applications by Reusing Non-robust Legacy Software / Francisco Guerra Santana ; Javier Miranda Gonzalez ; iguez Calero
Real-Time Systems
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements / Joyce L. Tokar
Complex Task Implementation in Ada / Alfons Crespo ; Patricia Balbastre ; Silvia Terrasa
Implementing a Flexible Scheduler in Ada / Guillem Bernat ; Alan Burns
Language and Patterns
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
Dependable Systems
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software / Darren Foulger ; Steve King
Scenario-Based System Assessment / Silke Kuball
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation / Tsong Y. Chen ; Man F. Lau
APIs and Components
JEWL: A GUI Library for Educational Use / John English
Object-Oriented Stable Storage Based on Mirroring / Xavier Caron ; Jorg Kienzle
Transaction Support for Ada / Ricardo Jimenez-Peris ; Alexander Romanovsky ; inez
Real-Time Kernels
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications / Mario Aldea Rivas ; Michael Gonzalez Harbour
Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels / Juan Zamorano ; Jose F. Ruiz ; Juan Antonio de la Puente
Defining New Non-preemptive Dispatching and Locking Policies for Ada
Standard Formats: UML & XML
Modelling Communication Interfaces with ComiX / Frank Oppenheimer ; Dongming Zhang ; Wolfgang Nebel
Safe Web Forms and XML Processing with Ada / Mario Amado Alves
Mapping UML to Ada / Bill Taylor ; Einar W. Karlsen
System Evolution
Ship System 2000, a Stable Architecture under Continuous Evolution
Migrating Large Applications from Ada83 to Ada95 / Philippe Waroquiers ; Stef Van Vlierberghe ; Dirk Craeynest ; Andrew Hately ; Erik Duvinage
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK / Tullio Vardanega ; Rodrigo García
Author Index
Invited Papers
Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde
Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard
3.

図書

図書
Lars Asplund, (ed.)
出版情報: Berlin : Springer, c1998  xi, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1411
所蔵情報: loading…
4.

図書

図書
Michael González Harbour, Juan A. de la Puente (eds.)
出版情報: Berlin ; New York : Springer, c1999  xiii, 449 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1622
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
An Architectural Perspective of Real-Time Ada Applications / C. Douglass Locke
Ravenscar Profile and High Integrity Systems
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects / Kristina Lundqvist ; Lars Asplund ; Stephen Michell
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch / Mike Kamrad ; Barry Spinney
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT / Roderick Chapman ; Robert Dewar
An Ada95 Solution for Certification of Embedded Safety Critical Applications / Jacob Frost
Software Architectures and Design
Architectural Frameworks: Defining the Contents of Architectural Descriptions / David E. Emery
Mapping Object-Oriented Designs to Ada / Alfred Strohmeier
Efficient and Extensible Multithreaded Remote Servers / Ricardo Jiménez-Peris ; M. Patiño-Martínez ; F. J. Ballesteros ; S. Arévalo
Testing
Report on the VERA Experiment / Bruno Hémeury
Acceptance Testing of Object Oriented Systems / Jose L. Fernández
Formal Methods
Environment for the Development and Specification of Real-Time Ada Programs / Apolinar González ; Alfons Crespo
Interprocedural Symbolic Evaluation of Ada Programs with Aliases / J. Blieberger ; B. Burgstaller ; B. Scholz
Automatic Verification of Concurrent Ada Programs / Eric Bruneton ; Jean-Francois Pradat-Peyre
Translating Time Petri Net Structures into Ada 95 Statements / F.J. García ; J.L. Villarroel
Education
Railway Scale Model Simulator / Pierre Breguet ; Luigi Zaffalon
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine / Alexandr Korochkin
Distributed Systems yaRTI, an Ada 95 HLA Run-Time Infrastructure / Dominique Canazzi
An Ada95 Implementation of a Network Coordination Language with Code Mobility / Emilio Tuosto
CORBA & DSA: Divorce or Marriage? / Laurent Pautet ; Thomas Quinot ; Samuel Tardieu
How to Modify the GNAT Frontend to Experiment with Ada Extensions / J. Miranda ; F. Guerra ; J. Martín ; A. González
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System / Helge Hagenauer
An Application (Layer 7) Routing Switch with Ada95 Software
Ada Binding to a Shared Object Layer / Johann Blieberger ; Johann Klasek ; Eva Kühn
Real-Time Scheduling and Kernels The Ceiling Protocol in Multi-moded Real-Time Systems / Jorge Real ; Andy Wellings
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel / Hongfeng Shen ; Arnaud Charlet ; T.P. Baker
Implementing a New Low-Level Tasking Support for the GNAT Runtime System / José F. Ruiz ; Jesús M. González-Barahona
Tools
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines / Fabrice Kordon
An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications using Persistence / Thierry Millan ; Myriam Lamolle ; Frédéric Mulatero
Browsing a Component Library Using Non-functional Information / Xavier Franch ; Josep Pinyol ; Joan Vancells
The Role of Ada in Hardware/Software Codesign HW/SW Co-design of Embedded Systems / William Fornaciari ; Donatella Sciuto
Hardware/Software Embedded System Specification and Design Using Ada and VHDL / Adrian López ; Maite Veiga ; Eugenio Villar
System on Chip Specification and Design Languages Standardization / Jean Mermet
Fault Tolerance
An Incremental Recovery Cache Supporting Software Fault Tolerance / P. Rogers ; A.J. Wellings
Shared Recoverable Objects / Jörg Kienzle
Fault Tolerance by Transparent Replication for Distributed Ada 95 / Thomas Wolf
Case Studies
A Case Study in the Reuse of On-board Embedded Real-Time Software / Tullio Vardanega ; Gert Caspersen ; Jan Storbank Pedersen
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches / Alfred Rosskopf
Author Index
Invited Paper
An Architectural Perspective of Real-Time Ada Applications / C. Douglass Locke
Ravenscar Profile and High Integrity Systems
5.

図書

図書
Hubert B. Keller, Erhard Plödereder (eds.)
出版情報: Berlin : Springer, c2000  xiii, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1845
所蔵情報: loading…
6.

図書

図書
Keith Hardy, Jim Briggs, (eds.)
出版情報: Berlin ; New York : Springer, c1997  viii, 291 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1251
所蔵情報: loading…
7.

図書

図書
Marcel Toussaint (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996  xi, 455 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1031
所蔵情報: loading…
8.

図書

図書
Alfred Strohmeier (ed.)
出版情報: Berlin : Springer, c1996  xi, 511 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1088
所蔵情報: loading…
9.

図書

図書
editor, J. Teller
出版情報: Cambridge ; New York, N.Y. : Cambridge University Press, 1984  xi, 313p. , 24cm.
シリーズ名: The Ada companion series
所蔵情報: loading…
10.

図書

図書
Marcel Toussaint (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xii, 521 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 887
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼