Works matching DE "ADA (Computer program language)"
Results: 103
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
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
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
National Ada Organizations.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 112
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 67
- By:
- 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
Quarterly News Digest.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 68
- 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
Conference Calendar.
- Published in:
- 2016
- By:
- Publication type:
- Calendar
Quarterly News Digest.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 124
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 123
- By:
- Publication type:
- Article
Ada-Europe 2017.
- Published in:
- 2016
- Publication type:
- Proceeding
Ada Container Iterators for Parallelism and Map/Reduce.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 95
- By:
- Publication type:
- Article
Special Session Summary: Ada and Parallelism.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
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. 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
From Byron to the Ada Language.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 231
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 200
- 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. 3, p. 120
- 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
Conference Calendar.
- Published in:
- 2015
- By:
- Publication type:
- Calendar
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 60
- 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
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
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, 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
Implementation of Task Types in AVR-Ada.
- Published in:
- Ada User Journal, 2014, v. 35, n. 3, p. 194
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- 2014
- By:
- Publication type:
- Table of Contents
Reliable Software in Bioinformatics: Sequence Alignment with Coq, Ada and SPARK.
- Published in:
- Ada User Journal, 2014, v. 35, n. 1, p. 38
- By:
- Publication type:
- Article