Constructing Correct Software: The Basics - Brossura

Cooke, John

Brossura

ISBN 10: 354076156X ISBN 13: 9783540761563

Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997

Riassunto

This is an explanation of the constructive approach to software development. It 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 quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. The book is designed to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for fourth or fifth 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.

Su questo libro

Contenuti

Table of contents: Introduction.- Performing Calculations: A First Look at Specifications. Transformations. Algorithm Extraction. More on Specifications. Refinement.- Extended Examples: Sorting. The Topological Sort. 2D Convex Hull Problem.- Building Software Systems: Communications and States. System Requirements. Representations of System Specifications. Reactions. Refinement and Design of SW Systems.- Mathematical Foundations: Equational Reasoning. Rule Sets.

Dettagli dell'edizione

• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 354076156X
• ISBN 13: 9783540761563
• Rilegatura: Copertina flessibile
• Numero edizione: 2
• Numero di pagine: 256
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania