SIGADA Home

ACM SIGAda Ada Letters

Volume 39, Issue 2

December 2019

SIGAda Ada Letters provides an information interchange forum on all aspects of the Ada language and Ada-related technologies, including usage, education, standardization, design methods and compiler implementation. SIGAda's annual conference addresses Ada's role in connection with topics such as software engineering, process improvement, CASE, object technology, computer science education, high-integrity software, real-time applications, COBRA, and Java.

Get Alerts for this NewsletterAlerts

Bibliometrics

Subject Areas

Most frequent Affiliations

Most cited authors

Latest Issue

Volume 39, Issue 2December 2019
ISSN:1094-3641
View Table of Contents
research-article
free access
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems
- Robert Bramberger
  Virtual Vehicle Research GmbH, Graz, Austria
  ,
- Helmut Martin
  Virtual Vehicle Research GmbH, Graz, Austria
  ,
- Barbara Gallina
  Mälardalen University, Västerås, Sweden
  ,
- Christoph Schmittner
  AIT Austrian Institute of Technology GmbH, Vienna, Austria
April 2020pp 41-48 https://doi.org/10.1145/3394514.3394519
research-article
free access
RCLAda, or Bringing Ada to the Robot Operating System
- Alejandro R. Mosteo
  Centro Universitario de la Defensa, Zaragoza, Spain
April 2020pp 35-40 https://doi.org/10.1145/3394514.3394518
research-article
free access
A: the Compiler
- Maurizio Martignano
  Spazio IT - Soluzioni Informatiche s.a.s., San Giorgio Bigarello, Italy
April 2020pp 25-28 https://doi.org/10.1145/3394514.3394516
research-article
free access
Verification of Ada Programs with AdaHorn
- Tewodros A. Beyene
  fortiss GmbH, Forschungsinstitut des Freistaats Bayern für softwareintensive Systeme und Services Guerickestr, München, Germany
  ,
- Christian Herrera
  fortiss GmbH, Forschungsinstitut des Freistaats Bayern für softwareintensive Systeme und Services Guerickestr, München, Germany
  ,
- Vivek Nigam
  fortiss GmbH, Forschungsinstitut des Freistaats Bayern für softwareintensive Systeme und Services Guerickestr, München, Germany
April 2020pp 29-34 https://doi.org/10.1145/3394514.3394517

View latest Issue

Recent Award Winners

View all Award Winners

Bibliometrics

Subject Areas

Most frequent Affiliations

Most cited authors

Latest Issue

Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems

RCLAda, or Bringing Ada to the Robot Operating System

A: the Compiler

Verification of Ada Programs with AdaHorn

Recent Award Winners

Most Popular

Export Citation

About Cookies On This Site