Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mário Amado Alves, Alípio Jorge, Matthew Heaney |
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tommi Mikkonen |
Experiences on Developing and Using a Tool Support for Formal Specification. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, development tools |
1 | Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo |
Running Ada on Real-Time Linux. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ernestina Martel, Francisco Guerra Santana, Javier Miranda |
A Tailorable Distributed Programming Environment. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mario Aldea Rivas, Michael González Harbour |
A POSIX-Ada Interface for Application-Defined Scheduling. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Operating Systems, Kernel, Ada 95, POSIX |
1 | Jose Manuel Pérez Lobato, Eva Martín Lobo |
OMC-INTEGRAL Memory Management. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers |
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ehud Lamm |
Adding Design by Contract to the Ada Language. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Alonso 0001, Roberto López, Tullio Vardanega, Juan Antonio de la Puente |
Using Object Orientation in High Integrity Applications: A Case Study. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Amey |
Closing the Loop: The Influence of Code Analysis on Design. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Rybin, Alfred Strohmeier |
About the Difficulties of Building a Pretty-Printer for Ada. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
Pretty-Printer, Ada, ASIS |
1 | Yuen-Tak Yu, Man Fai Lau |
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Ward, Neil C. Audsley |
Language Issues of Compiling Ada to Hardware. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour |
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández |
Development of a Control System for Teleoperated Robots Using UML and Ada95. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zhengqiang Chen, Baowen Xu, Jianjun Zhao 0001, Hongji Yang |
Static Dependency Analysis for Concurrent Ada 95 Programs. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luís Miguel Pinho, Francisco Vasques |
Transparent Environment for Replicated Ravenscar Applications. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Rosen |
Ada, Interfaces and the Listener Paradigm. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Erdmann |
GNAT Ada Database Development Environment. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Jazayeri |
On Architectural Stability and Evolution. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Assia Doudou, Benoît Garbinato, Rachid Guerraoui |
Encapsulating Failure Detection: From Crash to Byzantine Failures. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alois Ferscha |
Contextware: Bridging Physical and Virtual Worlds. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Hoe |
Software Development Reengineering - An Experience Report. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González |
How to Use GNAT to Efficiently Preprocess New Ada Sentences. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo |
Concurrency Control in Transactional Drago. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, databases, transactions, locking |
1 | Johann Blieberger, Alfred Strohmeier (eds.) |
Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo |
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Walter Binder, Balázs Lichtl |
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Chatzigeorgiou, George Stephanides |
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf |
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical |
1 | Maarten Boasson |
Embedded Systems Unsuitable for Object Orientation. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paul Parkinson, Franco Gasperoni |
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Silke Kuball |
Scenario-Based System Assessment. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caron, Jörg Kienzle, Alfred Strohmeier |
Object-Oriented Stable Storage Based on Mirroring. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Memory Management, Shadowing, Ada 95, Mirroring, Stable Storage |
1 | Pascal Héraud, Thierry Lelégard |
Using Ada in Interactive Digital Television Systems. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Pautet, Thomas Quinot, Samuel Tardieu |
Building Modern Distributed Systems. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin M. Brosgol, Brian Dobbing |
Can Java Meet Its Real-Time Deadlines? |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mário Amado Alves |
Safe Web Forms and XML Processing with Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
web services development, XML, Ada, HTML, CGI |
1 | Luís Miguel Pinho, Francisco Vasques |
Reliable Communication in Distributed Computer-Controlled Systems. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mario Aldea Rivas |
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Embedded Systems, Operating System, Kernel, Ada 95, POSIX |
1 | Alfons Crespo, Patricia Balbastre, Silvia Terrasa |
Complex Task Implementation in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Björn Källberg, Rei Stråhle |
Ship System 2000, a Stable Architecture under Continuous Evolution. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bill Taylor, Einar W. Karlsen |
Mapping UML to Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Craeynest, Alfred Strohmeier (eds.) |
Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Axel van Lamsweerde |
Building Formal Requirements Models for Reliable Software. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier |
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Ada Semantic Interface Specification, GNU Ada Compiler, ASIS-for-GNAT, Ada, Object-Oriented Programming, ASIS, GNAT |
1 | Darren Foulger, Steve King 0001 |
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alan Burns 0001 |
Defining New Non-preemptive Dispatching and Locking Policies for Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez |
Transaction Support for Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Open Multithreaded Transactions, OPTIMA Framework, Fault-Tolerance, Design Patterns, Transactions, Ada 95 |
1 | Zhengqiang Chen, Baowen Xu, Hongji Yang |
Slicing Tagged Objects in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Gellerich, Erhard Plödereder |
Parameter-Induced Aliasing in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel |
Testing from Formal Specifications, a Generic Approach. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John English |
JEWL: A GUI Library for Educational Use. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ehud Lamm |
Component Libraries and Language Features. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank Oppenheimer, Dongming Zhang, Wolfgang Nebel |
Modelling Communication Interfaces with COMIX. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duret-Lutz |
Expression Templates in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Guillem Bernat, Alan Burns 0001 |
Implementing a Flexible Scheduler in Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bo Ingvar Sandén |
A Design Pattern for State Machines and Concurrent Activities. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Entity-Life Modeling, Design Patterns, State Machines, Protected Objects |
1 | Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage |
Migrating Large Applications from Ada83 to Ada95. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente |
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente |
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Amey |
Logic versus Magic in Critical Systems. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Man Fai Lau |
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
software testing, Empirical study, specification based testing, test suite reduction |
1 | Francisco Guerra Santana, Javier Miranda, José Miguel Santos Espino, José Carlos Rodríguez Calero |
Building Robust Applications by Reusing Non-robust Legacy Software. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Continuous Service, Robust Database, Distributed Systems, Fault-Tolerant Systems |
1 | Joyce L. Tokar |
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mahesh Deshpande, Frank P. Coyle, Jeff Tian |
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
reliability and quality, design patterns, object-oriented software, behavior simulation |
1 | Shayne Flint, Brian Dobbing |
Using JavaTM APIs with Native Ada Compilers. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Schmitt |
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Experience Reports from Projects using Ada95, Case Studies and Experiments, Frameworks, Object-Oriented Technologies |
1 | Tsong Yueh Chen, Man Fai Lau |
On the Minimal Essential Subsets and Minimal Representative Sets. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
minimal essential set, minimal representative set, software testing, set covering, test suite reduction |
1 | Bryan Pflug |
Ada after 10 Years of Usage - Is There a Commercial Future? |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Néstor R. Barraza, Jonás D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi |
An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Simon Kiteley, Jonathan Draper |
Results of an Investigation into Software Integration Testing Automation. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Marco, Xavier Franch |
Reengineering the Booch Component Library. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima |
A Supporting Tool for Development of Self-Measurement Ada Programs. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov |
ASIS-for-GNAT: A Report of Practical Experiences. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Ada, Programming Language, Programming Environment, Programming Tool, ASIS |
1 | Tse-Min Lin, John A. McDermid |
(True) Polymorphism in SPARK2000. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Ada, Object-Oriented Programming, Polymorphism, SPARK |
1 | Patrick Closhen, Hans-Jürgen Hoffmann |
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Style Checking, Framework, Software Quality, ASIS, GNAT |
1 | Thomas Ringler |
Static Worst-Case Execution Time Analysis of Synchronous Programs. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Reto Weiss |
Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Mauri, Stefan Scheer |
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Steven V. Hovater, William Marksteiner, Allen Butturini |
Generation of Interface Design Description Documents Using ASIS. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hubert B. Keller, Erhard Plödereder (eds.) |
Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Björn Källberg |
Is an Ada Lint Necessary? |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Zimmermann |
Support of Technology Development in the Information Society. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Briot, Joël Brobecker, Arnaud Charlet |
GtkAda: Design and Implementation of a High Level Binding in Ada. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell |
Object-Oriented Programming and Protected Objects in Ada 95. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
inheritance ano, maly, Ada 95, concurrent object-oriented programming |
1 | Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend |
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kienzle, Alexander B. Romanovsky |
On Persistent and Reliable Streaming in Ada. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Object-Oriented Programming, Design Patterns, Streams, Persistence, Ada 95, Stable Storage |
1 | Peter Wieland, Frode Høgberg, Kristin Strømseng |
Enhancements in Software Project Risk Management. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Project Risk Management, Software Engineering, Software Quality, Project management, Risk Analysis |
1 | Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano |
An Open Ravenscar Real-Time Kernel for GNAT. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Neelam Soundarajan, Stephen Fridella |
Exceptions in OO Languages: Using Them and Reasoning about Them. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Software quality, Software development methods |
1 | Xavier Franch, Josep Pinyol, Joan Vancells |
Browsing a Component Library Using Non-functional Information. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Breguet, Luigi Zaffalon |
Railway Scale Model Simulator. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
simulation, concurrency, resource management, rendezvous, protected objects, Education and training |
1 | Jorge Real, Andy J. Wellings |
The Ceiling Protocol in Multi-moded Real-Time Systems. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Interprocedural Symbolic Evaluation of Ada Programs with Aliases. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Francisco J. García Izquierdo, José Luis Villarroel |
Translating Time Petri Net Structures into Ada 95 Statements. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Tuosto |
An Ada95 Implementation of a Network Coordination Language with Code Mobility. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Ada Language and Tools, Ada Experience Reports, Case Studies and Experiments, Ada and other Languages, Distributed Systems |
1 | Helge Hagenauer |
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Frost |
An Ada95 Solution for Certification of Embedded Safety Critical Applications. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|