.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Mural
Jones, C.B.; Jones, K.D.; Lindsay, P.A.; Moore, R.D.
€ 68.92
FREE Delivery in Ireland
Description for Mural
perfect. This is an introduction to MURAL, a software-support system that aims to create a user-friendly software environment which makes the best use of human talents to produce well-designed computer systems. The text describes the requirements, concepts and realization of the MURAL system. Num Pages: 421 pages, 8 black & white illustrations. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 753.
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones ... Read more Show Less
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones ... Read more Show Less
Product Details
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
421
Condition
New
Number of Pages
421
Format
Paperback
Place of Publication
Berlin, Germany
ISBN
9783540196518
SKU
V9783540196518
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Mural