Search Results - "Ada (Computer program language)"

Quarterly News Digest.

Authors: Andersen, Jacob Sparre¹ jacob@jacob-sparre.dk

Source: Ada User Journal. Mar2018, Vol. 39 Issue 1, p6-22. 17p.

Experiences on Writing Ada Bindings for a C Library.

Authors: Porton, Victor porton@narod.ru

Source: Ada User Journal. Mar2018, Vol. 39 Issue 1, p48-51. 4p.

ADA PROGRAMMING LANGUAGE.

Authors: Feldman, Michael B . Brosgol, Benjamin M .

Source: Encyclopedia of Software Engineering, Volume 1. 2002 2nd Edition, Vol. 1, p25-44. 20p.

Subjects: Ada (Computer program language), Programming languages, Computer software, Electronic data processing, Computer programming, Software engineering

Ada's Vital Role in New US Air Traffic Control Systems.

Authors: Srivastava, Alok Woodard, Fredrick O'Leary, Jeff

Source: International MultiConference of Engineers & Computer Scientists 2009. 2009, p1095-1099. 5p. 2 Diagrams.

Subjects: Ada (Computer program language), Air traffic control, Computer software, United States. Federal Aviation Administration

Geographic Terms: United States

Quarterly News Digest.

Source: Ada User Journal. Jun2017, Vol. 38 Issue 2, p68-84. 17p.

Protocol Monitors: a Control-System Structuring Concept.

Authors: Sandén, Bo I.¹ bsanden@acm.org

Source: Ada User Journal. Jun2017, Vol. 38 Issue 2, p99-104. 6p.

Middleware for a Distributed and Hot-Redundant Software in Ada 2012.

Authors: Monfort, Vincent vincent.monfort@systerel.fr

Source: Ada User Journal. Dec2016, Vol. 37 Issue 4, p207-210. 4p.

Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components.

Authors: Rosen, Jean-Pierre Van-Den-Hende, Jean-Christophe

Source: Ada User Journal. Sep2016, Vol. 37 Issue 3, p146-149. 4p.

Conference Calendar.

Authors: Craeynest, Dirk¹ Dirk.Craeynest@cs.kuleuven.be

Source: Ada User Journal. Sep2016, Vol. 37 Issue 3, p135-141. 7p.

Integrating Design by Contract in INSEL.

Authors: Preißinger, Jörg Mayer, Alexander

Source: International MultiConference of Engineers & Computer Scientists 2007 (Volume 1); 2007, p1037-1043, 7p

Ada Container Iterators for Parallelism and Map/Reduce.

Authors: Taft, S. Tucker¹

Source: Ada User Journal. Jun2016, Vol. 37 Issue 2, p95-98. 4p.

Quarterly News Digest.

Authors: Andersen, Jacob Sparre¹ jacob@jacob-sparre.dk

Source: Ada User Journal. Jun2016, Vol. 37 Issue 2, p68-84. 17p.

Quarterly News Digest.

Authors: Andersen, Jacob Sparre¹ jacob@jacob-sparre.dk

Source: Ada User Journal. Dec2015, Vol. 36 Issue 4, p200-215. 16p.

From Byron to the Ada Language.

Authors: Barnes, John jgpb@jbinfo.demon.co.uk

Source: Ada User Journal. Dec2015, Vol. 36 Issue 4, p231-235. 5p.

ADA'S TROUBLED DEBUT.

Authors: Jacky, Jonathan

Source: Sciences. Jan/Feb87, Vol. 27 Issue 1, p20. 10p. 6 Black and White Photographs.

Subjects: Ada (Computer program language), United States. Dept. of Defense

Re-designing Tasking Structures of Ada Programs for Analysis: a Case Study.

Authors: Wei Jen Yeh, Fevzi Michal Young, Fevzi

Source: Software Testing: Verification & Reliability. Dec94, Vol. 4 Issue 4, p223-253. 31p.

Subjects: Ada (Computer program language), Systems design, Algebra, Programming languages, System analysis, Computer science

TOWARD REAL-TIME PERFORMANCE BENCHMARKS FOR ADA.

Authors: Clapp, Russell M. Duchesneau, Louis Volz, Richard A. et al.

Source: Communications of the ACM. Aug1986, Vol. 29 Issue 8, p760-778. 19p. 7 Charts, 3 Graphs.

Subjects: Ada (Computer program language), Real-time programming, Programming languages, Computer programming, Real-time computing, Computer software

WHY ADA IS NOT JUST ANOTHER PROGRAMMING LANGUAGE.

Authors: Sammet, Jean E.¹

Source: Communications of the ACM. Aug1986, Vol. 29 Issue 8, p722-732. 11p. 1 Diagram, 3 Charts.

Subjects: Ada (Computer program language), Programming languages, Computer science, Information technology, Computer software

METRICS FOR ADA PACKAGES: AN INITIAL STUDY.

Authors: Gannon, J.D. Katz, E.E. Basili, V.R.

Source: Communications of the ACM. Jul1986, Vol. 29 Issue 7, p616-623. 8p. 1 Diagram, 6 Charts.

Subjects: Ada (Computer program language), Software engineering

PARADIGMS FOR DESIGN AND IMPLEMENTATION IN ADA.

Authors: Rajlich, Václav Sibley, Edgar H.

Source: Communications of the ACM. Jul1985, Vol. 28 Issue 7, p718-727. 10p. 4 Diagrams, 3 Charts.

Subjects: Ada (Computer program language), Programming languages, Documentation, Project management, Technical specifications, Computer programmers