學術產出-Periodical Articles
Article View/Open
Publication Export
-
題名 A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis 作者 張宏慶
Jang,Hung-Chin日期 1992-12 上傳時間 16-Dec-2008 16:34:23 (UTC+8) 摘要 A formal requirement specification language, the frame-and-rule oriented requirement specification language FRORL, developed to facilitate the specification, analysis, and development of a software system is presented. The surface syntax of FRORL is based on the concepts of frames and production rules that may bear hierarchical relationships to each other, relying on multiple inheritance. To provide thorough semantic foundations, FRORL is based on a nonmonotonic variant of Horn-clause logic. Using the machinery of Horn-clause logic, various properties of a FRORL specification can be analyzed. Among the external properties of FRORL are formality, object-orientedness, and a wide spectrum of life cycle phases. Intrinsic properties are modularity, provision for incremental development, inheritance, refinement, reusability, prototyping, and executability. A software development environment based on FRORL has been implemented using the Clanguage on a Sun workstation. 關聯 IEEE Transactions on Software Engineering, 18(12), 1076-1110 資料類型 article dc.creator (作者) 張宏慶 zh_TW dc.creator (作者) Jang,Hung-Chin - dc.date (日期) 1992-12 en_US dc.date.accessioned 16-Dec-2008 16:34:23 (UTC+8) - dc.date.available 16-Dec-2008 16:34:23 (UTC+8) - dc.date.issued (上傳時間) 16-Dec-2008 16:34:23 (UTC+8) - dc.identifier.uri (URI) https://nccur.lib.nccu.edu.tw/handle/140.119/14966 - dc.description.abstract (摘要) A formal requirement specification language, the frame-and-rule oriented requirement specification language FRORL, developed to facilitate the specification, analysis, and development of a software system is presented. The surface syntax of FRORL is based on the concepts of frames and production rules that may bear hierarchical relationships to each other, relying on multiple inheritance. To provide thorough semantic foundations, FRORL is based on a nonmonotonic variant of Horn-clause logic. Using the machinery of Horn-clause logic, various properties of a FRORL specification can be analyzed. Among the external properties of FRORL are formality, object-orientedness, and a wide spectrum of life cycle phases. Intrinsic properties are modularity, provision for incremental development, inheritance, refinement, reusability, prototyping, and executability. A software development environment based on FRORL has been implemented using the Clanguage on a Sun workstation. - dc.format application/ en_US dc.language en en_US dc.language en-US en_US dc.language.iso en_US - dc.relation (關聯) IEEE Transactions on Software Engineering, 18(12), 1076-1110 en_US dc.title (題名) A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis en_US dc.type (資料類型) article en