Works matching DE "ADA (Computer program language)"
Results: 103
New ADA Software Evaluation Service Launched.
- Published in:
- Quality & Reliability Engineering International, 1988, v. 4, n. 1, p. 74
- Publication type:
- Article
Distributed Atomic Actions in Ada 95.
- Published in:
- Computer Journal, 1998, v. 41, n. 7, p. 486, doi. 10.1093/comjnl/41.7.486
- By:
- Publication type:
- Article
Programming Replicated Systems in Ada 95.
- Published in:
- Computer Journal, 1996, v. 39, n. 5, p. 361, doi. 10.1093/comjnl/39.5.361
- By:
- Publication type:
- Article
Re-designing Tasking Structures of Ada Programs for Analysis: a Case Study.
- Published in:
- Software Testing: Verification & Reliability, 1994, v. 4, n. 4, p. 223, doi. 10.1002/stvr.4370040404
- By:
- Publication type:
- Article
ADA'S TROUBLED DEBUT.
- Published in:
- Sciences, 1987, v. 27, n. 1, p. 20, doi. 10.1002/j.2326-1951.1987.tb02891.x
- By:
- Publication type:
- Article
Using Ada in Non-Ada Systems.
- Published in:
- Ada User Journal, 2018, v. 39, n. 3, p. 180
- By:
- Publication type:
- Article
Experiences on Writing Ada Bindings for a C Library.
- Published in:
- Ada User Journal, 2018, v. 39, n. 1, p. 48
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2018, v. 39, n. 1, p. 6
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 68
- Publication type:
- Article
National Ada Organizations.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 112
- Publication type:
- Article
Protocol Monitors: a Control-System Structuring Concept.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 99
- By:
- Publication type:
- Article
Panel Session Summary: The Future of Safety-Minded Languages.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
Community Input for the Maintenance and Revision of the Ada Programming Language.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 96
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 67
- By:
- Publication type:
- Article
Middleware for a Distributed and Hot-Redundant Software in Ada 2012.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 207
- By:
- Publication type:
- Article
Session Summary: Time Vulnerabilities.
- Published in:
- 2016
- Publication type:
- Proceeding
Session Summary: Ada Language Profiles.
- Published in:
- 2016
- Publication type:
- Proceeding
Session Summary: Language Issues.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 171
- Publication type:
- Article
Session Summary: Deadline Floor Protocol.
- Published in:
- 2016
- Publication type:
- Proceeding
Session Summary: Parallel and Multicore Systems.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 146
- By:
- Publication type:
- Article
Ada Container Iterators for Parallelism and Map/Reduce.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 95
- By:
- Publication type:
- Article
Conference Calendar.
- Published in:
- 2016
- By:
- Publication type:
- Calendar
Editorial.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 123
- By:
- Publication type:
- Article
Summary of the 18<sup>th</sup> International Real-Time Ada Workshop.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
Quarterly News Digest.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 124
- By:
- Publication type:
- Article
Special Session Summary: Ada and Parallelism.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
Ada-Europe 2017.
- Published in:
- 2016
- Publication type:
- Proceeding
Quarterly News Digest.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 68
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 67
- By:
- Publication type:
- Article
Editorial Policy for Ada User Journal.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 66
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 3, p. 120
- By:
- Publication type:
- Article
From Byron to the Ada Language.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 231
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 199
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 200
- By:
- Publication type:
- Article
National Ada Organizations.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 116
- Publication type:
- Article
SPARK 2014 Rationale: Ghost Code, Object Oriented Programming and Functional Update.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 113
- By:
- Publication type:
- Article
Support of Ravenscar in SPARK 2014.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 105
- By:
- Publication type:
- Article
Source Code Analysis of Flight Software using a SonarQube based Code Quality Platform.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 99
- By:
- Publication type:
- Article
Persistent Containers with Ada 2012.
- Published in:
- Ada User Journal, 2015, v. 36, n. 1, p. 43
- By:
- Publication type:
- Article
Conference Calendar.
- Published in:
- 2015
- By:
- Publication type:
- Calendar
AdDoc (beyond a document generator).
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 246
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 60
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 1, p. 4
- By:
- Publication type:
- Article
RoundTable on "Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS)", Ada-Europe 2014.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 278
- By:
- Publication type:
- Article
The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 251
- By:
- Publication type:
- Article
Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS), Ada-Europe 2014.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 250
- By:
- Publication type:
- Article
Proceedings Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2014) Ada-Europe 2014 23 June 2014 Paris, France.
- Published in:
- 2014
- Publication type:
- Proceeding
Quarterly News Digest.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 212
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 211
- By:
- Publication type:
- Article