Related Books
Language: en
Pages: 333
Pages: 333
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The second half of the twentieth century has witnessed remarkable advances in technology. The unquestioned leader in this race has been computer technology. Eve
Language: en
Pages: 383
Pages: 383
Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solut
Language: en
Pages: 264
Pages: 264
Language: en
Pages: 369
Pages: 369
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4.
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 1997 - Publisher: Addison-Wesley Professional
This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada