Domain Modeling Based Software Engineering

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 ...

Domain Modeling Based Software Engineering

Author: Ruqian Lu

Publisher: Springer Science & Business Media

ISBN: 1461544874

Page: 347

View: 238

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.

Related Books:

Domain Modeling-Based Software Engineering
Language: en
Pages: 347
Authors: Ruqian Lu, Zhi Jin
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

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
Environment Modeling-Based Requirements Engineering for Software Intensive Systems
Language: en
Pages: 288
Authors: Zhi Jin
Categories: Computers
Type: BOOK - Published: 2017-12-14 - Publisher: Morgan Kaufmann

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the book presents a new view
Topological UML Modeling
Language: en
Pages: 276
Authors: Janis Osis, Uldis Donins
Categories: Computers
Type: BOOK - Published: 2017-06-16 - Publisher: Elsevier

Topological UML Modeling: An Improved Approach for Domain Modeling and Software Development presents a specification for Topological UML® that combines the formalism of the Topological Functioning Model (TFM) mathematical topology with a specified software analysis and design method. The analysis of problem domain and design of desired solutions within software
How to Engineer Software
Language: en
Pages: 1168
Authors: Steve Tockey
Categories: Computers
Type: BOOK - Published: 2019-11-05 - Publisher: John Wiley & Sons

A guide to the application of the theory and practice of computing to develop and maintain software that economically solves real-world problem How to Engineer Software is a practical, how-to guide that explores the concepts and techniques of model-based software engineering using the Unified Modeling Language. The author—a noted expert
Formal Methods and Software Engineering
Language: en
Pages: 636
Authors: Chris George, Huaikou Miao
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108