Ada Letters

中文名称：有字母

ISSN：1094-3641
出版周期：Three times a year

发文量：595

期刊论文

热门论文

年度选择

2022
- 第1期
- 第2期
2021
- 第1期
- 第2期
2020
- 第1期
- 第2期
2019
- 第1期
- 第2期
2018
- 第1期
- 第2期
2017
- 第1期
- 第2期
2016
- 第1期
- 第2期
2015
- 第1期
- 第2期
2014
- 第1期
- 第2期
- 第3期
2013
- 第1期
- 第2期
- 第3期
2012
- 第1期
- 第2期
- 第3期
2011
- 第1期
- 第2期
- 第3期
2010
- 第1期
- 第2期
- 第3期
2009
- 第1期
- 第2期
- 第3期
2008
- 第1期
- 第2期
- 第3期
2007
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2006
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2005
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2004
- 第1期
- 第1期
- 第4期
- 第4期

更多>>

全选（0）

1.Generalizing the EDF Scheduling Support in Ada 2005

机译：在Ada 2005中推广EDF计划支持
- 作者：A.J Wellings;A. Burns
- 期刊名称：《Ada letters》 | 2010年第1期
2.From the Editor's Desk

机译：从编辑台
- 作者：Pat Rogers;Alok Srivastava
- 期刊名称：《Ada letters》 | 2010年第1期
3.Call for Technical Contributions - SIGAda 2010

机译：要求技术贡献-SIGAda 2010
- 期刊名称：《Ada letters》 | 2010年第1期
4.Editorial Policy (from Alok Srivastava, Managing Editor)

机译：编辑政策（摘自总编辑Alok Srivastava）
- 期刊名称：《Ada letters》 | 2010年第1期
5.Towards a Ravenscar Extension for Multi-Processor Systems

机译：迈向针对多处理器系统的Ravenscar扩展
- 作者：Jose F. Ruiz
- 期刊名称：《Ada letters》 | 2010年第1期
6.Incorporating Operating Modes to an Ada Real-Time Framework

机译：将操作模式整合到Ada实时框架中
- 作者：Jorge Real;Alfons Crespo
- 期刊名称：《Ada letters》 | 2010年第1期
7.Temporal Isolation with the Ravenscar Profile and Ada 2005

机译：Ravenscar Profile和Ada 2005的临时隔离
- 作者：Enrico Mezzetti;Marco Panunzio;Tullio Vardanega
- 期刊名称：《Ada letters》 | 2010年第1期
8.Named Memory Pool for Ada

机译：命名为Ada的内存池
- 作者：Luke Wong;Stephen Michell;Brad Moore
- 期刊名称：《Ada letters》 | 2010年第1期
9.Providing Additional Real-Time Capability and Flexibility for Ada 2005

机译：为Ada 2005提供额外的实时功能和灵活性
- 作者：Rod White
- 期刊名称：《Ada letters》 | 2010年第1期
10.Support for a real-time transactional model in distributed Ada

机译：支持分布式Ada中的实时交易模型
- 作者：Hector Perez Tijero;J. Javier Gutierrez;Michael Gonzalez Harbour
- 期刊名称：《Ada letters》 | 2010年第1期
11.Ada and cc-NUMA Architectures What can be achieved with Ada 2005?

机译：Ada和cc-NUMA体系结构Ada 2005可以实现什么？
- 作者：A.J. Wellings;A. H Malik;N.C. Audsley;A. Burns
- 期刊名称：《Ada letters》 | 2010年第1期
12.Session Summary: Language and Distribution Issues

机译：会议摘要：语言和发行问题
- 作者：Tullio Vardanega;Michael Gonzalez-Harbour;Luis Miguel Pinho
- 期刊名称：《Ada letters》 | 2010年第1期
13.Conclusions of the 14th International Real-Time Ada Workshop

机译：第十四届国际实时Ada研讨会的结论
- 作者：Stephen Michell;Jorge Real
- 期刊名称：《Ada letters》 | 2010年第1期
14.Use of Object Oriented Technologies in High Reliability Systems

机译：面向对象技术在高可靠性系统中的使用
- 作者：Jean-Pierre Rosen
- 期刊名称：《Ada letters》 | 2010年第3期
- design;
- reliability;
- verification;
15.Designing Real-Time, Concurrent, and Embedded Software Systems Using UML and Ada

机译：使用UML和Ada设计实时，并发和嵌入式软件系统
- 作者：Robert G. Pettit IV
- 期刊名称：《Ada letters》 | 2010年第3期
- design;
- languages;
16.Systems Software Integrity Assurance

机译：系统软件完整性保证
- 作者：Chris Lane
- 期刊名称：《Ada letters》 | 2010年第3期
- software assurance;
- software integrity;
- air traffic management;
- FAA;
- system safety;
- process;
17.A Deterministic Run-Time Environment for Ada-05 on the ATmega16 Microcontroller

机译：ATmega16微控制器上Ada-05的确定性运行时环境
- 作者：Jim Ras;Albert M. K. Cheng
- 期刊名称：《Ada letters》 | 2010年第3期
- ATmegal6;
- ADA;
- RTL;
18.A Methodology for Avoiding Known Compiler Problems Using Static Analysis

机译：一种使用静态分析避免已知编译器问题的方法
- 作者：Mamdouh Jemli;Jean-Pierre Rosen
- 期刊名称：《Ada letters》 | 2010年第3期
- ada;
- safety high reliability systems;
- ada 2005;
- static analysis;
- AdaControl;
19.Experience Report: Ada & Java Integration in the FAA's ERAM SWIM Program

机译：经验报告：FAA的ERAM SWIM程序中的Ada和Java集成
- 作者：Richard B. Schmidt
- 期刊名称：《Ada letters》 | 2010年第3期
- multi-language integration;
- virtual machine vs. binding;
20.Towards Ada 2012: An Interim Report

机译：迈向Ada 2012：中期报告
- 作者：Edmond Schonberg
- 期刊名称：《Ada letters》 | 2010年第3期
- Ada;
- ada 2005;
- ada 2012;
21.The Rise, Fall and Persistence of Ada

机译：艾达的兴衰与坚守
- 作者：Ricky E. Sward
- 期刊名称：《Ada letters》 | 2010年第3期
- ada programming language;
- history of ada;
- safety critical;
- high integrity;
22.Effective Requirements Engineering

机译：有效需求工程
- 作者：William Bail
- 期刊名称：《Ada letters》 | 2010年第3期
- documentation;
- management.;
23.Ada for Parallel, Embedded, and Real-Time Applications

机译：适用于并行，嵌入式和实时应用程序的Ada
- 作者：John W. McCormick
- 期刊名称：《Ada letters》 | 2010年第3期
- performance;
- design;
- languages.;
24.Unmanned Systems with Ada and RTEMS

机译：带有Ada和RTEMS的无人系统
- 作者：Cindy Cicalese;Ricky Sward;Richard Weatherly;Joel Sherrill
- 期刊名称：《Ada letters》 | 2010年第3期
- design;
- languages;
25.'Unmanned Systems and Ada' Industrial Presentation

机译：“无人系统和Ada”工业演示
- 作者：Richard Weatherly
- 期刊名称：《Ada letters》 | 2010年第3期
- ada;
- autonomous systems;
- robotics;
26.Wouldn't it be Nice to have Software Labels?

机译：有软件标签不是很好吗？
- 作者：Elizabeth Fong;Paul E. Black;Richard F. Leslie;Simson Garfinkel;Larry Wagoner;Gary McGraw;Jeff Williams
- 期刊名称：《Ada letters》 | 2010年第3期
- software facts;
- software labels;
- security data sheets;
- trustworthy system;
- transparency;
- provenance;
- pedigree;
27.Real-Time System Development in Ada using LEGO® Mindstorms® NXT

机译：使用LEGO®Mindstorms®NXT在Ada中进行实时系统开发
- 作者：Peter J. Bradley;Juan A. de la Puente;Juan Zamorano
- 期刊名称：《Ada letters》 | 2010年第3期
- real-time embedded systems education;
- ada;
- ravenscar;
- LEGO~? Mindstorms~?;
28.Parallelism Generics for Ada 2005 and Beyond

机译：Ada 2005及更高版本的并行通用
- 作者：Brad J. Moore
- 期刊名称：《Ada letters》 | 2010年第3期
- ada 2005;
- work-seeking;
- work-stealing;
- work-sharing;
- multi- core;
- hyper-threads;
29.Extending Ada to Support Multi-core Based Monitoring and Fault Tolerance

机译：扩展Ada以支持基于多核的监视和容错
- 作者：You Li;Lu Yang;Lei Bu;Linzhang Wang;Jiaphua Zhao;Xuandong Li
- 期刊名称：《Ada letters》 | 2010年第3期
- multi-core;
- monitoring-oriented programming;
- software fault toler-ance;
30.Gem #22: Ada Speaks Many Languages

机译：宝石22：Ada会讲多种语言
- 作者：Robert Dewar;Vasiliy Fofanov;Franco Gasperoni;Yang Zhang
- 期刊名称：《Ada letters》 | 2009年第1期
31.Gem #27: Changing Data Representation (Part 1)

机译：宝石27：更改数据表示形式（第1部分）
- 作者：Robert Dewar
- 期刊名称：《Ada letters》 | 2009年第1期
32.Gem #28: Changing Data Representation (Part 2)

机译：宝石28：更改数据表示形式（第2部分）
- 作者：Robert Dewar
- 期刊名称：《Ada letters》 | 2009年第1期
33.Gem #29: Introduction to the Ada Web Server (AWS)

机译：宝石29：Ada Web服务器（AWS）简介
- 作者：Pascal Obry
- 期刊名称：《Ada letters》 | 2009年第1期
34.Gem #30: Safe and Secure Software : Introduction

机译：宝石30：安全可靠的软件：简介
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
35.Gem # 33: Accessibility Checks (Part I: Ada95)

机译：宝石＃33：辅助功能检查（第一部分：Ada95）
- 作者：Ramon Fernandez-Marina
- 期刊名称：《Ada letters》 | 2009年第1期
36.Gem #36: Safe and Secure Software : Chapter 3, Safe Pointers

机译：宝石＃36：安全可靠的软件：第3章，安全指针
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
37.Gem #38: Safe and Secure Software : Chapter 4, Safe Architecture

机译：宝石38：安全可靠的软件：第4章，安全架构
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
38.Gem #43: Safe and Secure Software : Chapter 7, Safe Memory Management

机译：宝石＃43：安全可靠的软件：第7章，安全内存管理
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
39.Gem #44: Accessibility Checks (Part III)

机译：宝石＃44：辅助功能检查（第III部分）
- 作者：Bob Duff
- 期刊名称：《Ada letters》 | 2009年第1期
40.Gem #45: Safe and Secure Software : Chapter 8, Safe Startup

机译：宝石＃45：安全可靠的软件：第8章，安全启动
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
41.Gem #47: Safe and Secure Software : Chapter 9, Safe Communication

机译：宝石47：安全可靠的软件：第9章，安全通信
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
42.Gem #48: Extending Interfaces in Ada 2005

机译：宝石48：在Ada 2005中扩展接口
- 作者：Quentin Ochem
- 期刊名称：《Ada letters》 | 2009年第1期
43.Gem #50: Overload Resolution

机译：宝石50：超载分辨率
- 作者：Bob Duff
- 期刊名称：《Ada letters》 | 2009年第1期
44.REUSABLE SOFTWARE COMPONENTS

机译：可重用的软件组件
- 作者：Trudy Levine
- 期刊名称：《Ada letters》 | 2009年第1期
45.Editorial Policy (from Alok Srivastava, Managing Editor)

机译：编辑政策（摘自总编辑Alok Srivastava）
- 期刊名称：《Ada letters》 | 2009年第1期
46.SIGAda The ACM Special Interest Group on Ada

机译：SIGAda ACM Ada特别兴趣小组
- 作者：John W. McCormick
- 期刊名称：《Ada letters》 | 2009年第1期
47.Gem #31: preconditions/postconditions

机译：宝石＃31：前提条件/后置条件
- 作者：Robert Dewar
- 期刊名称：《Ada letters》 | 2009年第1期
48.Gem #32: Safe and Secure Software : Chapter 1, Safe Syntax

机译：宝石＃32：安全可靠的软件：第1章，安全语法
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
49.Gem #34: Safe and Secure Software : Chapter 2, Safe Typing

机译：宝石＃34：安全可靠的软件：第2章，安全键入
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
50.Gem #35: bounded buffer package in GNAT hierarchy (Part 1)

机译：宝石＃35：GNAT层次结构中的有界缓冲区包（第1部分）
- 作者：Pat Rogers
- 期刊名称：《Ada letters》 | 2009年第1期
51.Gem #37: Bounded Buffer package in GNAT Hierarchy (Part 2)

机译：宝石＃37：GNAT层次结构中的绑定缓冲区包（第2部分）
- 作者：Pat Rogers
- 期刊名称：《Ada letters》 | 2009年第1期
52.Gem #39: Efficient Stream I/O for Array Types

机译：宝石39：有效的流I / O，适用于阵列类型
- 作者：Pat Rogers
- 期刊名称：《Ada letters》 | 2009年第1期
53.Gem #40: Safe and Secure Software : Chapter 5, Safe Object Oriented Programming

机译：宝石40：安全可靠的软件：第5章，面向对象的安全编程
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
54.Gem #41: Accessibility Checks (Part II: Ada2005)

机译：宝石41：辅助功能检查（第二部分：Ada2005）
- 作者：Ramon Fernandez-Marina
- 期刊名称：《Ada letters》 | 2009年第1期
55.Gem #42: Safe and Secure Software : Chapter 6, Safe Object Construction

机译：宝石＃42：安全可靠的软件：第6章，安全对象的构造
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
56.Gem #46: Incompatibilities between Ada 83 and Ada 95

机译：宝石46：Ada 83和Ada 95之间的不兼容
- 作者：Robert Dewar
- 期刊名称：《Ada letters》 | 2009年第1期
57.Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency

机译：宝石49：安全可靠的软件：第10章，安全并发
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第1期
58.Call for Technical Contributions - SIGAda 2009

机译：要求技术贡献-SIGAda 2009
- 期刊名称：《Ada letters》 | 2009年第1期
59.Outstanding Ada Community Contribution Award

机译：优秀Ada社区贡献奖
- 期刊名称：《Ada letters》 | 2009年第1期
60.14th International Conference on Reliable Software Technologies - Ada-Europe 2009

机译：2009年第14届可靠软件技术国际会议-欧洲Ada
- 期刊名称：《Ada letters》 | 2009年第1期
61.14TH INTERNATIONAL REAL-TIME ADA WORKSHOP IRTAW-14

机译：第14届国际实时ADA研讨会IRTAW-14
- 期刊名称：《Ada letters》 | 2009年第1期
62.From the Editor's Desk

机译：从编辑台
- 作者：Alok Srivastava
- 期刊名称：《Ada letters》 | 2009年第1期
63.System Level Hardware Design and Simulation with SystemAda

机译：使用SystemAda进行系统级硬件设计和仿真
- 作者：Negin Mahani;Parnian Mokri;Zainalabedin Navabi
- 期刊名称：《Ada letters》 | 2009年第1期
64.Gem #23: Null Considered Harmful

机译：宝石＃23：零被认为是有害的
- 作者：Bob Duff
- 期刊名称：《Ada letters》 | 2009年第1期
65.Gem #24: Null Considered Harmful (Part 2 - Efficiency)

机译：宝石24：认为无效有害为零（第2部分-效率）
- 作者：Bob Duff
- 期刊名称：《Ada letters》 | 2009年第1期
66.Gem #25: How to Search Text

机译：宝石25：如何搜索文本
- 作者：Emmanuel Briot
- 期刊名称：《Ada letters》 | 2009年第1期
67.Gem #26: The Mod Attribute

机译：宝石26：Mod属性
- 作者：Bob Duff
- 期刊名称：《Ada letters》 | 2009年第1期
68.From the Editor's Desk

机译：从编辑台
- 作者：Pat Rogers;Alok Srivastava
- 期刊名称：《Ada letters》 | 2009年第2期
69.Editorial Policy

机译：编辑政策
- 期刊名称：《Ada letters》 | 2009年第2期
70.SystemAda: An Ada Based System-Level Hardware Description Language

机译：SystemAda：基于Ada的系统级硬件描述语言
- 作者：Negin Mahani;Parnian Mokri;Mahshid Sedghi;Zainalabedin Navabi
- 期刊名称：《Ada letters》 | 2009年第2期
71.Ada for the Control of Degradation of Service

机译：控制服务质量下降的Ada
- 作者：Gertrude Levine
- 期刊名称：《Ada letters》 | 2009年第2期
72.Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK

机译：宝石＃51：安全可靠的软件：第11章，SPARK认证安全
- 作者：John Barnes
- 期刊名称：《Ada letters》 | 2009年第2期
73.Gem #52: Scripting Capabilities in GNAT (Part 1)

机译：宝石52：GNAT中的脚本功能（第1部分）
- 作者：Emmanuel Briot
- 期刊名称：《Ada letters》 | 2009年第2期
74.Gem #56: Creating Ada to Java calls using GNAT-AJIS

机译：宝石＃56：使用GNAT-AJIS创建Ada到Java的调用
- 作者：Quentin Ochem
- 期刊名称：《Ada letters》 | 2009年第2期
75.Gem #58: Ada / Java exception handling

机译：宝石＃58：Ada / Java异常处理
- 作者：Quentin Ochem
- 期刊名称：《Ada letters》 | 2009年第2期
76.Gem #59: Generating Ada bindings for C headers

机译：宝石＃59：为C头生成Ada绑定
- 作者：Amaud Charlet
- 期刊名称：《Ada letters》 | 2009年第2期
77.Gem #60: Generating Ada bindings for C++ headers

机译：宝石＃60：为C ++头生成Ada绑定
- 作者：Arnaud Charlet
- 期刊名称：《Ada letters》 | 2009年第2期
78.Gem #61: Interfacing with C++ constructors

机译：宝石＃61：与C ++构造函数接口
- 作者：Javier Miranda;Arnaud Charlet
- 期刊名称：《Ada letters》 | 2009年第2期
79.Gem #62: C++ constructors and Ada 2005

机译：宝石62：C ++构造函数和Ada 2005
- 作者：Javier Miranda;Arnaud Charlet
- 期刊名称：《Ada letters》 | 2009年第2期
80.Gem #63: The Effect of Pragma Suppress

机译：宝石＃63：Pra抑制的作用
- 作者：Gary Dismukes
- 期刊名称：《Ada letters》 | 2009年第2期
81.Gem #64: Handling Multiple-Unit Source Files

机译：宝石＃64：处理多单元源文件
- 作者：Emmanuel Briot
- 期刊名称：《Ada letters》 | 2009年第2期
82.The Ada paradox(es)

机译：艾达悖论（es）
- 作者：J-P. Rosen
- 期刊名称：《Ada letters》 | 2009年第2期
83.Gem #54: Scripting Capabilities in GNAT (Part 2)

机译：宝石＃54：GNAT中的脚本功能（第2部分）
- 作者：Emmanuel Briot
- 期刊名称：《Ada letters》 | 2009年第2期
84.Gem #55: Introduction to Ada / Java Interfacing

机译：宝石＃55：Ada / Java接口介绍
- 作者：Quentin Ochem
- 期刊名称：《Ada letters》 | 2009年第2期
85.Gem #57: Ada / Java cross dispatching

机译：宝石＃57：Ada / Java交叉调度
- 作者：Quentin Ochem
- 期刊名称：《Ada letters》 | 2009年第2期
86.Real-Time Systems and Programming Languages (4th Edition)

机译：实时系统和编程语言（第4版）
- 期刊名称：《Ada letters》 | 2009年第2期
87.Call for Papers: 15th International Conference on Reliable Software Technologies - Ada-Europe 2010 14-18 June 2010, Valencia, Spain

机译：征集论文：第15届可靠软件技术国际会议-Ada-Europe 2010（2010年6月14日至18日，西班牙巴伦西亚）
- 期刊名称：《Ada letters》 | 2009年第2期
88.An Ada Retrospective: Developing Large, Mature, Reliable Systems

