Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series) free ebook download.

Home : Book details

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series) free ebook download

Category:
Computer Science

Views: 193
Likes: 41

Catalogue

Author(s):	Dines Bjorner

Date:	2021	Format:	pdf	Language:	English	ISBN/ASIN:	3030734838
Pages:	419	OCR:		Quality:		ISBN13:
Uploader:	topron	Upload Date:	11/13/2021 2:30:28 PM

To download click on link in the Links Table below

Description: Click to see full 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 descriptions as formal, mathematical quantities.
Read more

Links Table

	Title	Link	Password	Size (MB)	Thank to	Inform Admin
3050416	Book	https://tezfiles.com/file/f8a90870f7260/...		0.00	topron

Tags: Computer Development Domain EATCS Engineering Foundation Monographs Science Software Theoretical

Title	Link	Password	Size	Reason

Those who downloaded this book also downloaded the following books:

Comments

New comment: