Publication | Closed Access

Using language workbenches and domain-specific languages for safety-critical software development

Software MaintenanceSafety CaseEngineeringSoftware System SafetyProgram AnalysisSoftware TestingSafety ScienceFormal MethodsSoftware AnalysisSoftware EngineeringSoftware Language EngineeringLanguage WorkbenchesComputer ScienceDomain-specific LanguageLanguage-based SecurityFormal VerificationSystem SoftwareSoftware Design