SYNOPSIS
1998
TOWARDS THE REALISATION OF THE VALIDITY AND PRACTICABILITY OF SOME DISCIPLINES OF SYSTEMS PROGRAMMING AND SOFTWARE PROJECT MANAGEMENT DUE TO Prof.P.B.HANSEN/Prof.C.A.R.HOARE.
During their visits to India, in the seventies, the eminent Prof.C.A.R.Hoare and Prof.P.B.Hansen informally made suggestions to the budding foundation indigenous computer industry in India, on methodologies of programming, software development and software project management. Attempts at comprehension, realisations of validity and applications of the advice, have yielded proven fruitful results in the development of moderately complex professional software, in the areas of System and Application Software, critical real-time and Communication Software, elementary Information Systems in all spheres of the industry and in education/training programs. An attempted formalisation of the advice, leads to a hypothesis, whose validity and viability is the thesis; and the proof of the thesis consists of a number of professional/experimental software development projects & empirical studies in Software Management Practices, in the areas of Information Systems, real-time and Communication Software development.
The basic Hansen's Approach (HA) was to 'think out' the systems program in a High Level Language (HLL), preferably PASCAL or Concurrent PASCAL, verify, develop and check out the same and as a subsequent step handcode and optimise the
handcoded version. Though this methodology was strongly advocated for the COBOL-74 implementation on the indigenously developed TDC-316 (PDP-11-like) system, it was actually used with various generalisations (Hansen's Generalised Approach (
HGA)), to various software development projects. A first line of generalisation is to allow any initial HLL, any target HLL, or even mapping to hardware as the target implementation.
In his comments and direction to the area of Software Verification, the eminent Prof C.A.R.Hoare suggested that academic institutions should develop correct algorithms and make them available to industry. The algorithms could be of the complexity of the Whetstone ALGOL-60 Translator, which was historically used in the TDC-316 ALGOL-60 implementation and elaborated upon as part of the proof of the thesis. The comment of Prof.C.A.R.Hoare is named: Hoare's Clause (HC). (The comment was made during his visit to India). In his suggestions and direction for Software Project Management in critical software development areas, Prof.C.A.