Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update


Li Jing (University of Science and Technology of China, Hefty 230027) Ni Bin and Feng Yulin (Institute of Software, Chinese Academy of Sciences, Beijing 100080)  
Object semantics constraints, including object structure and operation behavior constraints, can be specified by the many-sorted first order logic. These logic formulae must be consistent, and the object states must satisfy its constraints when it evolves. This paper introduces an object semantics constraints checker.
【Fund】: 国家“八五”攻关项目 “863”项目 中国科技大学青年基金
【CateGory Index】: TP311
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
Chinese Journal Full-text Database 1 Hits
1 Feng Yulin;Huang Tao(Institute of Software The Chinese Academy of Sciences Beijing 100080)Li Jing(Department of Computer Science University of Science and Technology of China Hefei 230026);OBJECT ORIENTED SOFTWARE CONSTRUCTION[J];软件学报;1996-03
Chinese Journal Full-text Database 10 Hits
1 WU Jing-Jing;DAI Zhi-Chao;College of Mathematics and Computer Science,Quanzhou Normal University;Fujian Provincial Key Laboratory of Data Intensive Computing;Key Laboratory of Intelligent Computing and Information Processing,Fujian Province University;;Development of Multiplaying Online Game Server[J];计算机系统应用;2017-10
2 HOU Li-li(Automation Institute of Lanzhou Petrochemical Company,Lanzhou 730060,China);Object-oriented Upper Computer Software Applying for On-line Gas Chromatography Simulation Distillation Analysis Instrument[J];电脑知识与技术;2011-23
3 Hou Haiping Wang Feng Song Xudong Sun Hui(Institute of Software,Dalian Jiaotong University,Dalian 116028,Liaoning,China);DESIGN AND REALIZATION OF ATTRIBUTE REDUCTION SYSTEM FRAMEWORK BASED ON OBJECT-ORIENTED TECHNOLOGY[J];计算机应用与软件;2008-12
4 Zhang Jun Zhong Hua (Beijing Time China Network Science & Technology Ltd. ,Beijing 100036,China) (Technology Center of Software Engineering, Institute of Software, CAS, Beijing 100080, China);THE STUDY OF APPLICATION FRAME FOR PUBLICATION INDUSTRY BASED ON J2EE TECHNOLOGY[J];计算机应用与软件;2007-05
5 ZHANG Jun;XU Wei-dong;ZHONG Hua Technology Center of Software Engineering, Institute of Software, CAS, Beijing 100080, China Beijing Sino-Edify Digital Technology Company Ltd,Beijing 100044, China;Layer design method for database application system[J];计算机工程与设计;2004-09
6 Jin Xueyun 1 Xu Weidong 2 Liu Hongwei 31 (Beijing University of Technology,Beijing100022) 2 (Beijing Sino-Edify Digital Technology Co.Ltd,Beijing100080) 3 (Beijing Broadcast Institute,Beijing100024);Design Method of Code Generator Based on .Net System[J];计算机工程与应用;2004-21
7 YU Fan hua,FU Miao miao,WANG Sheng feng (The Institute of Information & Technology Changchun Teachers College,Changchun 130032,China);How to Reallize Fast and Dynamic Bind in Use of Method Name in Orient Language[J];长春师范学院学报;2002-05
8 LUO Xiao 1,LUO Dan 2 (1.Yunnan University Kunming 650092,China;2.Kunming Cigarett Factory,Kunming,Yunnan 6500,China);The Research of Control System Component Design[J];昆明理工大学学报;1999-06
9 Guo Jiani Lu Zhengding;A Software Reuse Technique Based on the Entity Components and the Connection Components[J];华中理工大学学报;1998-09
10 Shi Yunfei; He Zhijun; Lu Dongming (AI Institute, Zhejiang University Hangzhou 310027);The Application of Client/Server and Object-oriented Technology to Bank Management System[J];计算机工程;1998-02
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved