Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8) - Image 1

£144.39

Springer Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8)

Brand: Springer
Price: 146.46 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 18 days • 18 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 18 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £146 (12 days, 66.7%)

Price range: £144 - £146

Price levels: 2 different prices over 18 days

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.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 079237889X
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 31 August 2000
Listed Since: 15 December 2006

Barcode

No barcode data available

Springer Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification (The Enterprise Engineering Series)

Domain Engineering: Product Lines, Languages, and Conceptual Models

Integrating Research and Practice in Software Engineering: 851 (Studies in Computational Intelligence, 851)

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Model-Driven Domain Analysis and Software Development: Architectures and Functions (Premier Reference Source)

Springer - Formal Methods and Models for System Design Book

How to Engineer Software: A Model-Based Approach

Software Engineering: A Hands-On Approach

Springer - Composing Model-Based Analysis Tools Book

Strategic Software Engineering: An Interdisciplinary Approach

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Domain-Specific Languages: Effective Modeling, Automation, and Reuse

Mining Software Engineering Data for Software Reuse (Advanced Information and Knowledge Processing)

Mining Software Engineering Data for Software Reuse (Advanced Information and Knowledge Processing)

Non-Functional Requirements in Software Engineering: 5 (International Series in Software Engineering, 5)

Domain-Specific Modeling

Knowledge Management in the Development of Data-Intensive Systems

Software Engineering: A Methodical Approach, 2nd Edition

Software Engineering: A Methodical Approach, 2nd Edition

Model-Driven Engineering of Information Systems: Principles, Techniques, and Practice

Model-Driven Engineering of Information Systems: Principles, Techniques, and Practice