By Topic

Software Engineering Journal

Issue 1 • Date Jan. 1989

Filter Results

Displaying Results 1 - 7 of 7
  • A quantitative approach to monitoring software development

    Publication Year: 1989, Page(s):2 - 13
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1350 KB)

    A preliminary overview of a procedure for monitoring software development with respect to quality is provided. The monitoring process is based on the extraction, analysis and interpretation of metrics relating to software products and processes. The problem of interpreting software metrics data in terms that are meaningful to project and quality managers is focused on. The authors present a four-s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal methods for database language design and constraint handling

    Publication Year: 1989, Page(s):15 - 24
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (942 KB)

    A non-interactive, binary relational database programming language is designed using formal specification. The design is conducted using the Vienna development method. The underlying data model is made as general as possible so as to minimise the restrictions placed on the database user. In contrast to the normal method of handling database integrity constraints by dynamic checking, constraints ar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Justification of formal methods for system specification

    Publication Year: 1989, Page(s):26 - 35
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (806 KB)

    Developments in mathematics and computer science offer a sound, if unfamiliar, basis for the development of computer-controlled systems. The professional systems engineer should become as competent in these fields as in traditional mathematics and physics. The author emphasises their application in the early phases of product development (requirements analysis and functional specification)-a prere... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A rejustification of formal notations (software engineering)

    Publication Year: 1989, Page(s):36 - 38
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (314 KB)

    The developments which have occurred in the theory, support and exploitation of the mathematical techniques for software (and systems) design, which are collectively known as formal methods, are described. The growing dissatisfaction of both the academic and industrial communities with the use of the term 'method' in this context is discussed. The author also explains the continuing need to justif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An introduction to Z and formal specifications

    Publication Year: 1989, Page(s):40 - 50
    Cited by:  Papers (12)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1102 KB)

    The description of information systems using formal, mathematical specifications written in the Z notation, and the refinement of these specifications into rigorously checked designs are described. The author introduces the idea of a formal specification using a simple example: a 'birthday book' in which people's birthdays can be recorded, and which is able to issue reminders on the appropriate da... View full abstract»

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

    Publication Year: 1989, Page(s):51 - 66
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1222 KB)

    In the specification notation known as Z, schemas are used to structure mathematical descriptions. The article describes the language of schemas and the conventions that are employed in their use. It also describes how proof obligations are generated during specification, and how these obligations may be discharged. Many examples, mostly taken from the specification of the user interface to a smal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • POS-formal specification of a Unix tool

    Publication Year: 1989, Page(s):67 - 72
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (434 KB)

    A simple text processing tool which allows positioning of lines within a document is presented using the formal specification language Z. Implementation details such as the use of tab characters and newline sequences are covered. The program has been implemented under the Unix operating system. It is hoped that the use of similar techniques will become widespread in the field of software engineeri... View full abstract»

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