Software engineering; Specifications; Computer program reliability; Objectoriented programming; Computer programs; Methodology; Models; Theory; Semantics; Algebra; Reliability; Transformations;
机译:从面向对象的形式规范综合逻辑程序
机译:关于面向对象的形式规范的差异
机译:TESTAF:使用面向对象的正式规范进行类测试的测试自动化框架
机译:将状态图从正式规范自动转换为面向对象的软件
机译:合并面向对象的规范的框架。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:面向对象的形式符号:Clay中的可执行规范=正式的面向对象的符号:Clay中的可执行规范