This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Maße
Höhe: 240 mm
Breite: 165 mm
Dicke: 29 mm
Gewicht
ISBN-13
978-0-201-08004-9 (9780201080049)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Table of Contents.
Introduction.
Requirements Analysis.
Functional Specification.
Architectural Design.
Implementation.
Evolution.
Support Environment.
Research.
Directions.
Appendices.
