Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebraic Foundations of Systems Specification
. Ed(S): Astesiano, Egidio; Kreowski, Hans-Jorg; Krieg-Bruckner, Bernd
€ 67.39
FREE Delivery in Ireland
Description for Algebraic Foundations of Systems Specification
paperback. Editor(s): Astesiano, Egidio; Kreowski, Hans-Jorg; Krieg-Bruckner, Bernd. Series: IFIP State-of-the-Art Reports. Num Pages: 616 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 942.
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the ... Read more
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
616
Condition
New
Series
IFIP State-of-the-Art Reports
Number of Pages
616
Place of Publication
Berlin, Germany
ISBN
9783642641510
SKU
V9783642641510
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebraic Foundations of Systems Specification