Conferences in DBLP
Pascal Leroy An Invitation to Ada 2005. [Citation Graph (0, 0)][DBLP ] Conf ] Mira Mezini , Klaus Ostermann Modules for Crosscutting Models. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Kienzle Software Fault Tolerance: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Amey , Brian Dobbing High Integrity Ravenscar. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Burns , Tse-Min Lin Adding Temporal Annotations and Associated Verification to Ravenscar Profile. [Citation Graph (0, 0)][DBLP ] Conf ] Niklas Holsti , Thomas Långbacka Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Lamm Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin M. Brosgol , Andy J. Wellings A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Briot , Franco Gasperoni , Robert Dewar , Dirk Craeynest , Philippe Waroquiers Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Blieberger , Bernd Burgstaller , Bernhard Scholz Busy Wait Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Blieberger , Bernd Burgstaller Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Sami Evangelista , Claude Kaiser , Jean-François Pradat-Peyre , Pierre Rousseau Quasar: A New Tool for Concurrent Ada Programs Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ernestina Martel , Francisco Guerra Santana , Javier Miranda , Luis Hernández A Graphical Environment for GLADE. [Citation Graph (0, 0)][DBLP ] Conf ] Mário Amado Alves , Alípio Jorge , Matthew Heaney The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Patiño-Martínez , Ricardo Jiménez-Peris , Alexander B. Romanovsky Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Agustín Espinosa Minguet , Vicente Lorente Garcés , Ana García-Fornes , Alfons Crespo i Lorente Getting System Metrics Using POSIX Tracing Services. [Citation Graph (0, 0)][DBLP ] Conf ] William M. Evanco , June M. Verner Some Architectural Features of Ada Systems Affecting Defects. [Citation Graph (0, 0)][DBLP ] Conf ] Silke Kuball , Gordon Hughes Evidential Volume Approach for Certification. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Grein , Dmitry A. Kazakov , Fraser Wilson A Survey of Physical Unit Handling Techniques in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Heaney Charles: A Data Structure Library for Ada95. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Franch , Jordi Marco A Quality Model for the Ada Standard Container Library. [Citation Graph (0, 0)][DBLP ] Conf ] Tommi Mikkonen Experiences on Developing and Using a Tool Support for Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Tse-Min Lin , John A. McDermid A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Masmano , Jorge Real , Ismael Ripoll , Alfons Crespo Running Ada on Real-Time Linux. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Burns , Michael González Harbour , Andy J. Wellings A Round Robin Scheduling Policy for Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Javier Miranda González , Michael González Harbour A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. [Citation Graph (0, 0)][DBLP ] Conf ] Alejandro Alonso , Juan Antonio de la Puente , Juan Zamorano A Test Environment for High Integrity Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Kwok Ping Chan , Tsong Yueh Chen , Dave Towey Normalized Restricted Random Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Yogananda V. Jeppu , Kundapur Karunakar , P. S. Subramanyam Testing Safety Critical Ada Code Using Non Real Time Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Francis Thom The Standard UML-Ada Profile. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Mazzini , Massimo D'Alessandro , Marco Di Natale , Andrea Domenici , Giuseppe Lipari , Tullio Vardanega HRT-UML: Taking HRT-HOOD onto UML. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Ortiz , Bárbara Álvarez , Juan A. Pastor , Pedro Sánchez A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. [Citation Graph (0, 0)][DBLP ] Conf ] 