inference mechanisms; systems analysis; user interfaces; GRL; URN; formal argumentation; goal models; goal-oriented requirements language; reasoning; user requirements notation; Cognition; Companies; Knowledge based systems; Stakeholders; Standards; Goal-oriented Requirements Language; User Requirements Notation; formal argumentation; goal modeling;
机译:使用GRL和CADP对GALS系统进行形式化建模和验证
机译:一种分析GRL目标模型中互动演员的游戏理论方法
机译:目标,论据和欺骗:Aurangzeb项目的正式代表-I:继任战争的插曲
机译:使用正式论证的GRL中目标模型的合理化
机译:使认识论合理化:女权主义科学哲学中反对自然主义的论点。
机译:针对严重败血症和败血性休克的早期目标导向疗法与早期和目标导向疗法:合理化的时间
机译:用形式论证合理化GRL中的目标模型