Formal Engineering For Industrial Software Development Using The Sofl Method(1st Edition)
Authors:
Shaoying Liu
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3642058272, 978-3642058271
Book publisher: Springer
Book Price $0 : In Any Serious Engineering Discipline, It Would Be Unthinkable To Construct A Large System Without Having A Precise Notion Of What Is To Be Built And Without Verifying How The System Is Expected To Function. Software Engineering Is No Different In This Respect.Formal Methods Involve The Use Of Mathematical Notation And Calculus In Software Development; Such Methods Are Difficult To Apply To Large-scale Systems With Practical Constraints (e.g., Limited Developer Skills, Time And Budget Restrictions, Changing Requirements). Here Liu Claims That Formal Engineering Methods May Bridge This Gap. He Advocates The Incorporation Of Mathematical Notation Into The Software Engineering Process, Thus Substantially Improving The Rigor, Comprehensibility And Effectiveness Of The Methods Commonly Used In Industry.This Book Provides An Introduction To The SOFL (Structured Object-Oriented Formal Language) Method That Was Designed And Industry-tested By The Author. Written In A Style Suitable For Lecture Courses Or For Use By Professionals, There Are Numerous Exercises And A Significant Real-world Case Study, So The Readers Are Provided With All The Knowledge And Examples Needed To Successfully Apply The Method In Their Own Projects.
Customers also bought these books (16)
Transformation Of The Fiscal And Taxation Systems - 1st Edition
Kang Jia
ISBN: 9811625891, 978-9811625893
$65.37 $93.39
Theory And Application Of Uniform Experimental Designs - 1st Edition
Kai-Tai Fang
ISBN: 9811320403, 978-9811320408
$0 $42.99
Advanced Engineering Mathematics - 9th Edition
ERWIN KREYSZIG
ISBN: 0471488852, 978-0471488859
$0 $54.95
Instant Autocad Essentials Using Autocad 2000 - 1st Edition
Stephen J Ethier
ISBN: 0130305359, 978-0130305350
$0 $26.00
Augmented And Virtual Reality First International Conference Avr 2014 Lecce Italy September 17 20 2014 Revised Selected Papers - 1st Edition
Lucio Tommaso De Paolis
ISBN: 3319139681, 978-3319139685
$0 $41.99
Advances In Enterprise Engineering Iii 5th International Workshop Ciao 2009 And 5th International Workshop Eomas 2009 Held At Caise 2009 Notes In Business Information Processing 34 - 1st Edition
Antonia Albani
ISBN: 3642019145, 978-3642019142
$0 $41.99
Algorithmic Learning Theory - 1st Edition
Nicolo Cesa Bianchi
ISBN: 3540001700, 978-3540001706
$0 $6.38
Rpa Solution Architects Handbook Design Modern And Custom Rpa Solutions For Digital Innovation - 1st Edition
Sachin Sahgal
ISBN: 1803249609, 978-1803249605
$0 $13.36
Bullshift How Optimism Bias Threatens Your Finances - 1st Edition
John J. De Goey
ISBN: 145975090X, 978-1459750906
$0 $21.57
Our America Life And Death On The South Side Of Chicago - 1st Edition
Lealan Jones
ISBN: 0671004646, 978-0671004644
$0 $9.54
Introduction To Java Programming And Data Structures Comprehensive Version - 12th Edition
Y. Daniel Liang
ISBN: 0136520235, 978-0136520238
$89.65 $128.07
Quality Concepts For The Process Industry - 2nd Edition
Michael Speegle
ISBN: 1435482441, 978-1435482449
$0 $43.54
Americas First Clash With Iran The Tanker War 1987 88 - 1st Edition
Lee Allen Zatarain
ISBN: 1935149369, 978-1935149361
$0 $12.70
Instant Autocad Essentials Using Autocad 2000 - 1st Edition
Stephen J Ethier
ISBN: 0130305359, 978-0130305350
$0 $26.00
Conceptual Structures At Work 12th International Conference On Conceptual Structures Iccs 2004 Huntsville Al Usa July 19 23 2004 Proceedings - 1st Edition
Karl Erich Wolff
ISBN: 3540223924, 978-3540223924
$0 $35.68Popular Among Students (14)
Nuptse And Lhotse Go To The Rockies - 1st Edition
Jocey Asnong
ISBN: 1771600195, 978-1771600194
$0 $7.20
Learning Principles And Applications - 1st Edition
Stephen B Klein
ISBN: 1544323662, 978-1544323664
$0 $74.89
Structured Object Oriented Formal Language And Method 5th International Workshop Sofl+msvl 2015 Paris France November 6 2015 - 1st Edition
Shaoying Liu
ISBN: 3319312197, 978-3319312194
$0 $54.99
Structured Object Oriented Formal Language And Method International Workshop Sofl+msvl 2014 Luxembourg Luxembourg November 6 2014 Revised - 2015 Edition
Shaoying Liu
ISBN: 3319174037, 978-3319174037
$0 $44.99
Algorithmic Aspects In Information And Management Third International Conference Aaim 2007 Portland Or Usa June 6 8 2007 Proceedings - 1st Edition
Ming Yang Kao
ISBN: 3540728686, 978-3540728689
$0 $33.75
Simulationsmethoden In Der Medizin Und Biologie Workshop Hannover 29 Sept 1 Okt 1977 - 1st Edition
B Schneider
ISBN: 3540090509, 978-3540090502
$0 $56.99
Computer Information Systems And Industrial Management 16th Ifip Tc8 International Conference Cisim 2017 Bialystok Poland June 16 18 2017 Applications Incl Internet/Web And Hci - 1st Edition
Khalid Saeed
ISBN: 3319591045, 978-3319591049
$0 $41.99
Understanding Digital Photography Techniques For Getting Great Pictures - 1st Edition
Bryan Peterson
ISBN: 0817437967, 978-0817437961
$0 $18.00
Stahmans Shawls And Scarves Lace Faroese Shaped Shawls From The Neck Down And Seamens Scarves - 1st Edition
Myrna A I Stahman
ISBN: 0967542707, 978-0967542706
$0 $6.13