Domain Science and Engineering: A Foundation for Software Development

The author explains domain engineering and the underlying science, and how we can derive requirements prescriptions for computing systems from domain descriptions. It emphasizes a methodological approach by treating analysis and description principles, techniques, and tools, and is supported by a primer to the formal specification language RSL and extensive indexes.

Format: Paperback / softback
Length: 401 pages
Publication date: 10 November 2022
Publisher: Springer Nature Switzerland AG

Domain engineering is a field that delves into the intricate understanding of domains and their underlying science. It aims to derive requirements prescriptions for computing systems from domain descriptions, providing a comprehensive approach to software development. The author's central maxim is that before software can be designed, it is essential to comprehend its requirements, and before requirements can be prescribed, a thorough analysis and description of the domain must be undertaken.

A domain, as defined by the author, encompasses a rationally describable discrete dynamics segment of human activity, encompassing natural and man-made artefacts. Examples of domains include road, rail, and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. This book specifically focuses on issues of seemingly large systems, rather than small algorithms, and emphasizes descriptions as formal, mathematical quantities.

This is the first thorough monograph treatment of the new software engineering phase of software development, preceding requirements engineering. It emphasizes a methodological approach by delving into analysis and description principles, techniques, and tools. The book bases its domain modeling on fundamental philosophical principles, offering a fresh perspective in the field of computer science monographs.

The book holds immense value for computer scientists engaged in formal specifications of software. The author reveals this as a field of intriguing problems, with most chapters including pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a comprehensive primer to the formal specification language RSL, along with extensive examples and case studies.

In conclusion, domain engineering is a crucial field that bridges the gap between understanding domains and developing effective computing systems. By emphasizing a methodological approach, treating analysis and description principles, techniques, and tools, and basing domain modeling on fundamental philosophical principles, this book provides valuable insights for computer scientists and software engineers alike. It serves as a valuable resource for advancing the field of software development and improving the quality and reliability of software systems.

Weight: 795g
Dimension: 254 x 178 (mm)
ISBN-13: 9783030734862
Edition number: 1st ed. 2021