首页>外文期刊>计算机、自动化>计算技术、计算机技术>Ada user journal

Ada user journal

中文名称：有一个用户日记

ISSN：1381-6551
出版周期：Quarterly

发文量：396

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Ada europe

机译：有欧洲
- 作者：Ahlan Marriott
- 期刊名称：《Ada user journal》 | 2011年第3期
2.Rationale for Ada 2012: Introduction

机译：Ada 2012的基本原理：简介
- 作者：John Barnes
- 期刊名称：《Ada user journal》 | 2011年第3期
- rationale;
- Ada 2012;
3.'Crimeville' - using Ada inside an on-line multi-user game

机译：'Crimeville'-在线多用户游戏中使用Ada
- 作者：Jacob Sparre Andersen
- 期刊名称：《Ada user journal》 | 2011年第3期
4.Editorial Policy for Ada User Journal

机译：Ada用户日记的编辑政策
- 期刊名称：《Ada user journal》 | 2011年第3期
5.Quarterly News Digest

机译：季度新闻文摘
- 作者：Marco Panunzio
- 期刊名称：《Ada user journal》 | 2011年第3期
6.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2011年第3期
7.The Implementation of High Integrity Data Structures

机译：高完整性数据结构的实现
- 作者：Phil Thornley
- 期刊名称：《Ada user journal》 | 2011年第3期
- SPARK;
- proof of correctness;
- reachability;
- linked data structure;
- data structure invariant;
- Ada;
8.Ada User Guide for LEGO MINDSTORMS NXT

机译：Ada LEGO MINDSTORMS NXT用户指南
- 作者：Peter J. Bradley;Juan A. de la Puente;Juan Zamorano
- 期刊名称：《Ada user journal》 | 2011年第3期
- LEGO;
- MINDSTORMS;
- Ada;
- Ravenscar;
- Real-Time;
- Embedded;
- Robotics;
9.Editorial Policy for Ada User Journal

机译：Ada用户日记的编辑政策
- 期刊名称：《Ada user journal》 | 2011年第4期
10.Implementation and Usage of the new Ada 2012 Execution Time Control Features

机译：新的Ada 2012执行时间控制功能的实现和使用
- 作者：Kristoffer Nyborg Gregertsen;Amund Skavhaug
- 期刊名称：《Ada user journal》 | 2011年第4期
- ada 2012;
- execution time control;
- interrupt clocks;
- real-time;
- embedded;
- gnat;
11.Ada Gems

机译：有宝石
- 期刊名称：《Ada user journal》 | 2011年第4期
12.Editorial

机译：社论
- 作者：Luis Miguel Pinho
- 期刊名称：《Ada user journal》 | 2011年第4期
13.Quarterly News Digest

机译：季度新闻文摘
- 作者：Marco Panunzio
- 期刊名称：《Ada user journal》 | 2011年第4期
14.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2011年第4期
15.Rationale for Ada 2012: 1 Contracts and aspects

机译：Ada 2012的基本原理：1合同和内容
- 作者：John Barnes
- 期刊名称：《Ada user journal》 | 2011年第4期
- rationale;
- Ada 2012;
16.15th International Real-Time Ada Workshop (IRTAW-15)

机译：第15届国际实时Ada研讨会（IRTAW-15）
- 作者：Mario Aldea Rivas
- 期刊名称：《Ada user journal》 | 2011年第4期
17.Non-intrusive Observation and Runtime Verification of Avionic Systems

机译：航空电子系统的非侵入式观察和运行时验证
- 作者：Jose Rufino
- 期刊名称：《Ada user journal》 | 2018年第4期
- Avionic and runtime verification;
18.AQUAS: A Project to Bridge the Gaps between Safety and Security Processes

机译：AQUAS：一个弥合安全与安保流程之间差距的项目
- 作者：John Favaro;Silvia Mazzini;Peter Popov;Lorenzo Strigini
- 期刊名称：《Ada user journal》 | 2018年第4期
19.NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems

