首页> 外文OA文献 >PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language ; CU-CS-400-88

【2h】

PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language ; CU-CS-400-88

机译：PK / C ++：一种面向对象的，基于逻辑的，可执行的规范语言； CU-CS-400-88

页面导航

著录项
相似文献
相关主题

著录项

作者
Terwillinger Robert B; Kirslis Peter A;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Executable C++ Program Generation from the Structured Object-oriented Design Diagrams [J] . MINORU HARADA, TAKAHIRO MIZUNO, SUSUMU HAMADA 情報処理学会論文誌 . 1999,第7期

机译：从结构化的面向对象设计图生成可执行C ++程序
2. COMPARISON OF OBJECT-ORIENTED AND PROCEDURAL COMPUTER LANGUAGES: CASE STUDY OF C++ PROGRAMMING [J] . Kuan Chen Issues in Information Systems . 2004,第4期

机译：面向对象和程序的计算机语言的比较：C ++编程的案例研究
3. Logic-based specification languages for intelligent software agents [J] . VIVIANA MASCARDI, MAURIZIO MARTELLI, LEON STERLING Theory and Practice of Logic Programming . 2004,第Pt4期

机译：智能软件代理的基于逻辑的规范语言
4. PK/C++: an object-oriented, logic-based, executable specification language [C] . Terwilliger, R.B., Kirslis, . 1989

机译：PK / C ++：一种面向对象，基于逻辑的可执行规范语言
5. ENCOMPASS: An environment for incremental software development using executable, logic-based specifications. [D] . Terwilliger, Robert Barden. 1987

机译：ENCOMPASS：一种使用可执行的基于逻辑的规范进行增量软件开发的环境。
6. Semantic framework for mapping object-oriented model to semantic web languages [O] . Petr Ježek, Roman Mouček 2015

机译：用于将面向对象的模型映射到语义Web语言的语义框架
7. An executable specification language for specification understanding in object-oriented specification reuse [O] . Shih-chien Chou, Jen-yen Chen, Chyan-goei Chug 2016

机译：一种可执行的规范语言，用于面向对象规范重用中的规范理解
8. C++ as a language for object-oriented numerics. [R] . Budge, K. G., Peery, J. S., Robinson, A. C., 1993

机译：C ++作为面向对象数字的语言。

PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language ; CU-CS-400-88

著录项

相似文献

相关主题

期刊订阅