Items related to Domain Science and Engineering: A Foundation for Software...

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

 
9783030734862: Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
View all copies of this ISBN edition:
 
 
  • PublisherSpringer
  • Publication date2022
  • ISBN 10 3030734862
  • ISBN 13 9783030734862
  • BindingPaperback
  • Edition number1
  • Number of pages419

Shipping: £ 9.98
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

Stock Image

Dines Bjà rner
Published by Springer (2022)
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Softcover Quantity: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)

Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783030734862_lsuk

More information about this seller | Contact seller

Buy New
£ 143.96
Convert currency

Add to Basket

Shipping: £ 9.98
From United Kingdom to U.S.A.
Destination, rates & speeds
Seller Image

BjØrner, Dines
Published by Springer (2022)
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Softcover Quantity: 5
Seller:
GreatBookPrices
(Columbia, MD, U.S.A.)

Book Description Condition: New. Seller Inventory # 45149857-n

More information about this seller | Contact seller

Buy New
£ 152.29
Convert currency

Add to Basket

Shipping: £ 2.07
Within U.S.A.
Destination, rates & speeds
Seller Image

BjÞrner, Dines
Published by Springer (2022)
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Soft Cover Quantity: 10
Seller:
booksXpress
(Bayonne, NJ, U.S.A.)

Book Description Soft Cover. Condition: new. Seller Inventory # 9783030734862

More information about this seller | Contact seller

Buy New
£ 154.43
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Seller Image

Bjørner, Dines
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Kartoniert / Broschiert Quantity: > 20
Print on Demand
Seller:
moluna
(Greven, Germany)

Book Description Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, require. Seller Inventory # 738836941

More information about this seller | Contact seller

Buy New
£ 134.89
Convert currency

Add to Basket

Shipping: £ 41.73
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

Dines Bjørner
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Taschenbuch Quantity: 2
Print on Demand
Seller:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Germany)

Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 420 pp. Englisch. Seller Inventory # 9783030734862

More information about this seller | Contact seller

Buy New
£ 159.60
Convert currency

Add to Basket

Shipping: £ 19.59
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

Dines Bjørner
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Taschenbuch Quantity: 1
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)

Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783030734862

More information about this seller | Contact seller

Buy New
£ 162.52
Convert currency

Add to Basket

Shipping: £ 28.10
From Germany to U.S.A.
Destination, rates & speeds
Stock Image

Bjørner, Dines
Published by Springer (2022)
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Softcover Quantity: > 20
Seller:
California Books
(Miami, FL, U.S.A.)

Book Description Condition: New. Seller Inventory # I-9783030734862

More information about this seller | Contact seller

Buy New
£ 208.61
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

Bjørner, Dines
Published by Springer (2022)
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Paperback Quantity: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)

Book Description Paperback. Condition: Brand New. 419 pages. 10.00x7.01x0.94 inches. In Stock. Seller Inventory # x-3030734862

More information about this seller | Contact seller

Buy New
£ 202.69
Convert currency

Add to Basket

Shipping: £ 10
From United Kingdom to U.S.A.
Destination, rates & speeds
Seller Image

BjÃrner, Dines
Published by Springer (2022)
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Softcover Quantity: 5
Seller:
GreatBookPricesUK
(Castle Donington, DERBY, United Kingdom)

Book Description Condition: New. Seller Inventory # 45149857-n

More information about this seller | Contact seller

Buy New
£ 210.09
Convert currency

Add to Basket

Shipping: £ 15
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

Bj Rner, Dines
Published by Springer (2022)
ISBN 10: 3030734862 ISBN 13: 9783030734862
New Softcover Quantity: 15
Seller:

Book Description Condition: New. Seller Inventory # V9783030734862

More information about this seller | Contact seller

Buy New
£ 217.45
Convert currency

Add to Basket

Shipping: £ 8.94
From Ireland to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book