Domain Science and Engineering (Hardcover)

Sprache: Englisch

Verlag: Springer Nature Switzerland AG, Cham, 2021

3030734838 / 9783030734831

Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 22. Juni 2007

Hardcover

Zustand: Neu

EUR 259,35

EUR 33,16 Versand 
Versand von Australien nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Hardcover. 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 descriptionsas formal, mathematical quantities.This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph.The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Bestandsnummer des Verkäufers 9783030734831

Titel
Domain Science and Engineering (Hardcover)
Autor
Dines Bjorner
Verlag
Springer Nature Switzerland AG, Cham
Erscheinungsjahr
2021
Zustand
new
Einband
Hardcover
Sprache
Englisch
ISBN-10
3030734838
ISBN-13
9783030734831

AussieBookSeller

Truganina, VIC, Australien

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 22. Juni 2007

Versandkosten von Australien nach USA

Artikel25 bis 45 Werktage8 bis 14 Werktage
Erster ArtikelEUR 33,16EUR 39,43
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australien 3029