机译：NORTH-网络物理系统的非侵入式观察和运行时验证
- 作者：Jose Rufino;Antonio Casimiro;Antonia Lopes;Frank Singhojf;Stephane Rubini;Valerie-Anne Nicolas;Mounir Lallali;Mourad Dridi;Jalil Boukhobza;Lyes Attache
- 期刊名称：《Ada user journal》 | 2018年第4期
20.Non-intrusive Runtime Verification within a System-on-Chip

机译：片上系统中的非侵入式运行时验证
- 作者：Jose Rufino;Antonio Casimiro;Felix Dino Lange;Martin Leucker;Torben Scheffel;Malte Schmitz;Daniel Thoma
- 期刊名称：《Ada user journal》 | 2018年第4期
- SoC runtime verification;
21.A Real-Time System Monitoring driven by Scheduling Analysis

机译：调度分析驱动的实时系统监控
- 作者：Stephane Rubini;Valerie-Anne Nicolas;Frank Singhoff;Jose Rufino
- 期刊名称：《Ada user journal》 | 2018年第4期
- health monitoring;
- real-time system;
- scheduling analysis;
22.In memoriam: Jacob Sparre Andersen

机译：纪念：雅各布·斯帕雷·安徒生
- 作者：Ada-Europe Board
- 期刊名称：《Ada user journal》 | 2018年第4期
23.Quarterly News Digest

机译：季度新闻文摘
- 作者：Kristoffer Nyborg Gregertsen
- 期刊名称：《Ada user journal》 | 2018年第4期
24.AGILE-R: Agile Software Development for Railways

机译：AGILE-R：铁路敏捷软件开发
- 作者：J. Favaro;G. Ioele;A. Jaku;S. Mazzini;P. Panaroni;U. Paone
- 期刊名称：《Ada user journal》 | 2018年第4期
- Railway;
- Agile;
- Safety;
- Embedded Systems;
25.In memoriam: Jose Rufino

机译：纪念影片：何塞·鲁菲诺（Jose Rufino）
- 作者：Paulo Esteves- Verissimo
- 期刊名称：《Ada user journal》 | 2018年第4期
26.Editorial

机译：社论
- 作者：Luis Miguel Pinho
- 期刊名称：《Ada user journal》 | 2018年第4期
27.FED4SAE: A Digital Innovation Hub for the Smart Anything Everywhere Initiative

机译：FED4SAE：无处不在的智能计划的数字创新中心
- 作者：L. Rioux;I. Dor
- 期刊名称：《Ada user journal》 | 2018年第4期
28.Verification of Scheduling Properties Based on Execution Traces

机译：基于执行轨迹的调度属性验证
- 作者：Valerie-Anne Nicolas;Mounir Lallali;Stephane Rubini;Frank Singhoff
- 期刊名称：《Ada user journal》 | 2018年第4期
- monitoring;
- trace analysis;
- scheduling property verification;
- real-time system;
29.Secure Wireless Avionics Intra-Communications: the SCOTT Approach

机译：安全的无线航空电子内部通信：SCOTT方法
- 作者：Ramiro Samano-Robles;Jose Neves
- 期刊名称：《Ada user journal》 | 2018年第4期
- WAICs;
- security;
- vulnerability;
- IoT;
- Bubble;
30.Hardware Support to Non-intrusive Runtime Verification on Processor Technologies

机译：对处理器技术进行非侵入式运行时验证的硬件支持
- 作者：Jose Rufino
- 期刊名称：《Ada user journal》 | 2018年第4期
- Hardware-based runtime verification;
31.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2018年第4期
32.ENABLE-S3: On Improving the Verification and Validation of Automated Cyber-Physical Systems

机译：ENABLE-S3：关于改善自动化网络物理系统的验证和确认
- 作者：Andrea Leitner;Sergio Saez-Barona;Zora Slavik;Mika Rautila;Nadja Marko;Philipp Rosenberger;Dejan Nickovic;Willibald Krenn;Michael Siegel
- 期刊名称：《Ada user journal》 | 2018年第4期
33.ARG Work in Progress Ⅱ

机译：ARG进展中Ⅱ
- 作者：Jeff Cousins
- 期刊名称：《Ada user journal》 | 2018年第3期
34.C Guidelines Compliance and Deviations (the MISRA and CERT Cases)

机译：C准则合规性和偏差（MISRA和CERT案例）
- 作者：Maurizio Martignano
- 期刊名称：《Ada user journal》 | 2018年第3期
- C Language;
- MISRA;
- CERT;
- Standard;
- Guideline;
- Compliance;
- Conformance;
- Deviation;
35.Using Ada in Non-Ada Systems

机译：在非Ada系统中使用Ada
- 作者：A Marriott;U Maurer
- 期刊名称：《Ada user journal》 | 2018年第3期
- GCC;
- Modula-2;
- C;
- ZFA;
36.The IRONSIDES Project: Final Report

机译：IRONSIDES项目：最终报告
- 作者：Barry S. Fagin;Martin C. Carlisle
- 期刊名称：《Ada user journal》 | 2018年第3期
- Ada;
- DNS;
- formal methods;
- internet software;
- performance analysis;
- SPARK;
37.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2018年第3期
38.HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems

机译：HILT 2018有关确保关键软件密集型系统中的网络弹性的语言和工具的讲习班
- 期刊名称：《Ada user journal》 | 2018年第3期
39.Editorial

机译：社论
- 作者：Luis Miguel Pinho
- 期刊名称：《Ada user journal》 | 2018年第3期
40.Alire: a Library Repository Manager for the Open Source Ada Ecosystem

机译：Alire：开源Ada生态系统的图书馆存储库管理器
- 作者：Alejandro R. Mosteo
- 期刊名称：《Ada user journal》 | 2018年第3期
- Library Management;
- Dependency resolution;
- Open Source;
- Ada 2012;
41.Designing Multitask Control Software in a Multiprocessor World

机译：在多处理器世界中设计多任务控制软件
- 作者：Bo I. Sanden
- 期刊名称：《Ada user journal》 | 2018年第3期
42.Quarterly News Digest

机译：季度新闻文摘
- 作者：Jacob Sparre Andersen
- 期刊名称：《Ada user journal》 | 2018年第3期
43.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2018年第2期
44.Editorial Policy for Ada User Journal

机译：Ada用户日记的编辑政策
- 期刊名称：《Ada user journal》 | 2018年第2期
45.Synchronous Signals: An Abstraction for Interleaving Sequential and Parallel Code

机译：同步信号：交错和并行代码的抽象
- 作者：Brad Moore
- 期刊名称：《Ada user journal》 | 2018年第2期
46.Session Summary: Profiles

机译：会议摘要：个人资料
- 作者：Mario Aldea-Rivas;Kristoffer Nyborg Gregertsen
- 期刊名称：《Ada user journal》 | 2018年第2期
47.Session Summary: Clock Issues

机译：会议摘要：时钟问题
- 作者：Kristoffer Nyborg Gregertsen;Luis Miguel Pinho
- 期刊名称：《Ada user journal》 | 2018年第2期
48.Session Summary: Time Triggered Scheduling in Ravenscar

机译：会议摘要：Ravenscar中的时间触发调度
- 作者：Jorge Real;Brad Moore
- 期刊名称：《Ada user journal》 | 2018年第2期
49.Quarterly News Digest

机译：季度新闻文摘
- 作者：Jacob Sparre Andersen
- 期刊名称：《Ada user journal》 | 2018年第2期
50.Summary of the 19th International Real-Time Ada Workshop

机译：第十九届国际实时Ada研讨会摘要
- 作者：Brad Moore;Jorge Real
- 期刊名称：《Ada user journal》 | 2018年第2期
51.Session Summary: Language Issues

机译：会议摘要：语言问题
- 作者：Tullio Vardanega;Andy Wellings
- 期刊名称：《Ada user journal》 | 2018年第2期
52.Ravenscar Support for Time-Triggered Scheduling

机译：Ravenscar对时间触发的调度的支持
- 作者：Jorge Real;Sergio Saez;Alfons Crespo
- 期刊名称：《Ada user journal》 | 2018年第2期
- Real-Time Systems;
- Time-Triggered Scheduling;
- Priority-Based Scheduling;
- Ravenscar Profile;
- High-Integrity Systems;
- Embedded Systems;
53.Forthcoming Events

机译：即将发生的事件
- 期刊名称：《Ada user journal》 | 2018年第2期
54.Editorial

机译：社论
- 作者：Luis Miguel Pinho
- 期刊名称：《Ada user journal》 | 2018年第2期
55.On Protocols for Accessing Protected Objects on Multiprocessors

机译：关于访问多处理器上受保护对象的协议
- 作者：Jorge Garrido;Juan Zamorano;Juan A. de la Puente
- 期刊名称：《Ada user journal》 | 2018年第2期
56.Session Summary: Parallel Programming

机译：会议摘要：并行编程
- 作者：Luis Miguel Pinho;Tullio Vardanega
- 期刊名称：《Ada user journal》 | 2018年第2期
57.Ravenscar-EDF: Further Results from Improved Comparative Benchmarking

机译：Ravenscar-EDF：改进的比较基准测试的进一步结果
- 作者：Paolo Carletto;Tullio Vardanega
- 期刊名称：《Ada user journal》 | 2018年第2期
58.Position Paper: Clock Support in Ada

机译：立场文件：Ada中的时钟支持
- 作者：Kristoffer Nyborg Gregertsen
- 期刊名称：《Ada user journal》 | 2018年第2期
59.Session Summary: Multiprocessor Locking

机译：会话摘要：多处理器锁定
- 作者：Juan A de la Puente;Alan Burn
- 期刊名称：《Ada user journal》 | 2018年第2期
60.Combining the tasklet model with OpenMP

机译：将Tasklet模型与OpenMP结合
- 作者：Luis Miguel Pinho;Eduardo Quinones;Sara Royuela
- 期刊名称：《Ada user journal》 | 2018年第2期
61.Session Summary: Deadline Floor Protocol

机译：会议摘要：截止日期限时协议
- 作者：Andy Wellings;Jorge Real
- 期刊名称：《Ada user journal》 | 2018年第2期
62.Proposal for a New Ada Profile for Small Microcontrollers

机译：针对小型微控制器的新Ada配置文件的提案
- 作者：Mario Aldea Rivas;Hector Perez-Tijero
- 期刊名称：《Ada user journal》 | 2018年第2期
63.Concurrent Reactive Objects in Rust Secure by Construction

机译：通过构造确保Rust中的并发反应对象
- 作者：Marcus Lindner;Jorge Aparicio;Per Lindgren
- 期刊名称：《Ada user journal》 | 2019年第1期
64.Quarterly News Digest

机译：季度新闻文摘
- 作者：Kristoffer Nyborg Gregertsen
- 期刊名称：《Ada user journal》 | 2019年第1期
65.ConcertoFLA-based Multi-concern Assurance for Space Systems

机译：基于ConcertoFLA的空间系统多关注点保证
- 作者：Zulqarnain Haider;Barbara Gallina;Anna Carlsson;Silvia Mazzini;Stefano Puri
- 期刊名称：《Ada user journal》 | 2019年第1期
- Dependability analysis;
- Failure Logic Analysis;
- Multi-concern;
- Dependability assurance;
- ECSS standard series;
- CHESS toolset;
66.Editorial Policy for Ada User Journal

机译：Ada用户日记的编辑政策
- 期刊名称：《Ada user journal》 | 2019年第1期
67.Editorial

机译：社论
- 作者：Luis Miguel Pinho
- 期刊名称：《Ada user journal》 | 2019年第1期
68.Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Part 1)~1

机译：在高完整性系统中使用Ada Ravenscar配置文件的指南（第1部分）〜1
- 作者：Alan Burns;Brian Dobbing;Tullio Vardanega
- 期刊名称：《Ada user journal》 | 2019年第1期
69.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2019年第1期
70.Editorial

机译：社论
- 作者：Luis Miguel Pinho
- 期刊名称：《Ada user journal》 | 2019年第2期
71.Quarterly News Digest

机译：季度新闻文摘
- 作者：Alejandro R. Mosteo
- 期刊名称：《Ada user journal》 | 2019年第2期
72.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2019年第2期
73.A 'New' C Static Analyzer: the Compiler

机译：“新” C静态分析器：编译器
- 作者：Maurizio Martignano
- 期刊名称：《Ada user journal》 | 2019年第2期
- C/C++;
- Static Analysis;
- Clang;
- LLVM;
- libclang;
- libadalang;
- SonarQube;
74.Verification of Ada Programs with AdaHorn

机译：使用AdaHorn验证Ada程序
- 作者：Tewodros A. Beyene;Christian Herrera;Vivek Nigam
- 期刊名称：《Ada user journal》 | 2019年第2期
- Ada Verification;
- Model Checking;
- Horn Constraints Solving;
75.Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Part 2)

机译：在高完整性系统中使用Ada Ravenscar配置文件的指南（第2部分）
- 作者：Alan Burns;Brian Dobbing;Tullio Vardanega
- 期刊名称：《Ada user journal》 | 2019年第2期
76.Editorial Policy for Ada User Journal

机译：Ada用户日记的编辑政策
- 期刊名称：《Ada user journal》 | 2019年第3期
77.Editorial

机译：社论
- 作者：Antonio Casimiro
- 期刊名称：《Ada user journal》 | 2019年第3期
78.Quarterly News Digest

机译：季度新闻文摘
- 作者：Alejandro R. Mosteo
- 期刊名称：《Ada user journal》 | 2019年第3期
79.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2019年第3期
80.20th International Real-Time Ada Workshop - IRTAW 2020

机译：第20届国际实时Ada研讨会-IRTAW 2020
- 作者：Tullio Vardanega;Jorge Real
- 期刊名称：《Ada user journal》 | 2019年第3期
81.ARG Work in Progress Ⅲ

机译：ARG进展中Ⅲ
- 作者：Jeff Cousins CEng FIET
- 期刊名称：《Ada user journal》 | 2019年第3期
82.RCLAda, or Bringing Ada to the Robot Operating System

机译：RCLAda，或将Ada带入机器人操作系统
- 作者：Alejandro R. Mosteo
- 期刊名称：《Ada user journal》 | 2019年第3期
- Robotics Software Frameworks;
- Open Source;
- Ada 2012;
83.Modeling CPS Swarms: An Automotive Use Case

机译：对CPS建模会产生混乱：汽车用例
- 作者：M. Schranz;M. Sende;A. Bagnato;E. Brosse;A. Eckel
- 期刊名称：《Ada user journal》 | 2019年第3期
- Cyber-Physical Systems;
- Design and Modelling;
- Swarm Behavior;
- Autonomous Cars;
84.Modeling Swarm Intelligence Algorithms for CPS Swarms

机译：CPS群的群体智能算法建模
- 作者：M. Schranz;M. Sende;A. Bagnato;E. Brosse
- 期刊名称：《Ada user journal》 | 2019年第3期
85.Experience in 40 Years of Teaching Ada

机译：艾达40年教学经验
- 作者：Jean-Pierre Rosen
- 期刊名称：《Ada user journal》 | 2019年第3期
- Ada;
- training;
- software engineering;
86.Ada-Europe 2019 - Newcomer Experience

