Conferences in DBLP
Axel van Lamsweerde Building Formal Requirements Models for Reliable Software. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Héraud , Thierry Lelégard Using Ada in Interactive Digital Television Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Claude Gaudel Testing from Formal Specifications, a Generic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Amey Logic versus Magic in Critical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin M. Brosgol , Brian Dobbing Can Java Meet Its Real-Time Deadlines? [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Gellerich , Erhard Plödereder Parameter-Induced Aliasing in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Zhengqiang Chen , Baowen Xu , Hongji Yang Slicing Tagged Objects in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei Kuchumov , Sergey Rybin , Alfred Strohmeier OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Pautet , Thomas Quinot , Samuel Tardieu Building Modern Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Miguel Pinho , Francisco Vasques Reliable Communication in Distributed Computer-Controlled Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Guerra Santana , Francisco Javier Miranda González , José Miguel Santos Espino , José Carlos Rodríguez Calero Building Robust Applications by Reusing Non-robust Legacy Software. [Citation Graph (0, 0)][DBLP ] Conf ] Joyce L. Tokar New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements. [Citation Graph (0, 0)][DBLP ] Conf ] Alfons Crespo , Patricia Balbastre , Silvia Terrasa Complex Task Implementation in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Guillem Bernat , Alan Burns Implementing a Flexible Scheduler in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Duret-Lutz Expression Templates in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Bo Sanden A Design Pattern for State Machines and Concurrent Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Lamm Component Libraries and Language Features. [Citation Graph (0, 0)][DBLP ] Conf ] Darren Foulger , Steve King Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Silke Kuball Scenario-Based System Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Tsong Yueh Chen , Man Fai Lau Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] John English JEWL: A GUI Library for Educational Use. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Caron , Jörg Kienzle , Alfred Strohmeier Object-Oriented Stable Storage Based on Mirroring. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Kienzle , Ricardo Jiménez-Peris , Alexander B. Romanovsky , Marta Patiño-Martínez Transaction Support for Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Aldea Rivas Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Zamorano , José F. Ruiz , Juan Antonio de la Puente Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Burns Defining New Non-preemptive Dispatching and Locking Policies for Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Oppenheimer , Dongming Zhang , Wolfgang Nebel Modelling Communication Interfaces with COMIX. [Citation Graph (0, 0)][DBLP ] Conf ] Mário Amado Alves Safe Web Forms and XML Processing with Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Taylor , Einar W. Karlsen Mapping UML to Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Källberg , Rei Stråhle Ship System 2000, a Stable Architecture under Continuous Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Waroquiers , Stef van Vlierberghe , Dirk Craeynest , Andrew Hately , Erik Duvinage Migrating Large Applications from Ada83 to Ada95. [Citation Graph (0, 0)][DBLP ] Conf ] Tullio Vardanega , Rodrigo García , Juan Antonio de la Puente An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. [Citation Graph (0, 0)][DBLP ] Conf ] 