The development of information processing systems requires models, calculi, and theories for the analysis of computations. Complex software systems are best constructed in a careful, systematic, and disciplined structuring of the development process. Starting from basic requirement specifications in which all the relevant details are formalized, the envisaged solution should be developed step by step by adding more and more details and giving evidence or formal proofs to show the correctness of the steps, until a ...
Read More
The development of information processing systems requires models, calculi, and theories for the analysis of computations. Complex software systems are best constructed in a careful, systematic, and disciplined structuring of the development process. Starting from basic requirement specifications in which all the relevant details are formalized, the envisaged solution should be developed step by step by adding more and more details and giving evidence or formal proofs to show the correctness of the steps, until a description of a solution is obtained that has all the required properties. The Marktoberdorf Advanced Study Institute 1992 presented scientific highlights in approaches to the systematic study ofreliable software and hardware systems using functional, algebraic, and logical calculi. Leading scientists treated the specification, development, verification, and implementation of complex time-sensitive systems, such as signal processing systems, process control systems, and general software systems. The mathematical foundations of specification and refinement were carefully treated, and several formalisms for describing processes were introduced. Emphasis was put on application-oriented descriptions of signal processing systems with real-time dependencies. Formalisms for reasoning about distributed causality-based computations were presented and new styles of programming leading to shorter and more expressive notations were demonstrated. This book is based on the Institute, and gives an impressive demonstration of the state of the art and the essential progress in our formal abilities to specify, refine, verify, develop, and implement complex software systems including embedded systems and hard real-time dependent systems.
Read Less
Add this copy of Program Design Calculi to cart. $206.66, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Program Design Calculi to cart. $230.11, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2010 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2010
Language:
English
Alibris ID:
18709143859
Shipping Options:
Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Contains: Unspecified. NATO ASI Subseries F: . Includes unspecified. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Program Design Calculi to cart. $230.36, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2010 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2010
Language:
English
Alibris ID:
18709050995
Shipping Options:
Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Unspecified. NATO ASI Subseries F: . Includes unspecified. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
