Domain modeling-based software engineering a formal approach
著者
書誌事項
Domain modeling-based software engineering a formal approach
(Kluwer international series on Asian studies in computer and information science, 8)
Kluwer Academic Publishers, c2000
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. Thus, the integration of different approaches has also become a major area of research.
No approach can be said to be perfect if it fails to satisfy the following two criteria. Firstly, a good approach should support the full life cycle of software development. Secondly, a good approach should support the development of large-scale software for real use in many application domains. Such an approach can be referred to as a five-in-one approach.
The authors of this book have, for the past eight years, conducted research in knowledge-based software engineering, of which the final goal is to develop a paradigm for software engineering which not only integrates the three approaches mentioned above, but also fulfils the two criteria on which the five-in-one approach is based. Domain Modeling- Based Software Engineering: A Formal Approach explores the results of this research.
Domain Modeling-Based Software Engineering: A Formal Approach will be useful to researchers of knowledge-based software engineering, students and instructors of computer science, and software engineers who are working on large-scale projects of software development and want to use knowledge-based development methods in their work.
目次
List of Figures. List of Tables. Foreword. Acknowledgments. Part I: Introduction. 1. Challenge of the ERA. Part II: Domain Analysis and Domain Modeling. 2. Ontology-Oriented Domain Analysis: The Foundation. 3. Ontology-Oriented Domain Analysis: The Dynamics. Part III: The Knowledge based Software Development. 4. Automating the Requirement Analysis. 5. OORA: Ontology Oriented Requirement Analysis. 6. Planning Software Architecture. Part IV: The Virtual Enterprise. 7. Intelligent Information Service. 8. Software Reuse and System Evolution. Part V: A Summary. 9. Summary and Assessment.
「Nielsen BookData」 より