Program Development By Refinement Case Studies Using The B Method(1st Edition)
Authors:
Emil Sekerinski ,Kaisa Sere
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 1852330538, 978-1852330538
Book publisher: Springer
Book Price $0 : 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 From Specification To Implementation Can Then Proceed By A Succession Oflayers, Such That Each Layer Is A Refinement Of The Previous One. Design Decisions Can Be Introduced In Refinement Steps One At A Time. By This, The Refinement Steps Can Be Kept Small And Manageable. Still, The Set Of All Requirements Can Be Far Too Large To Be Taken Completely Into Account In The Initial Specification. Even If They Could, They Might Obscure Issues More Than Clarify Them. For Example: • An Information System For Stored Goods Needs To Produce An Error Message On Il Legal Input. Yet, The Exact Wording - And Even The Language - Of Those Messages Is Irrelevant For An Understanding Of The Essence Of The System. • A Banking Application Interacts With Customers With A Graphical Interface. Yet The Specification Of The Graphical Layout Is Secondary Compared To The Specification Of The Possible Transactions.
Customers also bought these books
Forced-Flow Layer Chromatography - 1st Edition
Erno E Tyihak
ISBN: 0124202128, 9780124202122
$0 $50.00
Classical And Discrete Differential Geometry Theory Applications And Algorithms - 1st Edition
David Xianfeng Gu
ISBN: 1032390174, 9781032390178
$55.99 $79.99
Numerical Methods For Engineers - 5th Edition
Steven C. Chapra
ISBN: 978-0071244299, 0071244298
$0 $52.99
Financial Accounting an introduction to concepts, methods and uses - 13th Edition
Clyde P. Stickney
ISBN: 978-0538776080, 324651147, 538776080, 9780324651140, 978-0324789003
$228.87 $326.95
Implementation And Application Of Functional Languages 22nd International Symposium Ifl 2010 Alphen Aan Den Rijn The Netherlands September 1 3 - 1st Edition
Jurriaan Hage
ISBN: 3642242758, 978-3642242755
$0 $69.99
Approximation Algorithms For Combinatorial Optimization International Workshop Approx98 Aalborg Denmark July 18 19 1998 Proceedings - 1st Edition
Klaus Jansen
ISBN: 3540647368, 978-3540647362
$0 $47.29
The 2 Tuple Linguistic Model Computing With Words In Decision Making - 1st Edition
Luis Martinez
ISBN: 3319796658, 978-3319796659
$0 $54.99
Streetsmart Project Management The Art Of Getting Things Done - 1st Edition
Erik Lange
ISBN: 173243266X, 978-1732432666
$0 $19.99
The Last Pass Cousy Russell The Celtics And What Matters In The End - 1st Edition
Gary M Pomerantz
ISBN: 0735223637, 978-0735223639
$0 $9.49
Hospitality Financial Accounting - 2nd Edition
Jerry J. Weygandt
ISBN: 9780470598092, 470083603, 978-0470083604
$62.99 $89.99
Hello Rainbow A Peep Through Book About Colors - 1st Edition
Igloobooks
ISBN: 1789050839, 978-1789050837
$0 $6.98
Relational And Algebraic Methods In Computer Science 17th International Conference Ramics 2018 Groningen The Netherlands October 29 November 1 Notes In Computer Science Book 11194 - 1st Edition
Jules Desharnais
ISBN: B07JKQ7X9S, 978-3030021498
$0 $21.42
Beyond The Third Dimension Geometry Computer Graphics And Higher Dimensions By Thomas F Banchoff - 1st Edition
Thomas Banchoff
ISBN: B01FKUR4BM
$71.22 $101.74Popular Among Students
Distribution Planning And Control Managing In The Era Of Supply Chain Management - 3rd Edition
David Frederick Ross
ISBN: 1489977279, 978-1489977274
$176.83 $252.61
Quantitative Methods For Management A Practical Approach - 1st Edition
Miguel Angel Canela
ISBN: 3030175561, 978-3030175566
$62.73 $89.61
Project Management For Planners A Practical Guide - 1st Edition
Terry A. Clark
ISBN: 1884829635, 978-1884829635
$129.21 $184.59
Facility Management For Beginners The New Facility Managers Quickstart Guide To Becoming A Facility Superhero - 1st Edition
Mr Gary Robert Ward
ISBN: 0639773796, 978-0639773797
$0 $15.97
Marijuana Law Policy And Authority - 1st Edition
Robert A. Mikos
ISBN: 1454859423, 9781454859420
$219.8 $314.00
Metazoa Morphology And Evolution Of Animals A Practical Guide To The Dissection And Comparative Study Of Animals - 1st Edition
Achim Paululat
ISBN: 3662699036, 978-3662699034
$0 $66.99
Recent Trends In Algebraic Development Techniques 16th International Workshop Wadt 2002 Frauenchiemsee Germany September 24 27 2002 Revised - 1st Edition
Martin Wirsing
ISBN: 3540205373, 978-3540205371
$0 $19.49
Models Of Sharing Graphs A Categorical Semantics Of Let And Letrec - 1st Edition
Masahito Hasegawa
ISBN: 1852331453, 978-1852331450
$0 $7.05
Types For Proofs And Programs International Workshop Types 2006 Nottingham Uk April 18 21 2006 Revised Selected Papers - 1st Edition
Thorsten Altenkirch
ISBN: 3540744630, 978-3540744634
$0 $54.99
Unofficial Guide To Ancestry Com How To Find Your Family History On The #1 Genealogy Website - 1st Edition
Nancy Hendrickson
ISBN: 1440353263, 978-1440353260
$0 $16.50
The Safest Place Possible A Guide To Healing And Transformation - 1st Edition
Debbie Mirza
ISBN: 0998621307, 978-0998621302
$0 $8.40
Iso 27001 Compliance In Action Transforming Policies Into Practical Lasting Security Solutions A Hands On Guide To Implementing Monitoring And Sustaining Practices - 1st Edition
Dr Mohamed Ali Ibrahim
ISBN: B0F3XZBCG8
$0 $40.00