Software Engineering 1: Abstraction And Modelling

Download

E-Book Overview

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)"

E-Book Content

Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the European Association for Theoretical Computer Science (EATCS) Advisory Board: G. Ausiello M. Broy C.S. Calude A. Condon D. Harel J. Hartmanis T. Henzinger J. Hromkovic N. Jones T. Leighton M. Nivat C. Papadimitriou D. Scott D. Bj0rner Software Engineering 1 Abstraction and Modelling With 38 Figures 4Q Spri ringer Author Series Editors Prof. Dr. Dines Bj0rner Computer Science and Engineering Informatics and Mathematical Modelling Richard Petersens Plads 2800 Kgs. Lyngby, Denmark [email protected] Prof. Dr. Wilfried Brauer Institut fiir Informatik der TUM Boltzmannstr. 3 85748 Garching, Germany [email protected] Prof. Dr. Grzegorz Rozenberg Leiden Institute of Advanced Computer Science University of Leiden Niels Bohrweg 1 2333 CA Leiden, The Netherlands
You might also like

The Essential Turing: Seminal Writings In Computing, Logic, Philosophy, Artificial Intelligence, And Artificial Life, Plus The Secrets Of Enigma
Authors: Alan M. Turing , B. Jack Copeland    159    0

Algorithms For Programmers: Ideas And Source Code
Authors: Arndt J.    209    0

Algorithmes Paralleles Pour Le Calcul Formel: Algebre Lineaire Creuse Et Extensions Algebriques
Authors: Dumas J.-G.    127    0

Distributed Computing: Principles, Algorithms, And Systems
Authors: Ajay D. Kshemkalyani , Mukesh Singhal    66    0

Introduction To Parallel Computing: [a Practical Guide With Examples In C]
Authors: W. P. Petersen , P. Arbenz    83    0

A Concise Introduction To Data Compression
Authors: David Salomon    93    0

Algorithms And Complexity
Authors: Herbert S. Wilf    100    0

Computer Graphics And Geometric Modeling. Mathematics
Authors: Max K. Agoston    127    0

An Introduction To Fractal Image Compression
   97    0

3d Structure From Images — Smile 2000: Second European Workshop On 3d Structure From Multiple Images Of Large-scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers
Authors: Paul Debevec (auth.) , Marc Pollefeys , Luc Van Gool , Andrew Zisserman , Andrew Fitzgibbon (eds.)    107    0