ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam) · 2010 · 14 citations · 0 references
EngineeringSystems EngineeringKnowledge RepresentationRequirements EngineeringSafety EngineeringFormal OntologyOntology DesignOntology EngineeringRequirements ModelingSafety RequirementsSystem SafetyOntologiesOntology-based Requirements ModelingSafety AnalysisSafety ConstraintsSafety-critical System Requirements