Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Domain Science and Engineering, Dines Bjørner
- Lingua
- Pubblicato
- 2022
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.
- Sottotitolo
- A Foundation for Software Development
- Lingua
- Inglese
- Autori
- Dines Bjørner
- Pubblicato
- 2022
- Formato
- In brossura
- Pagine
- 420
- ISBN13
- 9783030734862
- Serie
- Descrizione
- 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.