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.

図書

図書
Thomas Baar ... [et al.], (eds.)
出版情報: Berlin : Springer, c2004  xiii, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3273
所蔵情報: loading…
4.

図書

図書
Albert Llamosí, Alfred Strohmeier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 331 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3063
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Benefits and Problems of Formal Methods / Martin Gogolla
On the Role of Conceptual Schemas in Information Systems Development / Antoni Olivé
An Overview of Middleware / Steve Vinoski
Static Analysis
Static Deadlock Detection in the Linux Kernel / Peter T. Breuer ; Marisol García Valls
Extracting Ada 95 Objects from Legacy Ada Programs / Ricky E. Sward
On the Tree Width of Ada Programs / Bernd Burgstaller ; Johann Blieberger ; Bernhard Scholz
Distributed Systems
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems / Juan López Campos ; J. Javier Gutierrez ; Michael González Harbour
Polyorb: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications / Thomas Vergnaud ; Jérôme Hugues ; Laurent Pautet ; Fabrice Kordon
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements / Stepan P. Nadrchal
Real-Time Systems
Implementing Execution-Time Clocks for the Ada Ravenscar Profile / Juan Zamorano ; Alejandro Alonso ; José Antonio Pulido ; Juan Antonio de la Puente
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux / Miguel Masmano ; Jorge Real ; Ismael Ripoll ; Alfons Crespo
Supporting Deadlines and EDF Scheduling in Ada / Alan Burns ; Andy J. Wellings ; S. Tucker Taft
Reflection and XML
OpenAda: Compile-Time Reflection for Ada 95 / Patrick Rogers
XML4Ada95 Accessing XML Using the DOM in Ada95 / Zdenko Vrandečić ; Daniel Simon
Testing
A Randomised Test Approach to Testing Safety Critical Ada Code / Sukant K. Giri ; Atit Mishra ; Yogananda V. Jeppu ; Kundapur Karunakar
Good Random Testing / Kwok Ping Chan ; Tsong Yueh Chen ; Dave Towey
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada / Bárbara Álvarez ; Juan A. Pastor ; Francisco Ortiz ; Pedro Sánchez ; Pedro Navarro
Critical Systems Modeling
High Integrity Ada in a UML and C World / Peter Amey ; Neil White
Ada Meets Giotto / Helge Hagenauer ; Norbert Martinek ; Werner Pohlmann
High-Integrity Interfacing to Programmable Logic with Ada / Adrian J. Hilton ; Jon G. Hall
Scheduling
Dynamic Ceiling Priorities: A Proposal for Ada0Y / Javier Miranda ; Edmond Schonberg
Mixing Scheduling Policies in Ada / Agustín Espinosa Minguet ; Ana García-Fornes ; Vicente Lorente Garcés ; Andrés Terrasa Barrena
Implementing an Application-Defined Scheduling Framework for Ada Tasking / Mario Aldea
Application Programming Interfaces
A Theory of Persistent Containers and Its Application to Ada / Mário Amado Alves
Shortcuts: A Critical Look / Matthew Heaney
Vector Processing in Ada / Franco Gasperoni
Author Index
Invited Papers
Benefits and Problems of Formal Methods / Martin Gogolla
On the Role of Conceptual Schemas in Information Systems Development / Antoni Olivé
5.

図書

図書
Jean-Pierre Rosen, Alfred Strohmeier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2655
所蔵情報: loading…
6.

図書

図書
Alfred Strohmeier (ed.)
出版情報: Berlin : Springer, c1996  xi, 511 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1088
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