default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 1997: London, UK
- Keith Hardy, James S. Briggs
:
Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings. Lecture Notes in Computer Science 1251, Springer 1997, ISBN 3-540-63114-3 - Bernd Holzmüller, Erhard Plödereder:
Finite Unions for Ada 95. 1-12 - Theodore P. Baker, Dong-Ik Oh:
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation. 13-22 - Michael B. Feldman:
An Ada 95 Sort Race Construction Set. 23-34 - Jim E. Cooling, N. Duff, Joanne Cooling:
Computer Aided Teaching of Programming Languages: An Ada-specific Development. 35-45 - Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu:
The SPIF Project. 46-55 - Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen:
Developing Scripting Capabilities for an Ada-Based Simulator. 56-63 - Joachim Wegener, Ines Fey:
Systematic Unit-Testing of Ada Programs. 64-75 - Ingmar Ögren:
Ada 95 as a Base to Architect Systems in O4STM. 76-87 - Xavier Franch:
Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection. 88-99 - W. L. Yeung:
Semantics-Based Support Tools for High Integrity Ada Software. 100-111 - Alex E. Bell:
An Alternative Toolset for Analysis of Ada Programs. 112-124 - Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez:
Implementing Application-Level Sporadic Server Schedulers in Ada 95. 125-136 - R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle:
Capturing and Verifying Performance Requirements for Hard Real Time Systems. 137-148 - Andy J. Wellings, Alan Burns, Offer Pazy:
Task Termination in Ada 95. 149-160 - Wolfgang Gellerich, Erhard Plödereder:
: Parameter-Induced Aliasing and Related Problems can be Avoided. 161-172 - King Sing Cheung, Paul Kai-On Chow, T. Y. Cheung:
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods. 173-184 - John English:
Tha Dangers of Inheritance. 185-195 - Philippe Pichon:
CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project. 196-208 - Vincent Celier, Drasko M. Sotirovski, Christopher J. Thompson:
Code-Data Consistency in Ada. 209-217 - Frank Mueller:
Supporting Ada 95 Passive Partitions in a Distributed Environment. 218-229 - Francisco Guerra Santana, Javier Miranda, Angel Alvarez, Sergio Arévalo:
An Ada Library to Program Fault-Tolerant Distributed Applications. 230-243 - Brian Dobbing, Marc Richard-Foy:
T-SMART - Task-Safe, Minimal Ada Realtime Toolset. 244-253 - Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings:
On Programming Atomic Actions in Ada 95. 254-265 - J. Phil Thornley:
Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK. 266-277 - S. R. Waterman:
Techniques for Testing Ada 95. 278-291
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-18 23:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
