The University of Texas at Arlington;
机译:基于场景的基于场景的规范和行为模型的增量阐述
机译:基于意图方案的软件需求规范测试方法
机译:集成自上而下和基于方案的方法来构建软件规范
机译:基于场景的软件架构再造
机译:基于场景的工程过程:将形式主义,方法论和工具整合到特定于域的软件体系结构中的生命周期
机译:Prp43p包含一个具有特定调节域的进行性解旋酶结构体系
机译:GenGED *中视觉行为模型的方案视图*这项工作得到了德国-巴西软件规范和开发形式和半形式方法图形支持的合作(GRAPHIT)。
机译:基于场景的航空航天结构健康监测架构规范与评估