The book is currently out of stock
More about the book
The author delves into domain engineering, illustrating its scientific foundations and demonstrating how to extract requirements prescriptions for computing systems from domain descriptions. The work emphasizes the representation of domain descriptions, requirements prescriptions, and software design specifications as mathematical entities, offering a unique perspective on the intersection of mathematics and software development.
Book purchase
Domain Science and Engineering, Dines Bjørner
- Language
- Released
- 2022
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Subtitle
- A Foundation for Software Development
- Language
- English
- Authors
- Dines Bjørner
- Publisher
- Springer International Publishing
- Released
- 2022
- Format
- Paperback
- Pages
- 420
- ISBN13
- 9783030734862
- Series
- Description
- The author delves into domain engineering, illustrating its scientific foundations and demonstrating how to extract requirements prescriptions for computing systems from domain descriptions. The work emphasizes the representation of domain descriptions, requirements prescriptions, and software design specifications as mathematical entities, offering a unique perspective on the intersection of mathematics and software development.