By Topic

Software Engineering Journal

Issue 2 • Date Mar 1988

Filter Results

Displaying Results 1 - 7 of 7
  • A prototype system for the validation of Pascal programs

    Publication Year: 1988 , Page(s): 47 - 52
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (988 KB)  

    Gives an overview of a collaborative Alvey project to provide a UNIX-based environment in which Pascal programs can be analysed using a range of quality assessment tools. Integration of this tool set is achieved by linking the analysis and status information produced by each tool into a message handling system. An interactive program allows the validator to selectively view the analysis results. The system is intended for independent, post-development assessment of the quality of Pascal programs plus test data; however, most of the tools would also be helpful during the program development phase. The tools provide various types of static source text analysis and dynamic analysis using the given test data. Some initial results obtained from this validation system are described View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to automated software design based on product metrics

    Publication Year: 1988 , Page(s): 53 - 56
    Cited by:  Papers (1)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (644 KB)  

    Recent research has attempted to quantify the quality of a software design in terms of measurable properties. A weakness of this research is that it ignores the fact that software design involves the exploration of alternative software architectures. An approach to software design selection is described which involves examining a design solution space. It relies on the formulation of the problem of selecting software designs in operational research terms. The paper concludes with a description of a software tool based on the approach View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some practical considerations regarding an ADT-obsessed design

    Publication Year: 1988 , Page(s): 57 - 63
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (808 KB)  

    The paper conveys some of the lessons learned during the development of the software of a real-time embedded system. The key concept in the design of the software was to use abstract data types to hide information even though the development environment was not entirely friendly to this concept View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Syntax-directed editing

    Publication Year: 1988 , Page(s): 37 - 46
    Cited by:  Patents (6)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (936 KB)  

    The conventional approach to the construction of a program is to view it as a sequence of characters. However, it is now becoming more meaningful to perceive and develop a program in terms of its inherent syntactic structure. The paper introduces the topic of syntax-directed editing in general and then considers some of the problems and design decisions that are encountered when implementing a syntax-directed system. An overview of a range of structure-oriented editors exhibiting varying degrees of syntax direction is also included View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Translation as a language implementation technique for supercomputers

    Publication Year: 1988 , Page(s): 64 - 68
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (476 KB)  

    Implementing new languages on supercomputers is an important task, but it is also a difficult one. The paper argues that a useful and practical approach to implementing new languages on common supercomputers in a research context is to write a translator, which translates programs into Fortran source code rather than compiling them directly into assembly language. This approach has many advantages, particularly in a research environment. The paper also includes a call to supercomputer designers for greater simplicity in the programmers' view of supercomputer architectures View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A critique of cyclomatic complexity as a software metric

    Publication Year: 1988 , Page(s): 30 - 36
    Cited by:  Papers (3)  |  Patents (2)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (936 KB)  

    McCabe's cyclomatic complexity metric (1976) is widely cited as a useful predictor of various software attributes such as reliability and development effort. This critique demonstrates that it is based upon poor theoretical foundations and an inadequate model of software development. The argument that the metric provides the developer with a useful engineering approximation is not borne out by the empirical evidence. Furthermore, it would appear that for a large class of software it is no more than a proxy for, and in many cases is outperformed by, lines of code View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • X-machines as a basis for dynamic system specification

    Publication Year: 1988 , Page(s): 69 - 76
    Cited by:  Papers (1)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (1056 KB)  

    Discusses the concept of an X-machine, which is a general model of computation, with the intention of using this model in the specification of computer systems. The elementary theory of these constructs is briefly described, but the bulk of the paper is concerned with looking at some examples and the ways that these ideas might be useful in the description and analysis of almost any system View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.