机译：Ada-Europe 2019-新人体验
- 作者：Maciej Gajdzica
- 期刊名称：《Ada user journal》 | 2019年第3期
- conference;
- Ada-Europe;
- Warsaw;
87.Editorial Policy for Ada User Journal

机译：Ada用户日记的编辑政策
- 期刊名称：《Ada user journal》 | 2019年第4期
88.Editorial

机译：社论
- 作者：Antonio Casimiro
- 期刊名称：《Ada user journal》 | 2019年第4期
89.Quarterly News Digest

机译：季度新闻文摘
- 作者：Alejandro R. Mosteo
- 期刊名称：《Ada user journal》 | 2019年第4期
90.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2019年第4期
91.Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems

机译：汽车系统工程安全与保障生命周期的共同设计
- 作者：Robert Bramberger;Helmut Martin;Barbara Gallina;Christoph Schmittner
- 期刊名称：《Ada user journal》 | 2019年第4期
- Security-informed Safety;
- ISO 26262;
- SAE J3061;
- Security-informed Safety-oriented Process Line Engineering (SiSoPLE);
- HARA;
- TARA;
92.Using Evidence-Based Arguments to Support Dependability Assurance - Experiences and Challenges

机译：使用基于证据的论点来支持可靠性保证-经验和挑战
- 作者：Janusz Gorski
- 期刊名称：《Ada user journal》 | 2019年第4期
- Evidence-based argument;
- assurance case;
- conformance case;
- tool support;
93.Using SPARK to Ensure System to Software Integrity: A Case Study

机译：使用SPARK确保系统到软件完整性的案例研究
- 作者：T.Naks;M. A. Aiello;S. T. Taft
- 期刊名称：《Ada user journal》 | 2019年第4期
- SPARK;
- SysML;
- Simulink;
- System-to- Software Integrity;
- observer;
- property preservation;
94.Scenario-Based Validation & Verification, the ENABLE-S3 Approach

机译：基于场景的验证和验证，ENABLE-S3方法
- 作者：Joan J. Vails;Miguel Garcia-Gordillo;Sergio Sdez
- 期刊名称：《Ada user journal》 | 2019年第4期
- ENABLE-S3;
- validation;
- verification;
- scenario;
95.Maintaining Trust in VANETs Using Blockchain

机译：使用区块链维护VANET中的信任
- 作者：Ravi Tomar;Sarishma
- 期刊名称：《Ada user journal》 | 2019年第4期
- Vehicular Ad-hoc Networks;
- blockchain;
- Proof of Location;
96.Towards a Formally Verified Space Mission Software Using SPARK

机译：使用SPARK开发经过正式验证的太空任务软件
- 作者：Neto P.;Tojal J.;Verissimo J.;Melo de Sousa S.
- 期刊名称：《Ada user journal》 | 2019年第4期
- Safety Mission Critical Systems;
- Formal Methods;
- Formal Verification;
- Correct-by-Construction;
- Design-by-Contract;
- SPARK;
97.Quarterly News Digest

机译：季度新闻消化
- 作者：Kristoffer Nyborg Gregertsen
- 期刊名称：《Ada user journal》 | 2019年第1期
98.Conference Calendar

机译：会议日历
- 作者：Dirk Craeynest
- 期刊名称：《Ada user journal》 | 2019年第1期
99.ConcertoFLA-based Multi-concern Assurance for Space Systems

机译：基于Concertofla的空间系统的多关押保证
- 作者：Zulqarnain Haider;Barbara Gallina;Anna Carlsson;Silvia Mazzini;Stefano Puri
- 期刊名称：《Ada user journal》 | 2019年第1期
- Dependability analysis;
- Failure Logic Analysis;
- Multi-concern;
- Dependability assurance;
- ECSS standard series;
- CHESS toolset;
100.Editorial Policy for Ada User Journal

机译：ADA用户期刊的编辑政策
- 期刊名称：《Ada user journal》 | 2019年第1期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号