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: 36.15 GBP
Availability: InStock

Introduction to Programming

This is the usual price. Wait for it to drop, or tell us your number.

£36 today · usual range £0–£0 · best ever £8

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 600 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £7.82-33 (340 days, 56.7%)

Price range: £7.82 - £134

Price levels: 5 price ranges over 600 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)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Domain Engineering: Product Lines, Languages, and Conceptual Models

Domain-Driven Design: Tackling Complexity in the Heart of Software

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

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

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

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

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)

Handbook of Research on Pathways and Opportunities Into the Business of Esports

Software-Wiederverwendung: Konzeption einer domänenorientierten Architektur (Programm Angewandte Informatik)

Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Developing Information Systems Accurately: A Wholistic Approach

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Foundations of Software Engineering

Feature-Oriented Software Product Lines: Concepts and Implementation

Stable Design Patterns for Software and Systems

Implementing Domain-Driven Design

Springer - Specification and Verification of Multi-agent Systems

Relating Software Requirements and Architectures

Complex, Intelligent, and Software Intensive Systems: Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive ... in Intelligent Systems and Computing, 611)

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

Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

How to Engineer Software: A Model-Based Approach