首页> 外文OA文献 >Formal Specification Techniques for Object-Oriented Programs

【2h】

Formal Specification Techniques for Object-Oriented Programs

机译：面向对象程序的形式化规范技术

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Peter Müller; Arnd Poetzsch-Heffter;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Synthesis of Logic Programs from Object-Oriented Formal Specifications [J] . ngel Herranz, Julio Mari{~n}o LIPIcs : Leibniz International Proceedings in Informatics . 2011,第1期

机译：从面向对象的形式规范综合逻辑程序
2. On Differencing Object-Oriented Formal Specifications [J] . Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah The Journal of object technology . 2010,第1期

机译：关于面向对象的形式规范的差异
3. TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications [J] . Aamer Nadeem, Muhammad Jaffar-ur-Rehman Journal of Universal Computer Science . 2005,第6期

机译：TESTAF：使用面向对象的正式规范进行类测试的测试自动化框架
4. Algebraic specification of abstract data type and transition graphs: formal techniques for object-oriented analysis, specification and design [C] . Guetari, R., Haurat, . 1995

机译：抽象数据类型和过渡图的代数规范：面向对象分析，规范和设计的形式技术
5. Object-oriented program testing using formal requirements specification. [D] . Subramanian, Senthil K. 1997

机译：使用正式需求规范的面向对象程序测试。
6. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks [O] . Diego Martínez, Apolinar González, Francisco Blanes, 2011

机译：无线传感器和执行器网络的正式规范和设计技术
7. Formal specification techniques in object-oriented analysis: a comparative view [O] . Snoeck Monique, Wijsen J, Dedene Guido 1996

机译：面向对象分析中的形式规范技术：一种比较观点
8. Engineering an Implementation of the OSI CCR Protocol Using the Information211 Systems Techniques of Formal Specification and Program Transformation [R] . Jones, V. M. 1999

机译：使用Information211系统技术正式规范和程序转换来设计OsI CCR协议的实现

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号