Publication | Closed Access

Ontology-based semantic modeling of regulation constraint for automated construction quality compliance checking

EngineeringOntology EngineeringConformance TestingVerificationDesignFormal MethodsSystems EngineeringOntology-based Semantic ModelingDesign By ContractSemantic ReasonerFormal VerificationRegulatory RequirementRegulationSoftware DesignRegulation Constraint