𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Software Engineering for Large Software Systems

✍ Scribed by K. H. Bennett (auth.), B. A. Kitchenham (eds.)


Publisher
Springer Netherlands
Year
1990
Tongue
English
Leaves
381
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


These proceedings include tutorials and papers presented at the Sixth CSR ConferΒ­ ence on the topic of Large Software Systems. The aim of the Conference was to identify solutions to the problems of developing and maintaining large software systems, based on approaches which are currently being undertaken by software practitioners. These proceedings are intended to make these solutions more widely available to the software industry. The papers from software practitioners describe: β€’ important working systems, highlighting their problems and successes; β€’ techniques for large system development and maintenance, including project management, quality management, incremental delivery, system security, inΒ­ dependent V & V, and reverse engineering. In addition, academic and industrial researchers discuss the practical impact of current research in formal methods, object-oriented design and advanced environΒ­ ments. The keynote paper is provided by Professor Brian Warboys of ICL and the University of Manchester, who masterminded the development of the ICL VME Operating System, and the production of the first database-driven software enΒ­ gineering environment (CADES). The proceedings commence with reports of the two tutorial sessions which preceded the conference: β€’ Professor Keith Bennett of the Centre for Software Maintenance at Durham University on Software Maintenance; β€’ Professor John McDermid of the University of York on Systems Engineering Environments for High Integrity Systems. The remaining papers deal with reports on existing systems (starting with Professor Warboys' keynote paper), approaches to large systems development, methods for large systems maintenance and the expected impact of current research.

✦ Table of Contents


Front Matter....Pages i-x
The Software Maintenance of Large Software Systems: Management, Methods and Tools....Pages 1-26
Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems....Pages 27-83
Reflections on a large software development project....Pages 84-95
A Large Embedded System Project Case Study....Pages 96-121
Design of A Flight and Radar Data Processing System for the Support of Air Traffic Control....Pages 122-140
An Architecture for Multi-Vendor Systems....Pages 141-155
Incremental Development and Delivery for Large Software Systems....Pages 156-195
Independence in Verification and Validation....Pages 196-208
The Recovery of Software Projects....Pages 209-219
Software Reliability Improvement - the Fault Free Factory (A Case Study)....Pages 220-235
Structuring Trust in A Large General Purpose Operating System....Pages 236-251
Software Re-Engineering - An Intermediate Approach....Pages 252-266
The Maintenance of Large, Real-Time Embedded Systems From the Perspective of Knowledge Engineering....Pages 267-280
A Practical Procedure for Introducing Data Collection (with examples from Maintenance)....Pages 281-304
Process Support Environments and Their Application to Large Scale Systems....Pages 305-314
Object-Oriented Design: A Teenage Technology....Pages 315-324
Software Architecture Modelling....Pages 325-344
Mathematics as a Management Tool: Proof Rules for Promotion....Pages 345-365
Back Matter....Pages 367-373

✦ Subjects


Software Engineering/Programming and Operating Systems


πŸ“œ SIMILAR VOLUMES


Requirements Engineering for Software an
✍ Phillip A. Laplante, Mohamad Kassab πŸ“‚ Library πŸ“… 2022 🌐 English

<p><span>Solid requirements engineering has increasingly been recognized as the key to improved, on-time, and on-budget delivery of software and systems projects. New software tools are emerging that are empowering practicing engineers to improve their requirements engineering habits. However, these

Software Engineering for Large-Scale Mul
✍ Viviane Silva, Alessandro Garcia, Anarosa BrandΓ£o, Christina Chavez, Carlos Luce πŸ“‚ Library πŸ“… 2003 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomo

Software Engineering for Self-Adaptive S
✍ Betty H. C. Cheng, RogΓ©rio de Lemos, Holger Giese, Paola Inverardi, Jeff Magee ( πŸ“‚ Library πŸ“… 2009 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognised its key role in enabling the development of future software systems that are able to self-adapt to changes that m

Software Engineering for Self-Adaptive S
✍ Betty H. C. Cheng, RogΓ©rio de Lemos, Holger Giese, Paola Inverardi, Jeff Magee ( πŸ“‚ Library πŸ“… 2009 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognised its key role in enabling the development of future software systems that are able to self-adapt to changes that m

Requirements Engineering for Software an
✍ Phillip A. Laplante πŸ“‚ Library πŸ“… 2017 πŸ› Auerbach Publications 🌐 English

<p>Solid requirements engineering has increasingly been recognized as the key to improved, on-time, and on-budget delivery of software and systems projects. This textbook provides a comprehensive treatment of the theoretical and practical aspects of discovering, analyzing, modeling, validating, test

Requirements Engineering for Software an
✍ Phillip A. Laplante πŸ“‚ Library πŸ“… 2022 πŸ› CRC Press 🌐 English

Solid requirements engineering has increasingly been recognized as the key to improved, on-time, and on-budget delivery of software and systems projects. New software tools are emerging that are empowering practicing engineers to improve their requirements engineering habits. However, these tools ar