Accession Number:

ADP005562

Title:

Formal Methods: Present and Future,

Descriptive Note:

Corporate Author:

PRAXIS SYSTEMS PLC BATH (ENGLAND)

Personal Author(s):

Report Date:

1985-05-10

Pagination or Media Count:

9.0

Abstract:

It is widely accepted that industrial software production has a number of associated difficulties and problems. These include the following 1 The proportion of system costs due to software has increased dramatically over the last 20 years and is continuing t do so. This poses major problems for technical management who are frequently qualified and experienced in more traditional engineering discipline 2 A major skill shortage exists in software and is expected to continue to increase 3 The quality of delivered software is frequently inadequate in performance and reliability 4 Software projects are subject to frequent cost and timescale over-runs. The causes are usually inadequate engineering methods to handle the complexity of systems and inadequate project management techniques and 5 There is at present relatively little underlying theory or generally accepted good practice on which to base an software engineering approach. As a consequence, software systems tend to be crafted rather than engineered. These and related problems have by now received world-wide recognition. A number of major initiatives have consequently been instituted to address these issues, for example, the Alvey Software Engineering programme and the ESPRIT Software Technology programme.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE