{"product_id":"9780792378891","title":"The International Series on Asian Studies in Computer and Information Science: A Formal Approach","description":"\u003ch1\u003eThe International Series on Asian Studies in Computer and Information Science: A Formal Approach\u003c\/h1\u003e \u003ch2\u003eRuqian Lu; Zhi Jin\u003c\/h2\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2000-08-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792378891\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-4487-6\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 347\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":46265557745804,"sku":"9780792378891","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792378891.jpg?v=1770783610","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792378891","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}