Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tim Birus, Christine Cipriani, Dean Sutherland |
Interprocedural Call Optimization. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin M. Brosgol |
The Dining Philosophers in Ada 95. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Waroquiers |
Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question! |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Ada 83 Experience, Design, Tasking, Air Traffic Control, Dynamic Memory |
1 | Chad Bremmon |
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Ada95 Transition, Object Oriented, Information Systems, Experience Report, Client/Server |
1 | David E. Emery, Richard F. Hilliard II, Timothy B. Rice |
Experiences Applying a Practical Architectural Method. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Celier |
Visibility Control and Migration of Interfaces in Large Ada Systems. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Interface Management, Ada, Packaging, Program Evolution |
1 | Norman F. Schneidewind |
Reliability Modeling for Safety Critical Software. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Javier Miranda, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana |
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Distributed Systems, Ada, Tools, Fault-Tolerant Systems, Isis |
1 | Alfred Strohmeier (eds.) |
Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder |
Where Does GOTO Go to? |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
GOTO, evaluation of programming techniques |
1 | David Mundie, John Fardo, Ed Kuzemchak |
Implementing Protected Types on Embedded Targets. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Patrick de Bondeli |
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kienzle, Thomas Wolf 0013, Alfred Strohmeier |
Secure Communication in Distributed Ada. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Object-Oriented Program-ming, Security, Distributed Systems, Communication, Cryptography, Ada 95 |
1 | S. Tucker Taft |
Programming the Internet in Ada 95. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hyoseob Kim, Cornelia Boldyreff |
An Approach to Increasing Software Component Reusability in Ada. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Reuse Metrics, Ada, Guidelines, Code Reuse |
1 | Jingde Cheng, Kazuo Ushijima |
Tasking Deadlocks in Ada 95 Programs and Their Detection. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Göran Wall, Kristina Lundqvist |
Shared Packages Through Linda. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Holzmüller |
Extending the Object-Orientedness of Ada 95. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
flexible type concepts, tagged types, language evaluation, polymorphism, object-oriented languages, Ada 95, dispatching, multi-methods |
1 | Rachid Guerraoui, André Schiper |
Fault-Tolerance by Replication in Distributed Systems. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov |
ASIS for GNAT: From the Prototype to the Full Implementation. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Ada, Compiler, Programming Environment, ASIS |
1 | Alfred Rosskopf |
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kor Molenmaker |
Converting the Part Task Nautical Simulator to Ada 95. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David E. Emery, Jas Madhur |
HCSD Unit Development Process: Step-Wise Process Improvement. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Ada, Software Process, Software Management |
1 | Heinz Schneeweiss, V. Amiot, O. Vix |
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu |
PARIS - Partitioned Ada for Remotely Invoked Services. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | B. Davies, Derek A. Rothwell |
The Use of Ada for the ENVISAT-1 Simulator. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Kempe |
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Heterogeneous Collections, Classification, Abstract Data Types, Ada 95, Catalogues |
1 | André Laurens |
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Heitz |
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Control expression, Reliability, Verification, Real-Time, Object Oriented Programming, Object Orientation, Distributed, Object Oriented Design, Method integration, HOOD |
1 | Lars Björnfot |
Ada and Timed Automata. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Kaufeler |
Ada: A Sceptical Assessment. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Zièd Choukair, Yvon Kermarrec |
Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | P. David, T. Planche, A. Corrégé, J.-F. Chane |
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Key-words Ada for dependable software, Software Implemented Fault Tolerance Techniques, Defensive Programming, On-Board Computer System Software, Error Confinement area, Error propagation |
1 | Sergey Rybin, Alfred Strohmeier, Eugene Zueff |
ASIS for GNAT: Goals, Problems and Implementation Strategy. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Ada, Compilation, Software Engineering Environment, ASIS |
1 | Bo Ingvar Sandén |
Design of Concurrent Software Based on Problem Concurrency. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Croxford, James Sutton |
Breaking Through the V and V Bottleneck. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kor Molenmaker |
Objects at Use in Nautical Simulators. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rupert Brown |
The Practical Application of Safety Techniques on an Ada Based Project. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | G. Taurisano, I. Williams |
Ada in Mixed Language Applications. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernt Rognes, Per Ivar Skinderhaug |
Performance Tuning of a Check-Out System Coded in Ada. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Obermayer, Georg Schüer, Rudolf Landwehr |
DIS - An Interface to Distributed Interactive Simulation. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | F. Battini, P. L. Mantovani, Marco Mattavelli |
Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC). |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jørgen Bundgaard |
An ANDF Based Ada 95 Compiler System. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yvon Kermarrec, Laurent Pautet |
Programming Distributed Systems with Both Ada 95 and PVM. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | D. De Gabaï |
LAMPBADA: Logiciel d'Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool). |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Noel Monfort, Vinh Qui Ribal |
Ariane 5: Development of the On-Board Software. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marco Battaglia, Giancarlo Savoia |
ReverseNICE: A Re-Engineering Methodology and Supporting Tool. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Gerlich, Mladen Kerep |
Distributed and Parallel Systems and HOOD 4. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Distributed Systems, Software Design, Parallel Systems, HOOD, Software Partitioning |
1 | Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman |
KBSE and Ada - Object and Enabling Technology. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar |
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Barbey |
Testing Ada 95 Object-Oriented Programs. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Test Sets Selection, Reduction Hypothesis, Testing, Object-Oriented Programming, Oracle, Ada 95 |
1 | Andrew Matthewman |
ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | A. Alapide, S. Candia, M. Cinella, S. Quaranta |
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Didier Buchs, C. Buffard, Pascal Racloz |
Modeling and Validation of Tasks with Algebraic Structured Nets. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
protected type, CO-OPN, Petri net, Ada, concurrency, abstract data type, task |
1 | Marc Richard-Foy |
Safe Ada Executive: An Executive for Ada Safety Critical Applications. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pete Cornwell, Andy J. Wellings |
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | François Bossard |
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Finn Hass |
Round Table Discussion: "Tools and Design Methods". |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rik Simoens |
The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycle. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Karlotto Mangold |
Ada95 - An Approach to Overcome the Software Crisis? |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Heitz |
Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Holger Noseck |
Cost-Benefit Analysis for Software-Reuse - A Decision Procedure. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Steven A. Birnie |
Safety Aspects of the Ariane 5 On-Board Software. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Chris Anderson |
Opening Address: Ada 9X. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Sevestre, Jacques Brygier |
Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Roger Ward, John Stevens |
Object Orientation is not Always Best! |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | P. Taylor |
Formal Methods for a Space Software Development Environment. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rogers, Marc Pitarys |
The AECSS Fault Tolerant Distributed Ada Testbed and Application. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Patrick de Bondeli |
A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Lewis Gray |
How Should Military Ada Software be Documented?. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lützen Møller |
Run-Time Check Elimination for Ada 9X. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Obermayer, Joachim Schröer, Georg Schüer, Achilles Klimek, Peter Kompalla, Rudolf Landwehr |
Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Nasser Kettani |
How to Avoid and Control Proliferation of New Ada Real Time Extensions. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gilles M. Pitette, Jean-Yves Corniglion, Daniel Gepner, Jean-Marie Sers |
Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Hagelstein, Dominique Roelants |
A Front-End to HOOD - The Clyder Requirements Engineering Method. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Joyce L. Tokar |
Handling Interrupts in Ada 9X. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John A. Anderson |
Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD). |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Finn Hass |
Panel on Safety and Reliability, held on September 28, 1994. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jordan R. Kayloe, Patricia K. Lawlis |
Merging Ada 9X and C++ in a Graphics System Software Architecture. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson |
Tool Support for High Integrity Ada Software. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John R. Rymer |
Evolving an Ada Curriculum to 9X. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ingmar Ögren |
Extended Application of Ada to Cover ECBS with O4S. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Franco Correrini, Paolo Panaroni |
ESSPASE - European Space Software Product Assurance Support Environment. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Steen Silberg, Thorkil B. Rasmussen |
FAA Certification of Ada Run-Time Systems. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | S. Francola, M. Manigrasso |
Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | F. Ciceri, L. Marradi |
Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Fernando J. Nuñez, Rafael Prades |
Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Brunet |
A Knowledge-Based System for Diagnosis in Veterinary Medicine. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Leslie P. Gale |
Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Barbey, Didier Buchs |
Testing Ada Abstract Data Types Using Formal Specifications. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paul Arberet, Laurent Desplas |
Test Methods and Tools for SOHO Mass Memory Unit Software. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski |
Interfacing Computer Communications from Ada in a Diverse and Evolving Environment. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Schneeweiss |
Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Steen Ulrik Palm |
Life*ADA: An APSE Integrating Multiple Compiler. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin |
A New Approach for HOOD/Ada Mapping. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Le Doeuff |
Automatic Generation of Ada Source Code for the Rafale Mission Computer. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Drasko M. Sotirovski, Slobodan S. Jovanovic, Philippe Kruchten |
Beyond Abstract Data Types: Giving Life to Objects. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jean Abadie, Béatrice Busquere |
CEDEX - A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Toussaint (eds.) |
Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen J. M. Wiggers, Marc J. A. Oort |
Ada Controls the European Robotic Arm. |
Ada-Europe |
1994 |
DBLP DOI BibTeX RDF |
|