Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2001: Leuven, Belgium
- Dirk Craeynest, Alfred Strohmeier:
Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings. Lecture Notes in Computer Science 2043, Springer 2001, ISBN 3-540-42123-8
Invited Paper
- Axel van Lamsweerde:
Building Formal Requirements Models for Reliable Software. 1-20 - Pascal Héraud, Thierry Lelégard:
Using Ada in Interactive Digital Television Systems. 21-34 - Marie-Claude Gaudel:
Testing from Formal Specifications, a Generic Approach. 35-48 - Peter Amey:
Logic versus Magic in Critical Systems. 49-67 - Benjamin M. Brosgol, Brian Dobbing:
Can Java Meet Its Real-Time Deadlines? 68-87
Program Analysis
- Wolfgang Gellerich, Erhard Plödereder:
Parameter-Induced Aliasing in Ada. 88-99 - Zhengqiang Chen, Baowen Xu, Hongji Yang:
Slicing Tagged Objects in Ada. 100-112 - Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier:
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. 113-122
Distributed Systems
- Laurent Pautet, Thomas Quinot, Samuel Tardieu:
Building Modern Distributed Systems. 123-135 - Luís Miguel Pinho, Francisco Vasques
:
Reliable Communication in Distributed Computer-Controlled Systems. 136-147 - Francisco Guerra Santana, Javier Miranda, José Miguel Santos Espino, José Carlos Rodríguez Calero:
Building Robust Applications by Reusing Non-robust Legacy Software. 148-159
Real-Time Systems
- Joyce L. Tokar:
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements. 160-166 - Alfons Crespo, Patricia Balbastre, Silvia Terrasa:
Complex Task Implementation in Ada. 167-178 - Guillem Bernat, Alan Burns:
Implementing a Flexible Scheduler in Ada. 179-190
Language and Patterns
- Alexandre Duret-Lutz:
Expression Templates in Ada. 191-202 - Bo Ingvar Sandén:
A Design Pattern for State Machines and Concurrent Activities. 203-214 - Ehud Lamm:
Component Libraries and Language Features. 215-228
Dependable Systems
- Darren Foulger, Steve King:
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. 229-240 - Silke Kuball:
Scenario-Based System Assessment. 241-252 - Tsong Yueh Chen, Man Fai Lau:
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation. 253-265
APIs and Components
- John English:
JEWL: A GUI Library for Educational Use. 266-277 - Xavier Caron, Jörg Kienzle, Alfred Strohmeier:
Object-Oriented Stable Storage Based on Mirroring. 278-289 - Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez:
Transaction Support for Ada. 290-304
Real-Time Kernels
- Mario Aldea Rivas:
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. 305-316 - Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente:
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. 317-327 - Alan Burns:
Defining New Non-preemptive Dispatching and Locking Policies for Ada. 328-336
Standard Formats: UML & XML
- Frank Oppenheimer, Dongming Zhang, Wolfgang Nebel:
Modelling Communication Interfaces with COMIX. 337-348 - Mário Amado Alves:
Safe Web Forms and XML Processing with Ada. 349-358 - Bill Taylor, Einar W. Karlsen:
Mapping UML to Ada. 359-370
System Evolution
- Björn Källberg, Rei Stråhle:
Ship System 2000, a Stable Architecture under Continuous Evolution. 371-379 - Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage:
Migrating Large Applications from Ada83 to Ada95. 380-391 - Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente:
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. 392-404
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