机译：Ada回顾：开发大型，成熟，可靠的系统
- 作者：Richard Schmidt
- 期刊名称：《Ada letters》 | 2009年第3期
- design;
- reliability;
- languages;
89.'Automatic Prototype Generating' Restated with re-ADA: Perspective-bridged Architecture for Document-Driven Systems Transitioning

机译：re-ADA重述了“自动原型生成”：用于文档驱动系统过渡的透视桥接架构
- 作者：Sheldon X Liang;Lyle Reibling;Samuel Sambasivam
- 期刊名称：《Ada letters》 | 2009年第3期
- design;
- reliability;
- documentation;
- and language;
90.On Using Ada to Solve Problems in Computational Economics and Related Disciplines with Concurrent, Multiagent Algorithms

机译：关于使用Ada并发，多智能体算法解决计算经济学及相关学科的问题
- 作者：Bruce R. Barkstrom
- 期刊名称：《Ada letters》 | 2009年第3期
91.Experience in Integrating Interchangeable Scheduling Policies into a Distribution Middleware for Ada

机译：将可互换的调度策略集成到Ada的分发中间件中的经验
- 作者：Hector Perez Tijero;J. Javier Gutierrez
- 期刊名称：《Ada letters》 | 2009年第3期
- ada;
- middleware;
- real-time;
- distributed systems;
- dlexible scheduling;
92.Dynamic Analysis of Branch Mispredictions in Ada

机译：Ada中分支错误预测的动态分析
- 作者：Steven M. Lathrop
- 期刊名称：《Ada letters》 | 2009年第3期
- branch mispredictions;
- dynamic analysis;
- ada control structures;
- high performance computing;
93.Use of SPARK in a Resource Constrained Embedded System

机译：在资源受限的嵌入式系统中使用SPARK
- 作者：Chad Loseby;Peter Chapin;Carl Brandon
- 期刊名称：《Ada letters》 | 2009年第3期
- ada;
- msp430;
- spark;
- student project;
94.A Robotics API Dialect for Type-Safe Robots: Translating Myro to Ada

机译：用于类型安全机器人的机器人API方言：将Myro转换为Ada
- 作者：Alexander S. Mentis
- 期刊名称：《Ada letters》 | 2009年第3期
- undergraduate computer science education;
- myro;
- scribbler;
95.Working Towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A

机译：朝DO-178C / ED-12C，DO-248C / ED-94C和DO-278A / ED109A迈进
- 作者：James Chelini
- 期刊名称：《Ada letters》 | 2009年第3期
- management;
- measurement;
- documentation;
- performance;
- design;
- reliability;
- security;
- standardization;
- languages;
- verification;
96.Distributed Container: A Design Pattern for Fault Tolerance and High Speed Data Exchange

机译：分布式容器：容错和高速数据交换的设计模式
- 作者：Tong Dinh;Shan Barkataki
- 期刊名称：《Ada letters》 | 2009年第3期
- design patterns;
- ada;
- reuse;
- serialization;
- fault-tolerant;
- failover;
- distributed containers;
97.A Look at Ada from Both Sides Now (a Government, and a Defense Contractor Perspective)

机译：现在从双方角度看Ada（政府和国防承包商的角度）
- 作者：Jay C. Smart
- 期刊名称：《Ada letters》 | 2009年第3期
- management;
- performance;
- design;
- economics;
- reliability;
- security;
- standardization;
- languages;
98.Introduction to Ada

机译：Ada简介
- 作者：Michael B. Feldman
- 期刊名称：《Ada letters》 | 2009年第3期
- design;
- reliability;
- security;
- standardization;
- languages;
- theory;
- verification;
99.An Introduction to the C# Language and .NET Infrastructure

机译：C＃语言和.NET基础结构简介
- 作者：Ben Brosgol
- 期刊名称：《Ada letters》 | 2009年第3期
- design;
- reliability;
- security;
- standardization;
- languages;
100.Embedded Systems Engineering with the AADL: Modeling & Analysis

机译：使用AADL的嵌入式系统工程：建模与分析
- 作者：David P. Gluch
- 期刊名称：《Ada letters》 | 2009年第3期
- design;
- languages;
- performance;