云南高校图书馆联盟文献共享服务平台- OBJECT-ORIENTED

OBJECT-ORIENTED: 作品数：155被引量：166H指数：7; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：徐宝文周毓明杨忠骆斌左洪福更多>>; 相关机构：东南大学南京航空航天大学清华大学山东大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>

Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification: 《Journal of Computer Science & Technology》2012年第6期1150-1168,共19页Jehad Al Dallal Kassem A.Saleh; supported by Kuwait University under Research Grant No. WI03/10; The object-oriented paradigm is widely applied in designing and implementing communication systems. Unified Modeling Language （UML） is a standard language used to model the design of object-oriented systems. A proto...; 关键词：distributed system network protocol object-oriented design method

A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems被引量：2: 《Journal of Computer Science & Technology》2010年第6期1184-1201,共18页马于涛何克清李兵刘婧周晓燕; Supported by the National Grand Fundamental Research 973 Program of China under Grant No.2007CB310800;the National Natural Science Foundation of China under Grant Nos.60873083 and 60803025;the Research Fund for the Doctoral Program of Higher Education of China under Grant No.20090141120022;the Natural Science Foundation of Hubei Province of China under Grant Nos.2008ABA379 and 2008CDB351;the Fundamental Research Funds for the Central Universities of China under Grant No.6082005; Large-scale object-oriented（OO） software systems have recently been found to share global network characteristics such as small world and scale free,which go beyond the scope of traditional software measurement and ...; 关键词：complexity metrics quality analysis and evaluation object-oriented programming reverse engineering complex networks

Measuring Structural Quality of Object-Oriented Softwares via Bug Propagation Analysis on Weighted Software Networks被引量：7: 《Journal of Computer Science & Technology》2010年第6期1202-1213,共12页潘伟丰李兵马于涛覃叶宜周晓燕; supported by the National Basic Research 973 Program of China under Grant No.2007CB310801;the National Natural Science Foundation of China under Grant Nos.60873083,60803025,60703009 and 60703018;the Natural Science Foundation of Hubei Province under Grant No.2008ABA379;the Natural Science Foundation of Hubei Province for Distinguished Young Scholars under Grant No.2008CDB351;the Research Fund for the Doctoral Program of Higher Education of China under Grant Nos.20070486065 and 20090141120022;the Fundamental Research Funds for the Central Universities of China under Grant No.6082005; The quality of a software system is partially determined by its structure（topological structure）,so the need to quantitatively analyze the quality of the structure has become eminent.In this paper a novel metric cal...; 关键词：bug propagation design pattern object-oriented（OO） software software network structural quality

A Formal Software Development Approach Using Refinement Calculus: 《Journal of Computer Science & Technology》2001年第3期251-262,共12页王云峰庞军查鸣杨朝晖郑国梁; the National Natural Science Foundation of China (No.69673006) and theNational Ninth Five-Year Project (98-780-01-07-06) of Ch; The advantage of COOZ (Complete Object-Oriented Z) is to specify large scale software, but it does not support refinement calculus. Thus its application is confined for software development. Including refinement calc...; 关键词：formal development method refinement calculus formal specification OBJECT-ORIENTED

An Incremental Approach to Automatic Algorithm Design: 《Journal of Computer Science & Technology》1999年第4期314-319,共6页栾尚敏李未; This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and extension operator wh...; 关键词：automatic algorithm design algebraic specification object-orientedmethodology

A Reasoning Mechanism for DeductiveObject-Oriented Databases: 《Journal of Computer Science & Technology》1997年第4期337-345,共9页张成洪胡运发施伯乐; the National '863' Hi-Tech Program of China; Based on the approach implementing a deductive object-oriented database system through the underlying relational database, this paper presents an object reasoning language O-Datalog, which is the extension of Datalog ...; 关键词：DBMS OBJECT-ORIENTED logic programming datalog.

OOADS: An Object-Oriented Design Model for Advertising CAD System: 《Journal of Computer Science & Technology》1996年第5期443-451,共9页庄越挺潘云鹤何志均; The advances of computer graphics and imape processing have made it possible to design advertisements by computers. Presently, many commercial systems have come into being, such as CorelDraw and PhotoShop. All of them...; 关键词：Design model image composition area filling CLIPPING CAD system ADVERTISING

Design and Implementation of a Concurrency Control Mechanism in an Object-Oriented Database System: 《Journal of Computer Science & Technology》1996年第4期337-346,共10页曲云尧田增平王宇君施伯乐; This paper presents a practical concurrency control mechanism - ObjectLockingin OODBMS. Object-Locking can schedule transactions, each of themcan be considered as a sequence of high level operations defined on classe...; 关键词：Concurrency control object-oriented database transaction management

Class Based Contextual Logic for DOOD: 《Journal of Computer Science & Technology》1996年第2期161-170,共10页JoseK.Raphel SiuCheungHui 等; Contextual logic provides a mechanism to reason about modules. In this paper, this theory of modules is extended to a context theory of classes where class is in the true spirit of object-oriented databases. The logic...; 关键词：Object-oriented logic contextual logic class-based deduction deductive object-oriented databases class semantics

ICTSSE: An Object-Oriented IC Test Software Supporting Environment: 《Journal of Computer Science & Technology》1995年第5期447-454,共8页孙育宁王晓明时万春; An IC test software supporting environment-ICTSSE, which supports the migration and simulation of test 'pattern programs on heterogeneous ATEs, is presented. ICTSSE is a subsystem of Test Developmellt System (TeDS). I...; 关键词：CAT object-oriented paradigm data interchanging format

OBJECT-ORIENTED