Accession Number : ADP005562
Title : Formal Methods: Present and Future,
Corporate Author : PRAXIS SYSTEMS PLC BATH (ENGLAND)
Personal Author(s) : Jackson,M. I.
Report Date : 10 MAY 1985
Pagination or Media Count : 9
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.
Descriptors : *COMPUTER PROGRAMMING, *SYSTEMS ENGINEERING, INDUSTRIAL RESEARCH, METHODOLOGY, PLANNING, PROBLEM SOLVING
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE