ACM SIGAda Ada Letters · 2007 · 14 citations · 6 references
EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal VerificationAutomated Software EngineeringSystems EngineeringModel-based Software DevelopmentFormal SpecificationRuntime VerificationCode GenerationMetaprogrammingComputer ScienceSoftware DesignSoftware VerificationAssert ProjectProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsHigh-integrity SystemsSystem SoftwareAda 2005Model-driven Development
In this paper we discuss the issues we have explored, as part of the ASSERT project, in the definition and implementation of Ada coding patterns for the support of the automated code generation stage of a comprehensive approach to model-driven development for high-integrity systems.
6
The design and implementation of the open Ravenscar kernel
Juan A. de la Puente, Juan Zamorano, José Ruíz et al. · ACM SIGAda Ada Letters · 2001 · 20 citations