<link rel="stylesheet" href="styles.cf390c6bfbe7555f.css">

學術出版;;Publications

Permanent URI for this communityhdl:11536/1

收集所有交通大學研究人員與學生個人或團體所發表之各項學術著作，涵蓋期刊論文、教師專書、學位論文等項。;;Collections of Publications of NCTU Researchers and Students Like Journal Papers and Thesis.

Browse

Filters

1997 - 20003

Settings

🏛️國立陽明交通大學機構典藏

Has files: YesSubject: search.filters.subject.software engineering

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item type:Item,
    An inheritance flow model for class hierarchy analysis
    (1998-06-30)
    Chen, JL
    ;
    Wang, FJ
    ;
    資訊工程學系
    ;
    Department of Computer Science
    This paper presents an inheritance flow model, which represents the inheritance relationships among classes as a flow graph. A flow operation is associated with each attribute and method in a class to denote the defined (redefined) or inherited member. An inherited member can be deemed as being handled by a sequence of how operations along a path in the flow graph. This model provides several analyses in a class hierarchy, such as implicit inherited member and polymorphic method invocation. These analyses may be applied in various fields of software engineering, such as static analysis, maintenance, and complexity measurement. (C) 1998 Elsevier Science B.V. All rights reserved.
  • Thumbnail Image
    Item type:Item,
    Flow analysis of class relationships for object-oriented programs
    (2000-07-01)
    Chen, JL
    ;
    Wang, FJ
    ;
    資訊工程學系
    ;
    Department of Computer Science
    Program analysis techniques have been widely applied in various fields of software engineering, such as debugging, testing, and proof of simple correctness properties. In object-oriented (OO) programs, inheritance, association, and aggregation relationships may introduce complicated dependencies concealed within classes that might obstruct program analysis. This paper proposes a class relationship flow models to provide analysis for inheritance, association, and aggregation of class relationships. The flow model consists of three flows, inheritance, association, and aggregation flows, corresponding to these relationships. A sequence of class relationships is represented as a flow path from one class to another. Along a flow path, each member within a class is associated with an operation, define or use, to represent whether its status is changed or referenced. Thereby, the concealed dependencies introduced by class relationships can be analyzed according to the flow operations. The analysis might be used as a technique for program understanding, anomaly detection, and program testing.
  • Thumbnail Image
    Item type:Item,
    CSPL: An Ada95-like, unix-based process environment
    (1997-03-01)
    Chen, JYJ
    ;
    交大名義發表
    ;
    資訊工程學系
    ;
    National Chiao Tung University
    ;
    Department of Computer Science
    This paper presents a new process-centered environment called ''concurrent software process language'' (CSPL). CSPL takes a unique and innovative approach to integrate the object-oriented Ada95-like syntax (for its modeling power) with Unix shell semantics (for its enactment capability) in a software process language. This paper depicts the following new CSPL features: 1) object orientation, 2) multirole and multiuser, and 3) unified object modeling. Language constructs specially designed for software process such as work assignment statement, communication-related statements, role unit, tool unit, relation unit and so on, are, respectively, described. The related work of this diversified field is also surveyed in some depth. The CSPL environment prototype has been built. A CSPL process program for the IEEE Software Process Modeling Example Problem has been developed and enacted to demonstrate the capabilities of this environment.