IAda : a language for robot programming based on AdaDUHAUT, D; BIDAUD, P; FONTAINE, D et al.Robotics and autonomous systems. 1992, Vol 9, Num 4, pp 299-304, issn 0921-8890Article

Ada Programming Support Environment (APSE)LYONS, T. G. L.Computer standards & interfaces. 1987, Vol 6, Num 1, pp 83-87, issn 0920-5489Article

Temporal logic-based deadlock analysis for adaKARAM, G. M; BUHR, R. J. A.IEEE transactions on software engineering. 1991, Vol 17, Num 10, pp 1109-1125, issn 0098-5589Article

Functional refinement and nested objects for object-oriented designJALOTE, P.IEEE transactions on software engineering. 1989, Vol 15, Num 3, pp 264-270, issn 0098-5589Article

CSPL : An Ada95-like, Unix-based process environmentCHEN, J.-Y. J.IEEE transactions on software engineering. 1997, Vol 23, Num 3, pp 171-184, issn 0098-5589Article

Detection of Ada static deadlocks using Petri net invariantsMURATA, T; SHENKER, B; SHATZ, S. M et al.IEEE transactions on software engineering. 1989, Vol 15, Num 3, pp 314-326, issn 0098-5589Article

Rendezvous facilities: concurrent C and the Ada languageGEHANI, N. H; ROOME, W. D.IEEE transactions on software engineering. 1988, Vol 14, Num 11, pp 1546-1553, issn 0098-5589Article

Software prototyping by relational techniques: experiences with program construction systemsCERI, S; CRESPI-REGHIZZI, S; DIMAIO, A et al.IEEE transactions on software engineering. 1988, Vol 14, Num 11, pp 1597-1609, issn 0098-5589Article

A symbolid debugger for real-time embedded Ada softwareLYTTLE, D; FORD, R.Software, practice & experience. 1990, Vol 20, Num 5, pp 499-514, issn 0038-0644Article

A Petri net framework for automated static analysis of Ada tasking behaviorSHATZ, S. M; CHENG, W. K.The Journal of systems and software. 1988, Vol 8, Num 5, pp 343-359, issn 0164-1212Article

A debugger for Ada taskingBRIDLE, A. F; TAYLOR, R. N; MARTIN, D. F et al.IEEE transactions on software engineering. 1989, Vol 15, Num 3, pp 293-304, issn 0098-5589Article

General object-oriented software development: background and experienceSEIDEWITZ, E.The Journal of systems and software. 1989, Vol 9, Num 2, pp 95-108, issn 0164-1212Article

ESEC '87: proceedings/1st. European software engineering conference, Strasbourg, France, September 9-11, 1987NICHOLS, H. K; SIMPSON, D.Lecture notes in computer science. 1987, Vol 289, issn 0302-9743, XII-404 pConference Proceedings

Contribution à l'étude et à la réalisation d'un environnement de programmation pour multicalculateur = Contribution to the study and implementation of a programming environment for multicomputerHerrmann, Bénédicte; Perrin, Guy René.1993, 211 p.Thesis

IL-22, but Not IL-17, Dominant Environment in Cutaneous T-cell LymphomaMIYAGAKI, Tomomitsu; SUGAYA, Makoto; SUGA, Hiraku et al.Clinical cancer research (Print). 2011, Vol 17, Num 24, pp 7529-7538, issn 1078-0432, 10 p.Article

Exceptions in a Programmable Logic Controller implementation based on ADAPLAZA, Inmaculada; MEDRANO, Carlos.Computers in industry. 2007, Vol 58, Num 4, pp 347-354, issn 0166-3615, 8 p.Article

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 program partitioning language: a notation for distributing Ada programsRAKESH JHA; KAMRAD, J. M. II; CORNHILL, D. T et al.IEEE transactions on software engineering. 1989, Vol 15, Num 3, pp 271-280, issn 0098-5589Article

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

Etat de l'art des méthodes de spécification de systèmes concurrents = State of the art of specification methods for competitive systemsBeaufils, Frédéric; Everaere, Nicole; Schwer, Sylviane et al.1989, 105 p.Report

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

Ada, pivot d'un atelier d'enseignement des problèmes fondamentaux de la concurrence entre processus = Ada, pivot of teaching workshop for the fundamental principles of the concurrent processesKAISER, C.TSI. Technique et science informatiques. 1994, Vol 13, Num 5, pp 671-696, issn 0752-4072Article

Ada et la qualité : nouvelles techniques, nouveaux outils, 5-6 décembre 1990, ToulouseAda et la qualité : nouvelles techniques, nouveaux outils. Conférence internationale francophone. 1990, III-115 p, isbn 2-90367792-7Conference Proceedings

A graphical environment for GLADEMARTEL, Ernestina; GUERRA, Francisco; MIRANDA, Javier et al.Lecture notes in computer science. 2003, pp 182-195, issn 0302-9743, isbn 3-540-40376-0, 14 p.Conference Paper