E-Book Overview
This book is intended for anyone who plans, designs and implements software systems, for anyone who is involved with quality assurance, and hence for anyone who is interested in the practicability of modern concepts, methods and tools in the software development process. The book aims at software engineers and at students with specialized interests in the area of software engineering. The reader is expected to be familiar with the fundamental concepts of software engineering. In writing the book, the authors tap years of experience in industrial projects and research work in the development of methods and tools that support the software development process. Perhaps now more than ever, the buzzword "software crisis" serves to alert us that software systems are often error-prone, that significant diffi culties arise in mastering complexity in the production of software systems, and that the acceptance and adequacy of software products is significantly lower than is the case with other technical products. The following goals have been suggested for the improvement of the software development process: • exact fulfillment of user requirements • increased reliability and robustness • greater modularity of both the development process and the product • simple and adequate operation, i. e. , better ergonomics • easy maintainability and extensibility • cost-effective portability • increased reusability of software components • reduced costs for production, operation and maintenance VI Preface Research and development work in the area of software engineering has in creased dramatically in recent years.
E-Book Content
Texts and Monographs in Computer Science Editor David Gries Advisory Board F.L.Bauer S. D. Brookes C. E. Leiserson M.Sipser Texts and Monographs in Computer Science Suad Alagic Object-Oriented Database Programming 1989. XV, 320 pages, 84 illus. SuadAlagic Relational Database Technology 1986. XI, 259 pages, 114 illus. Suad Alagic and Michael A Arbib The Design orWell-Structured and Correct Programs 1978. X, 292 pages, 68 illus. S. Thomas Alexander Adaptive Signal Processing: Theory and Applications 1986. IX, 179 pages, 42 iIIus. Michael A Arbib, AJ.Kfoury, and Robert N.MolI A Basis ror Theoretical Computer Science 1981. VIII, 220 pages, 49 illus. Friedrich L. Bauer and Hans W6ssner Algorithmic Language and Program Development 1982. XVI, 497 pages, 109 iIIus. Walter Bischotberger and Gustav Pomberger Prototyping-Oriented Software Development, Concepts and Tools 1992. XI, 215 pages, 89 illus. Kaare Christian A Guide to Modula-2 1986. XIX, 436 pages, 46 illus. Edsger W. Dijkstra Selected Writings on Computing: A Personal Perspective 1982. XVII, 362 pages, 13 illus. Edsger W. Dijkstra and Carel S. Scholten Predicate Calculus and Program Semantics 1990. XII, 220 pages W. H. 1. Feijen, A. 1. M. van Gasteren, D. Gries, and J. Misra, Eds. Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra 1990. X, 425 pages, 36 illus. P. A Fejer and D. A. Simovici Mathematical Foundations or Computer Science, Volume I: Sets, Relations, and Induction 1990. X, 425 pages, 36 illus. Melvin Fitting First-Order Logic and Automated Theorem Proving 1990. XIV, 242 pages, 26 iIIus. continued after index W. Bischofberger G. Pomberger Prototyping-Oriented Software Development Concepts and Tools With 89 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest Authors Walter R. Bischofberger Schweizerische Bankgesellschaft Abt. UBI LAB, Postfach CH-8021 ZOrich, Switzerland Gustav Pomberger Institut fOr Wirtschaftsinformatik und Organisationsforschung Johannes-Kepler-Universitat AltenbergerstraBe 69 A-4040 Linz, Austria