formal specification; formal verification; object-oriented programming; ontologies (artificial intelligence); temporal logic; aspectual requirements; proof obligations; aspect-oriented systems; aspect-oriented software development; crosscutting concerns; software life cycle; traceability gap; PROBE; linear temporal logic; ontology; parametric temporal formulas; parametric temporal functions; temporal logic assertions; verification tools;
机译:面向脚踏UML建模的系统审查:完整的方面UML建模框架
机译:平衡区域大小,义务共享和能源市场对缓解风能系统中的斜坡要求的影响
机译:平衡面积大小,义务分配和能源市场对缓解风能系统中的斜坡要求的影响
机译:将反应系统的面向方面的需求规范转换为面向方面的设计规范
机译:SLAI方法论:针对功能和非功能需求的系统的面向方面的识别过程。
机译:面向方面的功能结构植物建模
机译:从面向方面的系统的方面要求到证明义务
机译:高级信息处理系统(aIps)概念验证系统功能要求I / O(输入/输出)网络系统服务