Constructing Correct Software: The Basics (Formal Approaches to Computing & Information Technology S.) - Tapa blanda

Cooke, John

 
9783540761563: Constructing Correct Software: The Basics (Formal Approaches to Computing & Information Technology S.)
Tapa blanda
ISBN 10: 354076156X ISBN 13: 9783540761563
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Año de publicación
1997
Idioma
Inglés
ISBN 10 
354076156X
ISBN 13 
9783540761563
Encuadernación
Tapa blanda
Número de páginas
256
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781852338206: Constructing Correct Software (FORMAL APPROACHES TO COMPUTING AND INFORMATION TECHNOLOGY)

Edición Destacada

ISBN 10:  1852338202 ISBN 13:  9781852338206
Editorial: Springer London, 2010
Tapa blanda