Domain Modeling-Based Software Engineering - A Formal Approach (Paperback, Softcover reprint of the original 1st ed. 2000)

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	The International Series on Asian Studies in Computer and Information Science, 8
Release date:	October 2012
First published:	2000
Authors:	Ruqian Lu • Zhi Jin
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	347
Edition:	Softcover reprint of the original 1st ed. 2000
ISBN-13:	978-1-4613-7022-2
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	1-4613-7022-1
Barcode:	9781461370222

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!