Software Engineering 1: Abstraction and Modelling

Dines Bjørner

ISBN 10: 3642059392 / ISBN 13: 9783642059391

Editore: Springer Berlin Heidelberg, 2006

Riguardo questo articolo

754 pages. 9.00x6.00x1.71 inches. In Stock.

Codice articolo x-3642059392

Dati bibliografici

• Titolo: Software Engineering 1: Abstraction and Modelling
• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 2006
• Lingua: Inglese
• ISBN 10: 3642059392
• ISBN 13: 9783642059391
• Rilegatura: Paperback
• Condizione: Brand New
• Peso: 1,1 chilogrammi

Descrizione articolo

Riassunto

This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming.

Recensione

From the reviews:

"The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones ... is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. ... By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)