{"product_id":"domain-modeling-based-software-engineering-a-formal-approach-9780792378891","title":"Domain Modeling-Based Software Engineering: A Formal Approach","description":"\u003cp\u003e • Author(s): Ruqian Lu\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eMany 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. \u003cbr\u003e 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. \u003cbr\u003e 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. \u003cem\u003eDomain\u003c\/em\u003e \u003cem\u003eModeling- Based Software Engineering: A Formal Approach\u003c\/em\u003e explores the results of this research. \u003cbr\u003e \u003cem\u003eDomain Modeling-Based Software Engineering: A Formal Approach\u003c\/em\u003e 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45284028448919,"sku":"9780792378891","price":14553.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780792378891.webp?v=1769279963","url":"https:\/\/atlanticbooks.com\/products\/domain-modeling-based-software-engineering-a-formal-approach-9780792378891","provider":"Atlantic Books","version":"1.0","type":"link"}