Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bruno Hémeury |
Report on the VERA Experiment. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alexandr Korochkin |
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger, Johann Klasek, Eva Kühn |
Ada Binding to a Shared Object Layer. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Chapman, Robert Dewar |
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Ada Language and Tools, High Integrity Systems |
1 | Fabrice Kordon |
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Meta-data description, Semantic transformation, Code generation |
1 | Ricardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo |
Efficient and Extensible Multithreaded Remote Servers. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | José F. Ruiz, Jesús M. González-Barahona |
Implementing a New Low-Level Tasking Support for the GNAT Runtime System. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hongfeng Shen, Arnaud Charlet, Theodore P. Baker |
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wolf 0013, Alfred Strohmeier |
Fault Tolerance by Transparent Replication for Distributed Ada 95. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Piecewise Determinism, Replica Consistency, Semi-Active Replication, Fault Tolerance, Distributed Systems, Non-Determinism |
1 | Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González |
How to Modify the GNAT Frontend tp Experiment with Ada Extensions. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Strohmeier |
Mapping Object-Oriented Designs to Ada. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Ada Programming Language, Object-Oriented Software Development, Fusion Method |
1 | Mike Kamrad |
An Application (Layer 7) Routing Switch with Ada95 Software. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mike Kamrad, Barry A. Spinney |
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen |
A Case Study in the Reuse of On-board Embedded Real-Time Software. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kienzle, Alfred Strohmeier |
Shared Recoverable Objects. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95 |
1 | Kristina Lundqvist, Lars Asplund, Stephen Mitchell |
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects |
1 | David E. Emery |
Architectural Frameworks: Defining the Contents of Architectural Descriptions. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Millan, Myriam Lamolle, Frédéric Mulatero |
An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Ada 83, O2, data environment, Java, interoperability, Persistence, Ada 95, Object Oriented Database Management System |
1 | Patrick Rogers, Andy J. Wellings |
An Incremental RecoveryCache Supporting Sotware Fault Tolerance. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
user-defined assignment, Ada, checkpointing, fault-tolerant systems |
1 | Apolinar González, Alfons Crespo |
Environment for the Development and Specification of Real-Time Ada Programs. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jean Mermet |
System on Chip Specification and Design Languages Standardization. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Adrian López, Maite Veiga, Eugenio Villar |
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Rosskopf |
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bruneton, Jean-François Pradat-Peyre |
Automatic Verification of Concurrent Ada Programs. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | C. Douglass Locke |
An Architectual Perspective of Real-Time Ada Applications. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Canazzi |
yaRTI, an Ada 95 HLA Run-Time Infrastructure. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | William Fornaciari, Donatella Sciuto |
HW/SW Co-design of Embedded Systems. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael González Harbour, Juan Antonio de la Puente (eds.) |
Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | José L. Fernández |
Acceptance Testing of Object Oriented Systems. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Pautet, Thomas Quinot, Samuel Tardieu |
CORBA & DSA: Divorce or Marriage? |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin J. Stift |
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Steve Michell, Mark Saaltink |
Guidance on the Use of Ada95 in High Integrity Systems. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
HRG, Ada, critical systems, predictable systems, high integrity systems |
1 | Alan Burns 0001, Brian Dobbing, George Romanski |
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Saeed Araban, A. S. M. Sajeev |
A Two-Level Matching Mechanism for Object-Oriented Class Libraries. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros |
Building Modular Communication Systems in Ada: The Simple_Com Approach. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Lars Asplund (eds.) |
Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Helge Hagenauer, Werner Pohlmann |
Ada 95 for a Distributed Simulation System. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bruce A. Lewis, Steve Vestal, David J. McConnell |
Modern Avionics Requirements for the Distributed Systems Annex. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger, Bernd Burgstaller |
Symbolic Reaching Definitions Analysis of Ada Programs. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael Tonndorf |
Ten Years of Tool Based Ada Compiler Validations. An Experience Report. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mordechai Ben-Ari |
Synchronizing Multiple Clients and Servers. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Guido Schumacher, Wolfgang Nebel |
How to Avoid the Inheritance Anomaly in Ada. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Scott Arthur Moody |
Object Oriented Abstractions for Real-Time Distributes Systems. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ken Wong |
Looking at Code With Your Safety Goggles On. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Pautet, Samuel Tardieu |
Inside the Distributed Systems Annex. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo |
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey |
Quality-for-ASIS: A Portable Testing Facility for ASIS. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Franco Gasperoni |
Embedded Opportunities. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes |
Programming Hard Real-Time Systems with Optional Components in Ada. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Millet, Ted Baker |
Porting the GNAT Tasking Runtime System to the Java Virtual Machine. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | David E. Emery, Robert F. Mathias, Karl A. Nyberg |
Automating the Ada Binding Process for Java- How Far Can We Go? |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot |
PINROB: A Portable API for Industrial Robots. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bo Frisberg |
Ada in the JAS 39 Gripen Flight Control System. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Chapront |
Ada+B The Formula for Safety Critical Software Development. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez |
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | José L. Fernández, Bárbara Álvarez, Francisco J. García Izquierdo, Ángel Pérez, Juan Antonio de la Puente |
A Case Study in Quantitative Evaluation of Real-Time Software Architectures. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
1 | W. L. Yeung |
Semantics-Based Support Tools for High Integrity Ada Software. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank Mueller 0001 |
Supporting Ada 95 Passive Partitions in a Distributed Environment. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John English |
Tha Dangers of Inheritance. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Celier, Drasko M. Sotirovski, Christopher J. Thompson |
Code-Data Consistency in Ada. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Ada Semantic Interface Specification, Ada, Air Traffic Control |
1 | Philippe Pichon |
CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
XInAda, Ada, parallel I/Os, Operational, MMI, HOOD |
1 | Joachim Wegener, Ines Fey |
Systematic Unit-Testing of Ada Programs. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | S. R. Waterman |
Techniques for Testing Ada 95. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Controlled Types, Hierarchical Libraries, Testing, Ada 95, Protected Objects |
1 | Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu |
The SPIF Project. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings |
On Programming Atomic Actions in Ada 95. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Brian Dobbing, Marc Richard-Foy |
T-SMART - Task-Safe, Minimal Ada Realtime Toolset. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Ada83, Software Reliability, Certification, Ada 95 |
1 | King Sing Cheung, Paul Kai-On Chow, T. Y. Cheung |
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Formal method, Object-oriented method, Software specification |
1 | Theodore P. Baker, Dong-Ik Oh |
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ingmar Ögren |
Ada 95 as a Base to Architect Systems in O4STM. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Holzmüller, Erhard Plödereder |
Finite Unions for Ada 95. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Finite Unions, Polymorphism, Language Extension, Dispatching, Multi-Methods |
1 | Francisco Guerra Santana, Javier Miranda, Angel Alvarez, Sergio Arévalo |
An Ada Library to Program Fault-Tolerant Distributed Applications. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Distributed Systems, Ada, Fault-Tolerant Systems, Isis |
1 | Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez |
Implementing Application-Level Sporadic Server Schedulers in Ada 95. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time, Jitter, Ada 95, Sporadic Server |
1 | Wolfgang Gellerich, Erhard Plödereder |
: Parameter-Induced Aliasing and Related Problems can be Avoided. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alex E. Bell |
An Alternative Toolset for Analysis of Ada Programs. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jim E. Cooling, N. Duff, Joanne Cooling |
Computer Aided Teaching of Programming Languages: An Ada-specific Development. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Computer aided teaching, animation and simulation, Ada, programming languages |
1 | Xavier Franch |
Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle |
Capturing and Verifying Performance Requirements for Hard Real Time Systems. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Keith Hardy, James S. Briggs (eds.) |
Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Feldman |
An Ada 95 Sort Race Construction Set. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Concurrent Programming, Ada 95, Algorithm Animation |
1 | Andy J. Wellings, Alan Burns 0001, Offer Pazy |
Task Termination in Ada 95. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
termination, asynchronous communication, Ada 95 |
1 | Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen |
Developing Scripting Capabilities for an Ada-Based Simulator. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Simulation, Scripting, Ada 95 |
1 | J. Phil Thornley |
Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dan Craigen, Mark Saaltink, Steve Michell |
Ada 95 and Critical Systems: An Analytical Approach. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger, Roland Lieger, Bernd Burgstaller |
Augmenting Ada 95 with Additional Real-Time Features. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Gliss |
An Ada 95 Harness for Converting Legacy Fortran Applications. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Fortran language, Object-Orientation, Reuse, Software Development Methods, Ada language |
1 | John D. Smart |
A Decade of Development and Development of Distributed Ada Systems. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Techniques and Tools, Software Development Methods and Techniques, Distributed Systems, Real-Time Systems, Frameworks, Metrics, Experience Report |
1 | Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon |
The GNARL Implementation of POSIX/Ada Signal Services. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Oudshoorn, Stephen Crawley |
Beyond Ada 95: The Addition of Persistence and Its Consequences. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Real, Agustín Espinosa, Alfons Crespo |
Using Ada 95 for Prototyping Real-Time Systems. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Real-time Systems, Prototyping, Object-oriented methods, Software Development Environments |
1 | Roland Feith, Michael Tonndorf |
Planning the Transition to Ada 95 for a Large Real-Time Project. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alan Burns 0001, Andy J. Wellings |
Ada 95: An Effective Concurrent Programming Language. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Juan Antonio de la Puente, Alejandro Alonso 0001, Angel Alvarez |
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
HRT-HOOD, real-time systems, object-oriented methods, Ada 95, Software development methods |
1 | Marcel Toussaint (eds.) |
Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Kruchten, Christopher J. Thompson |
Iterative Software Development for Large Ada Programs. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Software Development Process, Air Traffic Control, Iterative Process |
1 | Neel Madhav |
Testing Ada 95 Programs for Conformance to Rapide Architectures. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Software architecture, Ada 95, program instrumentation, run time monitoring |
1 | Thierry Millan, Pierre Bazex |
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
data environment, Ada 83, O2 object-oriented database management system, programming techniques, experience report from project using Ada 83, information systems, graph, persistence |
1 | Tsong Yueh Chen, Yuen-Tak Yu |
On Some Characterisation Problems of Subdomain Testing. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
testing of software systems, software engineering, software testing, Software quality, random testing, partition testing |
1 | Kristina Lundqvist, Göran Wall |
Using Object-Oriented Methods in Ada 95 to Implement Linda. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Fletcher, A. S. M. Sajeev |
A Framework for Testing Object-Oriented Software Using Formal Specifications. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Drasko M. Sotirovski, Philippe Kruchten |
Handling Irregular Grammars in Ada. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Ada, Parsing |