Stock image for illustration purposes only - book cover, edition or condition may vary.
Program Development by Refinement
. Ed(S): Sekerinski, Emil; Sere, Kaisa
€ 242.10
FREE Delivery in Ireland
Description for Program Development by Refinement
Paperback. A collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples and they cover areas for which the B Method was originally conceived as well as areas such as data structures. Editor(s): Sekerinski, Emil; Sere, Kaisa. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 364 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 511.
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Once a specification is obtained from the set of requirements on the program, there can still be a large gap to an efficient implementation. The development ... Read more
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Once a specification is obtained from the set of requirements on the program, there can still be a large gap to an efficient implementation. The development ... Read more
Product Details
Format
Paperback
Publication date
1998
Publisher
Springer London Ltd United Kingdom
Number of pages
364
Condition
New
Series
Formal Approaches to Computing & Information Technology (FACIT)
Number of Pages
364
Place of Publication
England, United Kingdom
ISBN
9781852330538
SKU
V9781852330538
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Program Development by Refinement