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

£36.15

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

Name: Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 37.5 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 5 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £36 (3 days, 60.0%)

Price range: £36 - £38

Price levels: 2 different prices over 5 days

Description

In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities. The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptionsas formal, mathematical quantities. This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph. The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3030734862
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 10 November 2022
Listed Since: 13 October 2022

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

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

Domain Engineering: Product Lines, Languages, and Conceptual Models

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

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

Requirements Engineering For Sociotechnical Systems

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

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

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

Requirements Engineering: Laying a Firm Foundation (Textbooks in Telecommunication Engineering)

Relating Software Requirements and Architectures

Variable Domain-specific Software Languages with DjDSL: Design and Implementation

Springer - Composing Model-Based Analysis Tools Book

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

Software Engineering: A Methodical Approach, 2nd Edition

Software Engineering: A Methodical Approach, 2nd Edition

Springer - Conquering Complexity Software Engineering Book

What Every Engineer Should Know about Software Engineering

Requirements Engineering: Fundamentals, Principles, and Techniques

Guide to Simulation-Based Disciplines: Advancing Our Computational Future (Simulation Foundations, Methods and Applications)

Developing Information Systems Accurately: A Wholistic Approach

Foundations of Software Engineering

Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications)