Using Ada in Non-Ada Systems.
- Published in:
- Ada User Journal, 2018, v. 39, n. 3, p. 180
- By:
- Publication type:
- Article
Works matching DE "ADA (Computer program language)"
Results: 102
1
2
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
3
Quarterly News Digest.
- Published in:
- Ada User Journal, 2018, v. 39, n. 1, p. 6
- By:
- Publication type:
- Article
4
Quarterly News Digest.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 68
- Publication type:
- Article
5
National Ada Organizations.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 112
- Publication type:
- Article
6
Protocol Monitors: a Control-System Structuring Concept.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 99
- By:
- Publication type:
- Article
7
Panel Session Summary: The Future of Safety-Minded Languages.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
8
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
9
Editorial.
- Published in:
- Ada User Journal, 2017, v. 38, n. 2, p. 67
- By:
- Publication type:
- Article
10
Session Summary: Deadline Floor Protocol.
- Published in:
- 2016
- Publication type:
- Proceeding
11
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
12
Session Summary: Ada Language Profiles.
- Published in:
- 2016
- Publication type:
- Proceeding
13
Ada Container Iterators for Parallelism and Map/Reduce.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 95
- By:
- Publication type:
- Article
14
Session Summary: Parallel and Multicore Systems.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
15
Session Summary: Time Vulnerabilities.
- Published in:
- 2016
- Publication type:
- Proceeding
16
Session Summary: Language Issues.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 171
- Publication type:
- Article
17
Special Session Summary: Ada and Parallelism.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
18
Ada-Europe 2017.
- Published in:
- 2016
- Publication type:
- Proceeding
19
Quarterly News Digest.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 68
- By:
- Publication type:
- Article
20
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
21
Conference Calendar.
- Published in:
- 2016
- By:
- Publication type:
- Calendar
22
Quarterly News Digest.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 124
- By:
- Publication type:
- Article
23
Editorial.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 123
- By:
- Publication type:
- Article
24
Summary of the 18<sup>th</sup> International Real-Time Ada Workshop.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
25
Editorial.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 199
- By:
- Publication type:
- Article
26
Editorial.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 67
- By:
- Publication type:
- Article
27
From Byron to the Ada Language.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 231
- By:
- Publication type:
- Article
28
Editorial Policy for Ada User Journal.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 66
- Publication type:
- Article
29
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 200
- By:
- Publication type:
- Article
30
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
31
National Ada Organizations.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 116
- Publication type:
- Article
32
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 3, p. 120
- By:
- Publication type:
- Article
33
Support of Ravenscar in SPARK 2014.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 105
- By:
- Publication type:
- Article
34
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
35
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 1, p. 4
- By:
- Publication type:
- Article
36
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
37
Conference Calendar.
- Published in:
- 2015
- By:
- Publication type:
- Calendar
38
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 2, p. 60
- By:
- Publication type:
- Article
39
Persistent Containers with Ada 2012.
- Published in:
- Ada User Journal, 2015, v. 36, n. 1, p. 43
- By:
- Publication type:
- Article
40
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
41
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
42
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
43
AdDoc (beyond a document generator).
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 246
- By:
- Publication type:
- Article
44
Quarterly News Digest.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 212
- By:
- Publication type:
- Article
45
Editorial.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 211
- By:
- Publication type:
- Article
46
Implementation of Task Types in AVR-Ada.
- Published in:
- Ada User Journal, 2014, v. 35, n. 3, p. 194
- By:
- Publication type:
- Article
47
Editorial.
- Published in:
- Ada User Journal, 2013, v. 34, n. 3, p. 135
- By:
- Publication type:
- Article
48
Quarterly News Digest.
- Published in:
- 2014
- By:
- Publication type:
- Table of Contents
49
Ada Conference UK 2013.
- Published in:
- Ada User Journal, 2013, v. 34, n. 2, p. 125
- By:
- Publication type:
- Article
50
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