By Topic

Software Engineering Journal

Issue 2 • Date March 1990

Filter Results

Displaying Results 1 - 6 of 6
  • Measures of testability as a basis for quality assurance

    Publication Year: 1990, Page(s):86 - 92
    Cited by:  Papers (18)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (618 KB)

    Program testing is the most used technique for analytical quality assurance. A lot of time and effort is devoted to this task during the software lifecycle, and it would be useful to have a means for estimating this testing effort. Such estimates could be used, on one hand, for guiding construction and, on the other, to help organise the development process and testing. Thus the effort needed for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying restrictions on imperative programming languages for use in a distributed embedded environment

    Publication Year: 1990, Page(s):93 - 104
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (961 KB)

    Presents a language-independent specification of how the use of a common class of imperative programming languages can be restricted for a distributed environment. A simple formal model, in Z, of imperative programming languages is developed, and restrictions are specified. The model is then instantiated for the languages Ada, Modula and C. It gives good results for Ada and Modula, but cannot be e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Method rule checking in a generic design editing system

    Publication Year: 1990, Page(s):105 - 115
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1019 KB)

    Describes a means of incorporating method rule checking in a design editing system intended to support the production of designs expressed in method-specific diagrammatic notations. The novel characteristic of this editing system is the fact that it may be tailored to any notation using a method description language and a graphical tool to define the vocabulary of the notation. Syntactic and seman... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concept acquisition and analysis for requirements specification

    Publication Year: 1990, Page(s):116 - 124
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (822 KB)

    Arguably the most critical of all software development activities is that of requirements specification. Contemporary system development methods address this task in the context of a prescriptive approach, which recognises the need for well identified steps within which a developer builds models on the basis of the method's requirements specification language. The paper proposes that this approach... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying and generating multilanguage software development environments

    Publication Year: 1990, Page(s):125 - 137
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1137 KB)

    Integrated software environments use a project information base (PIB) as a repository of all project-related data. A software environment supporting a lifecycle methodology requires a multilanguage PIB, with component languages dedicated to various aspects and phases of project development. At the same time, one has to view a PIB as a database (or even a knowledge base), where project information ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structured planning: deriving project views

    Publication Year: 1990, Page(s):138 - 148
    Cited by:  Papers (1)  |  Patents (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (705 KB)

    Structured planning draws on the systems modelling approach of structured analysis and applies those ideas to project planning: the traditional elements of a project plan, the work breakdown structure and PERT diagram, are replaced by a levelled work flow diagram and a deliverable dictionary. A technique for providing flexible summaries of the new project model, viewing, has been defined to assist... View full abstract»

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