Publication | Open Access

Generation and validation of traces between requirements and architecture based on formal trace semantics

Software MaintenanceEngineeringRequirement ModelingVerificationSoftware EngineeringArchitecture SpecificationSoftware AnalysisFormal VerificationSocial SciencesSoftware RequirementFormal Trace SemanticsRequirement EngineeringDesignSoftware DesignArchitectural DesignArchitecture AnalysisProgram AnalysisSoftware TestingFormal Methods