program design languages are an increasingly important method of expressing the detailed design of a software system. Such languages can be modelled using a data structure known as a semantic net. This paper describes...
详细信息
program design languages are an increasingly important method of expressing the detailed design of a software system. Such languages can be modelled using a data structure known as a semantic net. This paper describes a maintenance tool for program design languages based on such a data structure. The tool allows the user to interrogate a semantic net using an interactive procedural language in order to derive information necessary for software maintenance. The technique upon which this tool is based is applicable to the maintenance of activities throughout the software lifecycle.
A framework is proposed for introducing reusable programming as an engineering methodology in a typical programming class. The requirements of the teaching framework include a program design language, a code-frame-dri...
详细信息
A framework is proposed for introducing reusable programming as an engineering methodology in a typical programming class. The requirements of the teaching framework include a program design language, a code-frame-driven implementation strategy of the design and a presentation approach which is software-domain specific. Reusable design fragments are defined and tools are provided to assist students or users in the process of building reusable fragments and constructing composite program logics from existing fragments.
Refinement Methodology (RM) is presented for the design of Ada programs. The methodology blends stepwise refinement and the information-hiding principle. When Ada is used as a programming language and Refinement Met...
详细信息
Refinement Methodology (RM) is presented for the design of Ada programs. The methodology blends stepwise refinement and the information-hiding principle. When Ada is used as a programming language and Refinement Methodology program design language (RMPDL) as a designlanguage, the resulting combination is semi-incremental. The steps of the methodology are explained and demonstrated by an example. A step consists of these activities: 1. selection of a cluster of entities from the current backlog interface, 2. definition of all entities of the cluster, 3. update of the backlog interface, and 4. scanning of the backlog interface for integrity of dataflow and other completeness criteria. A portion of the methodology is a collection of rules by which procedures acquire parameters, called first and 2nd rules for parameters. Past experience with RM is condensed. It is argued that ''with'' clauses of Ada, together with Ada order of compilation, encourage bottom-up programming while discouraging top-down programming, and thus should be considered harmful.
AbstractA COBOL preprocessor to implement Michael Jackson's program design language, Schematic Logic, has been written and used in the Computation Department at UMIST. This paper investigates the problems inherent...
详细信息
AbstractA COBOL preprocessor to implement Michael Jackson's program design language, Schematic Logic, has been written and used in the Computation Department at UMIST. This paper investigates the problems inherent in using preprocessors of this type and details the advantages which accrue from the preprocessor when teaching and using the Jackson Method.
暂无评论