formal specification; inference mechanisms; ontologies (artificial intelligence); safety; SCS; conceptual ontologies; environment-driven ontological approach; environmental safety requirements elicitation; ontological reasoning mechanism; safety critical system; system operating environment; Automotive engineering; Cognition; Hazards; Ontologies; Rails; Risk management;
机译:基于Petri网的方法,以引发组件交互相关的安全要求在安全关键系统中
机译:迈向基于风险的安全需求的本体论方法
机译:一种使用系统模型理解和激发需求的方法:确保从问题上下文到需求的联系
机译:对安全关键系统要求引发的环境驱动的本体论方法
机译:一种结合本体的运行时方法,以增强交互式定制需求以进行软件定制
机译:建模和得出医疗信息系统的组织和信息系统需求。
机译:一种结合本体的运行时方法,以增强交互式定制需求以进行软件定制