Abstract is missing.
- From Ada 9x to spaceport America: going where no one has gone beforeChristine Anderson. 1-2 [doi]
- Ada 83 to Ada 2012: lessons learned over 30 years of language designJohn Barnes, S. Tucker Taft. 3-4 [doi]
- Can C++ be made as safe as SPARK?David Crocker. 5-12 [doi]
- mbeddr: extensible languages for embedded software developmentTamás Szabó, Markus Völter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz. 13-16 [doi]
- AADL and model-based engineeringPeter H. Feiler. 17-18 [doi]
- Resolute: an assurance case language for architecture modelsAndrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen. 19-28 [doi]
- Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modelingEhsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong. 29-38 [doi]
- Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL modelsJérôme Hugues, Christophe Garion. 39-46 [doi]
- Formal semantics for the PACEMAKER system specificationBrian R. Larson. 47-60 [doi]
- UML with meaning: executable modeling in foundational UML and the Alf action languageEd Seidewitz. 61-68 [doi]
- Correctness via compilation to logic: a decade of verification at microsoft researchThomas Ball. 69-70 [doi]
- Specification of generic APIs, or: why algebraic may be better than pre/postAnya Helene Bagge, Magne Haveraaen. 71-80 [doi]
- A framework for model checking UDP network programs with Java pathfinderWilliam Rathje, Brad Richards. 81-86 [doi]
- Safe parallel programming in ada with language extensionsS. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell. 87-96 [doi]
- Spot: a programming language for verified flight softwareRobert L. Bocchino, Edward Gamble, Kim P. Gostelow, Raphael R. Some. 97-102 [doi]
- The rust languageNicholas D. Matsakis, Felix S. Klock II. 103-104 [doi]
- Panel summary: finding safety in numbers: new languages for safe multicore programming and modelingRobert Bocchino, Nicholas Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz. 105-106 [doi]