Domain Science and Engineering: A Foundation for Software Development

by Dines Bjørner

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 3030734862
• ISBN13: 9783030734862
• Release Date: November 2022
• Publisher: Springer
• Length: 401 Pages
• Weight: 1.60 lbs.
• Dimensions: 0.9" x 7.0" x 10.0"