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

Ada 95 rationale (the language, the standard libraries)Barnes, John.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63143-7, XII, 458 p, isbn 3-540-63143-7Conference Proceedings

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

How to use GNAT to efficiently preprocess new Ada sentencesMIRANDA, Javier; GUERRA, Francisco; MARTEL, Ernestina et al.Lecture notes in computer science. 2002, pp 179-192, issn 0302-9743, isbn 3-540-43784-3, 14 p.Conference Paper

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

survey of physical unit handling techniques in AdaGREIN, Christoph; KAZAKOV, Dmitry A; WILSON, Fraser et al.Lecture notes in computer science. 2003, pp 258-270, issn 0302-9743, isbn 3-540-40376-0, 13 p.Conference Paper

Des spécifications algébriques à des programmes Ada corrects: le projet ESPRIT PROSPECTRA = Algebric specifications for correct Ada programs: the ESPRIT PROSPECTRA projectDE LA CRUZ; PEREZ RIESCO, A.Revue des Télécommunications. 1988, Vol 62, Num 3-4, pp 265-272, issn 0373-8582Article

Implementing Ada.Real―Time.Clock and absolute delays in real-time kernelsZAMORANO, Juan; RUIZ, José F; DE LA PUENTE, Juan Antonio et al.Lecture notes in computer science. 2001, pp 317-327, issn 0302-9743, isbn 3-540-42123-8Conference Paper

A tool for the selection of a development and execution environment for real time on-board applicationsLARZUL, B; DO KHAC DU, M; ABADIE, J et al.Real-time systems conferenceSalon des solutions informatiques temps réel. 1997, pp 119-129, isbn 2-87717-059-4Conference Paper

Object-oriented developmentBOOCH, G.IEEE transactions on software engineering. 1986, Vol 12, Num 2, pp 211-221, issn 0098-5589Article

Process-translatable petri nets for the rapid prototyping of process control systemsBRUNO, G; MARCHETTO, G.IEEE transactions on software engineering. 1986, Vol 12, Num 2, pp 346-357, issn 0098-5589Article

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