作者:
TRIANCE, JMComputation Department
University of Manchester Institute of Science and Technology Sackville Street Manchester M60 1QD
The problems of writing structured programs in COBOL as defined by the Current Standard and by CODASYL are examined. Four versions of structured COBOL supported by preprocessors are presented and some criteria for jud...
详细信息
The problems of writing structured programs in COBOL as defined by the Current Standard and by CODASYL are examined. Four versions of structured COBOL supported by preprocessors are presented and some criteria for judging preprocessor are proposed.
作者:
Parnas, DLUniv Limerick
Coll Elect & Informat Software Qual Res Lab Dept Comp Sci & Informat Syst Limerick Ireland
Software Engineering is discussed as a branch of Engineering specialising in software intensive products. The process of developing good software is discussed and it is argued that writing programs, though obviously a...
详细信息
Software Engineering is discussed as a branch of Engineering specialising in software intensive products. The process of developing good software is discussed and it is argued that writing programs, though obviously an essential step in the process, is only a small part of Software Engineering. (C) 2003 Elsevier B.V. All rights reserved.
作者:
Parnas, DLUniv Limerick
Coll Elect & Informat Software Qual Res Lab Dept Comp Sci & Informat Syst Limerick Ireland
Software Engineering is discussed as a branch of Engineering specialising in software intensive products. The process of developing good software is discussed and it is argued that writing programs, though obviously a...
详细信息
Software Engineering is discussed as a branch of Engineering specialising in software intensive products. The process of developing good software is discussed and it is argued that writing programs, though obviously an essential step in the process, is only a small part of Software Engineering. (C) 2003 Elsevier B.V. All rights reserved.
All. kinds of science have their own myths and technical science is not exclusion. It is possible to list a number of disappointing fallacies, mistakes and wrong beliefs. Such examples can make everyone hesitate wheth...
详细信息
ISBN:
(纸本)8978686184
All. kinds of science have their own myths and technical science is not exclusion. It is possible to list a number of disappointing fallacies, mistakes and wrong beliefs. Such examples can make everyone hesitate whether all common truths of science are actual and final ones, even they are supported by great names like Wirth, Dijkstra etc.. One of such well-known truths of science is the "structural theorem", being the foundation of the structured programming. It rights the "goto" statement in an implacable way and proclaims the only three fundamental control constructions: "sequence", "loop" and "selection". The structural theorem has long and respectable life;it is used for teaching all programmers at the stage of basics. The problem of such learning is the lack of sensible criticism. The offered report details the problems and fallacies of fighting the "goto" and summarizes clear and obvious mistakes in definitions of three "fundamental control structures". The goal of the report is to separate myths off the facts and advance the "theory" towards the "practice". The main conclusion is that the essence of the structured programming is good but its definition is wrong and has to be corrected in a proper way.
This paper discusses how structured programming methodology has been introduced into a large production programming organization using an integrated but flexible approach. It next analyzes the advantages and disadvant...
详细信息
While “Dijkstra flow-chart schemes” (built out of assignment statement schemes by means of composition, if—then and whiledo) are simple and perspicuous, they lack the descriptive power of flow-chart schemes (provid...
详细信息
This paper discusses how structured prngrammingmethodology has been introduced into a large production programming organization using an integrated but flexible approach. It next analyzes the advantages and disadvanta...
详细信息
A new discipline for accessing the data of a program is presented. In suitable programming languages, this discipline can be characterized in terms of program design without arrays and pointers. The decisive factor ...
详细信息
A new discipline for accessing the data of a program is presented. In suitable programming languages, this discipline can be characterized in terms of program design without arrays and pointers. The decisive factor in program design with sets, stacks, and queues probably will be found in the engineering design realities. The intermediate abstractions and specifications for programs stepwise designed with sets, stacks, and queues have a different character than those designed with arrays. The intermediate abstractions deal with data in very regular ways. As a proof of this design, a system of programs of about 20,000 lines has been developed at IBM Corp. The system has operated for a year without any errors being detected. Programs without arrays and points are briefer, simpler, and less difficult to prove.
Graph theory is used to model program control structures rigorously as flowgraphs. Formal methods are defined which allow the classification and reconstruction of flowgraphs in terms of an arbitrary set of primitives....
详细信息
Graph theory is used to model program control structures rigorously as flowgraphs. Formal methods are defined which allow the classification and reconstruction of flowgraphs in terms of an arbitrary set of primitives. The criterion of classification sheds new light on a classical graph-theoretic characterisation of D -structuredness, and provides an extension of this characterisation in the case when the notion of structuredness is generalised.
[Auto Generated] CHAPTER 1 Introduction to PL/I 1 2 Top-Down structured programming 31 3 Data Types and Data Manipulation 77 4 Subroutines and Functions 141 5 Logical Testing 179 6 DOs and Arrays 227 7 File Declaratio...
详细信息
[Auto Generated] CHAPTER 1 Introduction to PL/I 1 2 Top-Down structured programming 31 3 Data Types and Data Manipulation 77 4 Subroutines and Functions 141 5 Logical Testing 179 6 DOs and Arrays 227 7 File Declarations and Stream I/O 275 8 Record I/O, Structures, Pictures 327 9 Storage Classes and List Processing 387 10 File Processing 435 APPENDIX A B C D E Answers to Checkpoint Questions 499 Built-in Functions 519 PL/I Language Comparison Charts 527 Data Formats 585 Glossary of PL/I Terms 597
暂无评论