ask others

Ada-Europe 1996: Montreux, Switzerland

> Home > Conferences and Workshops > Ada-Europe

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/1996
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/1996
Alfred Strohmeier:
Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings. Lecture Notes in Computer Science 1088, Springer 1996, ISBN 3-540-61317-X

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Taft96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Taft96
S. Tucker Taft:
Programming the Internet in Ada 95. 1-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Schneidewind96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Schneidewind96
Norman F. Schneidewind:
Reliability Modeling for Safety Critical Software. 17-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/GuerraouiS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/GuerraouiS96
Rachid Guerraoui, André Schiper:
Fault-Tolerance by Replication in Distributed Systems. 38-57
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/BurnsW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/BurnsW96
Alan Burns, Andy J. Wellings:
Ada 95: An Effective Concurrent Programming Language. 58-77

Software Development Methods

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/PuenteAA96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/PuenteAA96
Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez:
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries. 78-88
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/KimB96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/KimB96
Hyoseob Kim, Cornelia Boldyreff:
An Approach to Increasing Software Component Reusability in Ada. 89-100
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/KruchtenT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/KruchtenT96
Philippe Kruchten, Christopher J. Thompson:
Iterative Software Development for Large Ada Programs. 101-110
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/EmeryM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/EmeryM96
David E. Emery, Jas Madhur:
HCSD Unit Development Process: Step-Wise Process Improvement. 111-122

Verification and Validation

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Madhav96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Madhav96
Neel Madhav:
Testing Ada 95 Programs for Conformance to Rapide Architectures. 123-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/ChengU96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/ChengU96
Jingde Cheng, Kazuo Ushijima:
Tasking Deadlocks in Ada 95 Programs and Their Detection. 135-146
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/ChenY96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/ChenY96
Tsong Yueh Chen, Yuen-Tak Yu:
On Some Characterisation Problems of Subdomain Testing. 147-158
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/FletcherS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/FletcherS96
Rohan Fletcher, A. S. M. Sajeev:
A Framework for Testing Object-Oriented Software Using Formal Specifications. 159-170

Safety & Security

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/CraigenSM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/CraigenSM96
Dan Craigen, Mark Saaltink, Steve Michell:
Ada 95 and Critical Systems: An Analytical Approach. 171-182
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Rosskopf96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Rosskopf96
Alfred Rosskopf:
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment. 183-197

Distributed Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/KienzleWS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/KienzleWS96
Jörg Kienzle, Thomas Wolf, Alfred Strohmeier:
Secure Communication in Distributed Ada. 198-210
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/LundqvistW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/LundqvistW96
Kristina Lundqvist, Göran Wall:
Using Object-Oriented Methods in Ada 95 to Implement Linda. 211-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/WallL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/WallL96
Göran Wall, Kristina Lundqvist:
Shared Packages Through Linda. 223-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/MirandaAAG96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/MirandaAAG96
Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana:
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. 235-246

Real-Time Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Brosgol96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Brosgol96
Benjamin M. Brosgol:
The Dining Philosophers in Ada 95. 247-261
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/RealEC96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/RealEC96
Jorge Real, Agustín Espinosa, Alfons Crespo:
Using Ada 95 for Prototyping Real-Time Systems. 262-274
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/OhBM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/OhBM96
Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon:
The GNARL Implementation of POSIX/Ada Signal Services. 275-286
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/MundieFK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/MundieFK96
David Mundie, John Fardo, Ed Kuzemchak:
Implementing Protected Types on Embedded Targets. 287-297

Compilers and Tools

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/RybinSKF96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/RybinSKF96
Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov:
ASIS for GNAT: From the Prototype to the Full Implementation. 298-311
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/SotirovskiK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/SotirovskiK96
Drasko M. Sotirovski, Philippe Kruchten:
Handling Irregular Grammars in Ada. 312-318
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/BirusCS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/BirusCS96
Tim Birus, Christine Cipriani, Dean Sutherland:
Interprocedural Call Optimization. 319-329

The Ada 95 Programming Language

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/BliebergerLB96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/BliebergerLB96
Johann Blieberger, Roland Lieger, Bernd Burgstaller:
Augmenting Ada 95 with Additional Real-Time Features. 330-341
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/OudshoornC96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/OudshoornC96
Michael Oudshoorn, Stephen Crawley:
Beyond Ada 95: The Addition of Persistence and Its Consequences. 342-356
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Holzmuller96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Holzmuller96
Bernd Holzmüller:
Extending the Object-Orientedness of Ada 95. 357-369
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Bondeli96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Bondeli96
Patrick de Bondeli:
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming. 370-384
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/GellerichKP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/GellerichKP96
Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder:
Where Does GOTO Go to? 385-395

Interfacing with Other Worlds

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/MillanB96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/MillanB96
Thierry Millan, Pierre Bazex:
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83. 396-412
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Gliss96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Gliss96
Bernd Gliss:
An Ada 95 Harness for Converting Legacy Fortran Applications. 413-426

Experience Reports

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Bremmon96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Bremmon96
Chad Bremmon:
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95. 427-438
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Molenmaker96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Molenmaker96
Kor Molenmaker:
Converting the Part Task Nautical Simulator to Ada 95. 439-450
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Celier96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Celier96
Vincent Celier:
Visibility Control and Migration of Interfaces in Large Ada Systems. 451-459
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Waroquiers96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Waroquiers96
Philippe Waroquiers:
Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question! 460-470
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/EmeryHR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/EmeryHR96
David E. Emery, Richard F. Hilliard II, Timothy B. Rice:
Experiences Applying a Practical Architectural Method. 471-484
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/Smart96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Smart96
John D. Smart:
A Decade of Development and Development of Distributed Ada Systems. 485-499
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/FeithT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/FeithT96
Roland Feith, Michael Tonndorf:
Planning the Transition to Ada 95 for a Large Real-Time Project. 500-511

maintained by

at