Consolidated Ada reference manual (language and standard Libraries)Taft, S. Tucker; Duf, Robert A; Brukard, Randall L et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-43038-5, XIX, 560 p, isbn 3-540-43038-5Book

Reliable software technologies (Ada-Europe 2006)Pinho, Luís Miguel; González Harbour, Michael.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34663-5, 1Vol, XII-240 p, isbn 3-540-34663-5Conference Proceedings

Ada 2005 reference manual (language and standard libraries)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69335-1, 1Vol, XXII-765 p, isbn 3-540-69335-1Book

Comments on several syntax rules in Ada95XU BAOWEN.SIGPLAN notices. 1998, Vol 33, Num 2, pp 65-67, issn 0362-1340Article

OpenAda: Compile-time reflection for Ada 95ROGERS, Patrick; WELLINGS, Andy J.Lecture notes in computer science. 2004, pp 166-177, issn 0302-9743, isbn 3-540-22011-9, 12 p.Conference Paper

Ada 95 (quality and style)Ausnit-Hood, Christine; Johnson, Kent A; Pettit, Robert G et al.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63823-7, XIV, 292 p, isbn 3-540-63823-7Book

Die Programmiersprache Ada = Le langage de programmation ADA = The programming language AOAHERRTWICH, R. G; KNOLL, A.Automatisierungstechnische Praxis. 1989, Vol 31, Num 6, pp 272-281, issn 0178-2320Article

Ada, interfaces and the listener paradigmROSEN, Jean-Pierre.Lecture notes in computer science. 2002, pp 344-356, issn 0302-9743, isbn 3-540-43784-3, 13 p.Conference Paper

The programming language standards scene, ten years on. IX: AdaBARNES, J.Computer standards & interfaces. 1994, Vol 16, Num 5-6, pp 481-485, issn 0920-5489Article

A proof system for concurrent ADA programsGERTH, R; DE ROEVER, W. P.Science of computer programming. 1984, Vol 4, Num 2, pp 159-204, issn 0167-6423Article

About the difficulties of building a Pretty-Printer for AdaRYBIN, Sergey; STROHMEIER, Alfred.Lecture notes in computer science. 2002, pp 257-268, issn 0302-9743, isbn 3-540-43784-3, 12 p.Conference Paper

Ada 95 reference manual (language and standard libraries, international standard ISO/IEC 8652:1995(E))Taft, S. Tucker; Duff, Robert A.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63144-5, XVIII, 526 p, isbn 3-540-63144-5Conference Proceedings

The context: a high-level structuring concept for GKS inputAIRCHINNIGH, M. M. A.Computers & graphics. 1985, Vol 9, Num 3, pp 211-220, issn 0097-8493Article

Effects of biotic and abiotic stress on the growth of three genotypes of Lolium perenne with and without infection by the fungal endophyte Neotyphodium loliiLEWIS, G. C.Annals of applied biology. 2004, Vol 144, Num 1, pp 53-63, issn 0003-4746, 11 p.Article

Parameter-induced aliasing in AdaGELLERICH, Wolfgang; PLÖDEREDER, Erhard.Lecture notes in computer science. 2001, pp 88-99, issn 0302-9743, isbn 3-540-42123-8Conference Paper

Static analysis of exception handling in AdaSCHAEFER, C. F; BUNDY, G. N.Software, practice & experience. 1993, Vol 23, Num 10, pp 1157-1174, issn 0038-0644Article

The Ada PIC tool set: supporting interface control and analysis throughout the software development processWOLF, A. L; CLARKE, L. A; WILEDEN, J. C et al.IEEE transactions on software engineering. 1989, Vol 15, Num 3, pp 250-263, issn 0098-5589Article

System development and Ada: proceedings/Workshop on software factories and Ada, Capri, Italy, May 26-30, 1986HABERMANN, A. N; MONTANARI, U.Lecture notes in computer science. 1987, Vol 275, issn 0302-9743, V-305 pConference Proceedings

Ada 95 et les systèmes distribués: la tolérance aux fautes = Ada 95 and distributed systems: fault toleranceNana Tchamnda, Laurent; Raynal, M.1996, 153 p.Thesis

Software development reengineering: An experience reportHOE, Adrian.Lecture notes in computer science. 2002, pp 100-112, issn 0302-9743, isbn 3-540-43784-3, 13 p.Conference Paper

Expression templates in AdaDURET-LUTZ, Alexandre.Lecture notes in computer science. 2001, pp 191-202, issn 0302-9743, isbn 3-540-42123-8Conference Paper

Towards a general template introspection libraryZOLYOMI, Istvan; PORKOLAB, Zoltan.Lecture notes in computer science. 2004, pp 266-282, issn 0302-9743, isbn 3-540-23580-9, 17 p.Conference Paper

Effets des mécanismes d'exception sur la structure des logiciels. Application aux systèmes Ada sûrs de fonctionnement = Effects of exception mechanisms on the structure of software. Application to dependable Ada systemsMarpinard, Alain; Motet, Gilles.1993, 170 p.Thesis

Mapping UML to AdaTAYLOR, Bill; KARLSEN, Einar W.Lecture notes in computer science. 2001, pp 359-370, issn 0302-9743, isbn 3-540-42123-8Conference Paper

Object-oriented stable storage based on mirroringCARON, Xavier; KIENZLE, Jörg; STROHMEIER, Alfred et al.Lecture notes in computer science. 2001, pp 278-289, issn 0302-9743, isbn 3-540-42123-8Conference Paper