| 基于领域本体知识和次协调逻辑的非规范需求分析研究 | 第1-71页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-11页 |
| 第1章 引言 | 第11-16页 |
| ·研究背景及意义 | 第11-12页 |
| ·研究内容 | 第12-15页 |
| ·论文组织结构 | 第15-16页 |
| 第2章 融合本体与面向对象技术的需求表示和获取方法 | 第16-36页 |
| ·本体基本概念 | 第16页 |
| ·领域本体的构建方法 | 第16-18页 |
| ·领域本体 | 第16-17页 |
| ·构建方法 | 第17-18页 |
| ·基于本体知识的需求表示和获取 | 第18-29页 |
| ·领域本体的需求分析 | 第19页 |
| ·领域本体的需求获取 | 第19-20页 |
| ·领域本体的形式化表示 | 第20-26页 |
| ·应用本体的构建 | 第26-29页 |
| ·基于面向对象技术的本体的表示 | 第29-31页 |
| ·融合本体和面向对象技术的知识表示 | 第31-34页 |
| ·本体技术与面向对象技术的比较 | 第31-33页 |
| ·融合本体和面向对象技术的知识表示的基本思想 | 第33-34页 |
| ·融合本体和面向对象技术的只是表示实例说明 | 第34-36页 |
| 第3章 非规范需求问题研究 | 第36-56页 |
| ·非规范需求产生的原因 | 第36页 |
| ·非规范需求的概念 | 第36-37页 |
| ·非规范需求的分类 | 第37-38页 |
| ·各类非规范需求的定义、解释及例示 | 第38-43页 |
| ·各类非规范需求的定义 | 第38-41页 |
| ·各类非规范需求的解释 | 第41-43页 |
| ·非规范需求的管理 | 第43-44页 |
| ·非规范需求的检测 | 第44-46页 |
| ·检测过程 | 第44-45页 |
| ·检测算法 | 第45-46页 |
| ·非规范需求处理的基本方法 | 第46-56页 |
| ·优先级冲突的需求 | 第47-48页 |
| ·不完整的需求 | 第48-49页 |
| ·模糊的需求 | 第49-51页 |
| ·领域术语不一致的需求 | 第51-52页 |
| ·冗余的需求 | 第52-53页 |
| ·矛盾的需求 | 第53-55页 |
| ·随时间变化的需求 | 第55页 |
| ·随环境变化的需求 | 第55-56页 |
| 第4章 基于本体技术的容忍不一致需求的分析模型 | 第56-63页 |
| ·软件需求分析模型概述 | 第56页 |
| ·基于带标记的准经典逻辑的容忍不一致处理方法 | 第56-57页 |
| ·基于目标的需求不一致处理方法 | 第57-59页 |
| ·分歧检测技术 | 第58-59页 |
| ·分歧处理方法 | 第59页 |
| ·基于本体的容忍不一致需求的分析模型构建 | 第59-63页 |
| 第5章 结束语 | 第63-65页 |
| 参考文献 | 第65-68页 |
| 附录A 企业销售系统领域场景描述 | 第68-69页 |
| 攻读学位期间发表的论文 | 第69-70页 |
| 致谢 | 第70-71页 |
| 基于逻辑基础的需求分析方法探讨 | 第71-153页 |
| 摘要 | 第72-74页 |
| Abstract | 第74-79页 |
| 第1章 前言 | 第79-82页 |
| ·需求分析研究背景 | 第79页 |
| ·需求分析研究意义 | 第79-80页 |
| ·需求分析的研究内容 | 第80-82页 |
| 第2章 非规范知识的表示及推理 | 第82-107页 |
| ·非规范知识处理的基础理论和关键技术概述 | 第82-84页 |
| ·非规范知识的分类 | 第84-85页 |
| ·非规范知识的表示 | 第85-93页 |
| ·框架表示法 | 第86-88页 |
| ·谓词表示法 | 第88-90页 |
| ·面向对象的表示方法 | 第90-91页 |
| ·基于Rough Set的表示法 | 第91-93页 |
| ·应用于非规范知识的知识推理方法 | 第93-107页 |
| ·不确定性推理 | 第94-99页 |
| ·非单调推理 | 第99-101页 |
| ·次协调逻辑推理 | 第101-107页 |
| 第3章 本体与面向对象技术 | 第107-121页 |
| ·本体的形式化表示 | 第107-113页 |
| ·本体的定义 | 第107-108页 |
| ·本体的组成 | 第108页 |
| ·本体的设计原则 | 第108-109页 |
| ·本体的分类 | 第109页 |
| ·本体的描述语言 | 第109-111页 |
| ·本体构建方法 | 第111-112页 |
| ·本体的应用 | 第112-113页 |
| ·面向对象技术概述 | 第113-118页 |
| ·基本概念 | 第114-115页 |
| ·面向对象的软件开发技术 | 第115-118页 |
| ·本体与面向对象技术的关系 | 第118-121页 |
| 第4章 非规范需求的表示、管理及其处理方法 | 第121-137页 |
| ·需求中的非规范知识 | 第121-126页 |
| ·非规范需求的定义 | 第122页 |
| ·非规范需求的分类 | 第122-124页 |
| ·非规范需求的表示 | 第124-125页 |
| ·非规范需求产生的原因 | 第125-126页 |
| ·非规范需求的管理框架 | 第126-130页 |
| ·不一致需求管理的经典框架 | 第127-128页 |
| ·不一致需求管理的扩展框架 | 第128-130页 |
| ·需求不一致处理的主要方法 | 第130-137页 |
| ·需求不一致的处理 | 第130-134页 |
| ·需求不一致的检测、度量与评估 | 第134-137页 |
| 第5章 需求工程的理论与方法 | 第137-149页 |
| ·需求工程 | 第137页 |
| ·需求工程的阶段 | 第137-139页 |
| ·需求工程方法 | 第139-147页 |
| ·需求获取方法 | 第139-142页 |
| ·需求分析方法 | 第142-146页 |
| ·当前需求工程方法的几点探索 | 第146-147页 |
| ·需求工程的非技术问题 | 第147-149页 |
| 参考文献 | 第149-153页 |
| Research of non-canonical requirements analysis based on domain ontology knowledge and paraconsistent logic | 第153-213页 |
| Abstract | 第154-158页 |
| Chapter one Preface | 第158-163页 |
| ·Background of the research | 第159-160页 |
| ·Content of research | 第160-162页 |
| ·Organizational structure of the paper | 第162-163页 |
| Chapter two The method of requirements representation and capture integrate with ontology and object-oriented | 第163-183页 |
| ·Overviews of ontology | 第163页 |
| ·Methods for construction domain ontology | 第163-165页 |
| ·Domain ontology | 第163-164页 |
| ·Construction method | 第164-165页 |
| ·Requirements description and elicitation based on ontology | 第165-176页 |
| ·Requirements analysis of ontology | 第166页 |
| ·Requirements elicitation of ontology | 第166-167页 |
| ·The formalization of ontology | 第167-173页 |
| ·The construction of application ontology | 第173-176页 |
| ·The representation of object-oriented technology to ontology | 第176-178页 |
| ·The method of knowledge representation integrate with ontology and object-oriented | 第178-181页 |
| ·The comparison of ontology and object-oriented technology | 第178-180页 |
| ·Knowledge representation ideas of fusion ontology and object-oriented technology | 第180-181页 |
| ·Instance illumination of knowledge representation integrate with ontology and object-oriented | 第181-183页 |
| Chapter Three The research of non-canonical requirements | 第183-203页 |
| ·The cause of non-canonical requirements | 第183页 |
| ·Basic concepts in non-canonical requirements | 第183-184页 |
| ·The classification of non-canonical requirements | 第184-185页 |
| ·The semantic explanation of non-canonical requirement | 第185-189页 |
| ·The definition of various of con-canonical requirements | 第185-187页 |
| ·The explanation of various of non-canonical requirements | 第187-189页 |
| ·The management of non-canonical requirements | 第189-191页 |
| ·The detecting of non-canonical requirements | 第191-193页 |
| ·Detecting process | 第191-192页 |
| ·Detecting algorithm | 第192-193页 |
| ·The handing of non-canonical requirements | 第193-203页 |
| ·Requirements with priority conflicts | 第194-195页 |
| ·Incomplete requirement | 第195-196页 |
| ·Fuzzy requirement | 第196-198页 |
| ·Domain term inconsistent requirement | 第198-200页 |
| ·Redundant requirement | 第200-201页 |
| ·Conflicting requirement | 第201-202页 |
| ·Requirement with the changing of time | 第202页 |
| ·Requirement with the changing of environment | 第202-203页 |
| Chapter four The analysis model of tolerance of inconsistent requirement based on Ontology technology | 第203-211页 |
| ·Outline of analysis model of software requirement | 第203页 |
| ·Tolerance inconsistent approaches based on the classical logic with tag | 第203-204页 |
| ·Solving method of inconsistent requirement based on target | 第204-207页 |
| ·Divarication Detection Technology | 第206页 |
| ·The treatment of divarication | 第206-207页 |
| ·The construction of requirement analysis model toleranced inconsistence based ontology | 第207-211页 |
| Chapter five Concluding remarks | 第211-213页 |
| Research of regquirements analysis method based on logical | 第213-275页 |
| Abstract | 第214-220页 |
| Chapter one Preface1 | 第220-222页 |
| ·The background of research on requirement analysis | 第220页 |
| ·The significance of the research on requirement analysis | 第220-221页 |
| ·The contents of the research on requirement analysis | 第221-222页 |
| Chapter two Overviews of non-canonical knowledge | 第222-241页 |
| ·Basic theory and key technology for handing non-canonical knowledge | 第222-223页 |
| ·The classification of non-canonical knowledge | 第223-224页 |
| ·The description of non-canonical knowledge | 第224-230页 |
| ·Framework method | 第225-226页 |
| ·Predicate method | 第226-228页 |
| ·Object-oriented method | 第228-229页 |
| ·Rough set method | 第229-230页 |
| ·The reasoning of non-canonical knowledge | 第230-241页 |
| ·Uncertainty reasoning10 | 第231-234页 |
| ·Probability inference | 第231-232页 |
| ·Credibility-based method | 第232-233页 |
| ·Fuzzy reasoning13 | 第233-234页 |
| ·Nonmonotonic reasoning | 第234-236页 |
| ·Nonmonotonic reasoning14 | 第234-235页 |
| ·Default reasoning | 第235-236页 |
| ·Paraconsistent logic reasoning | 第236-241页 |
| ·Paraconsistent logic | 第236-237页 |
| ·Annotated predicate calculus | 第237-241页 |
| Chapter three Ontology and object-oriented technology | 第241-252页 |
| ·The formalization of ontology | 第241-246页 |
| ·The definition of ontology | 第241页 |
| ·The composition of ontology | 第241-242页 |
| ·The design principles of ontology | 第242页 |
| ·The classification of ontology | 第242-243页 |
| ·The description language of ontology | 第243-244页 |
| ·The development of ontology language .22 | 第243页 |
| ·The type of description language of ontology | 第243-244页 |
| ·Methods for construction ontology | 第244-245页 |
| ·The application of ontology | 第245-246页 |
| ·The overview of object-oriented Technology | 第246-249页 |
| ·The basic concept | 第246-247页 |
| ·Object-oriented software development technology | 第247-249页 |
| ·Object-Oriented Analysis | 第248页 |
| ·Object-oriented design | 第248-249页 |
| ·Implementation of Object-Oriented | 第249页 |
| ·The relations of ontology and object-oriented technology | 第249-252页 |
| Chapter four Overviews of non-canonical software requirements | 第252-265页 |
| ·Non-canonical knowledge in requirements | 第252-256页 |
| ·The definition of non-canonical requirements | 第253页 |
| ·The classification of non-canonical requirements | 第253-254页 |
| ·The description of non-canonical requirement | 第254-256页 |
| ·The cause of non-canonical requirements | 第256页 |
| ·The management framework of non-canonical requirements | 第256-259页 |
| ·The classical management framework of inconsistency requirements | 第257-258页 |
| ·The expanded management framework of inconsistency requirement | 第258-259页 |
| ·The main methods of inconsistency requirement | 第259-265页 |
| ·Handing inconsistency requirement | 第259-262页 |
| ·Detecting, evaluation and measuring inconsistency requirements | 第262-265页 |
| Chapter five Overviews of requirement engineering | 第265-274页 |
| ·Requirement engineering | 第265-266页 |
| ·The phases of requirement engineering | 第266-267页 |
| ·The method of requirement engineering | 第267-274页 |
| ·The method of requirement elicitation | 第267-269页 |
| ·The method of requirement analysis | 第269-273页 |
| ·Analysis of the current requirement for the Exploration | 第273-274页 |
| ·The non-technology problem of requirement engmeermg | 第274-275页 |
