formal specification; program verification; finite state machines; user interfaces; software tools; Statestep; systematic specification; incremental specification; editing specifications; checking specifications; finite state machine; user interfaces; audio CD recorders; interactive tool;
机译:告诉我们:一种基于Web的工具,可通过系统地规范数据,收集和使用,改善临终关怀和姑息治疗患者,家属和提供者之间的沟通。
机译:告诉我们吗?:一种基于网络的工具,通过系统的数据规范,收集和使用,改善临终关怀和姑息治疗患者,家庭和提供者之间的沟通
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具科学出版物
机译:starestep:系统,增量规格的工具
机译:对象系统的增量规范和验证。
机译:告诉我们™:通过系统数据规格收集和使用通过系统数据规格采用措施通过系统数据规格姑息治疗的患者家庭和提供者之间的沟通来改善基于网络的工具
机译:asaDaLsIm:用于实时软件规范的增量多级仿真和分析工具
机译:两个不同军事范围的增量采样的演示/验证和增量采样工具的开发。