Cooke | Constructing Correct Software | E-Book | sack.de
E-Book

E-Book, Englisch, 395 Seiten, eBook

Reihe: Formal Approaches to Computing and Information Technology (FACIT)

Cooke Constructing Correct Software

E-Book, Englisch, 395 Seiten, eBook

Reihe: Formal Approaches to Computing and Information Technology (FACIT)

ISBN: 978-1-4471-3985-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



Constructing Correct Software - The Basics
illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.
Cooke Constructing Correct Software jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


0 Introduction.- 1 The Specification of Functions I.- 1A The Specification of Functions II.- 2 Transformations I.- 2A Transformations II.- 3 Algorithm Extraction.- 4 Specifications Revisited (Quantifications etc.).- 5 Refinement.- 6 Sorting.- 7 Two Further Examples.- 8 The Broader Picture.- Appendix Transformation Digest.- A.1 Data Manipulation Rules.- A.2 Quantifier Properties.- A.3 ‘Not Occurs in’.- A.4 On PDL.- A.5 PDL Transformation Rules.


Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.