Linked Data Explorerhttp://worldcat.org/entity/work/id/837035149
Domain Modeling-Based Software Engineering a Formal Approach
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh85042288
- http://id.worldcat.org/fast/1124185
- http://id.loc.gov/authorities/subjects/sh87007398
- http://experiment.worldcat.org/entity/work/data/837035149#Topic/genie_logiciel
- http://id.loc.gov/authorities/subjects/sh99003622
- http://experiment.worldcat.org/entity/work/data/837035149#Topic/domain_engineering
- http://experiment.worldcat.org/entity/work/data/837035149#Topic/programmering
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/837035149#Topic/enginyeria_del_software
- http://experiment.worldcat.org/entity/work/data/837035149#Topic/software_engineering
- http://experiment.worldcat.org/entity/work/data/837035149#Topic/methodes_formelles_informatique
- http://id.worldcat.org/fast/932926
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/837035149#Topic/formal_methods_computer_science
- http://id.worldcat.org/fast/906956
http://schema.org/description
- "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."
http://schema.org/genre
- "Electronic books"
http://schema.org/name
- "Domain Modeling-Based Software Engineering a Formal Approach"
- "Domain modeling-based software engineering : a formal approach"
- "Domain Modeling-Based Software Engineering A Formal Approach"