By Topic

Software Engineering Journal

Issue 5 • Date Sept. 1992

Filter Results

Displaying Results 1 - 6 of 6
  • Software reuse: from text to hypertext

    Publication Year: 1992, Page(s):311 - 321
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (933 KB)

    For software reuse, a wide range of software descriptions are exploited in the ESPRIT Practitioner Project. Word patterns and outlines constitute the conventional document-oriented descriptions, whereas thesauri and questionnaires form the hypertext-oriented descriptions. The Practitioner consortium has developed and tested a set of tools to support this wide range of approaches to software reuse.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifications are (preferably) executable

    Publication Year: 1992, Page(s):323 - 334
    Cited by:  Papers (3)  |  Patents (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1078 KB)

    The validation of specifications with respect to user requirements is extremely difficult. To ease the validation task and to give users immediate feedback on the behaviour of the future software, it was suggested that specifications should be made executable. However I.J. Hayes and C.B. Jones (1989) argue that executable specifications should be avoided because executability can restrict the expr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application and benefits of formal methods in software development

    Publication Year: 1992, Page(s):335 - 346
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1141 KB)

    Formal methods for software development receive much attention in research centres, but are rarely used in industry for the development of (large) software systems. One of the reasons is that little is known about the integration of formal methods in the software process, and the exact role of formal methods in the software life-cycle is still unclear. A detailed examination is made of the applica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The TIPSE: an IPSE for teaching

    Publication Year: 1992, Page(s):347 - 356
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (868 KB)

    A description is given of the support environment being developed at the University of Wales, Aberystwyth, for use in teaching software engineering. The environment provides a fully integrated tool set that will eventually support all aspects of the software life-cycle. Modes of operation are provided to suit the needs of both naive and fairly sophisticated users. The environment has been develope... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • When a software measure is not a measure

    Publication Year: 1992, Page(s):357 - 362
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (480 KB)

    A paper by A.C. Melton et al. (1990) discussed finding measures which preserve intuitive orderings on software documents. Informally, if View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating formal notations and systems analysis: using entity relationship diagrams

    Publication Year: 1992, Page(s):363 - 371
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (925 KB)

    Work using the information conveyed in entity relationship diagrams to produce state schemas in the formal notation Z is given. The author proposes a draft technique for formalising an entity relationship diagram. The notations used are those of the structured analysis method, SSADM version 4, but the technique is more widely applicable. The benefits of integrating formal and structured specificat... View full abstract»

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