By Topic

Software Engineering Journal

Issue 3 • Date May 1992

Filter Results

Displaying Results 1 - 7 of 7
  • Introducing new software engineering graduates to the 'real world' at the GPT company

    Publication Year: 1992, Page(s):171 - 176
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (605 KB)

    A two-week full-time group project course for new graduate recruits at GEC-Plessey Telecommunications is examined. Role playing by the course leader and 'dirty tricks' simulate the 'real world' environment. The course is found to have advantages over corresponding undergraduate courses, as the restricted hours and full supervision tend to highlight the problems that occur and ensure the lessons of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Abstract data types as reusable software components: the case for twin ADTs

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

    Abstract data types (ADTs) are typical candidates for reusable software components. An important, although generally undecidable, question is how to design ADTs so as to make them truly reusable. The paper presents an elaborate example, showing that the most abstract ADT is not necessarily the most reusable one. Instead, the need to supply ADTs reflecting alternative representations of one abstrac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dora: a structure-oriented environment generator

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

    Describes a generic structure-oriented environment that has been developed as part of the ESPRIT-funded Dragon project. The environment can be instantiated by a tool builder to provide a multiple view structure editor for a particular language or method. This environment kernel is particularly important for two reasons: the environment is composed of an interacting hierarchy of editors, each actin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transformational implementation of PAISLey specifications using Petri nets

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

    The paper presents a method for the specification and transformational implementation of embedded control systems. The method is based on an extension to Petri nets. The modelling power of the proposed nets is shown by comparison with the functional specification language PAISLey. Extended Petri nets provide a framework for building an executable model of a specification (prototype), automated tra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification of interfering programs based on interconditions

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

    Flat VVSL is an extension of a VDM specification language wherein operations, which interfere through a shared state, can be specified in a VDM-like style by the use of interconditions in addition to pre- and postconditions. Interconditions are temporal formulae. The paper explains the role of interconditions in the specification of interfering operations and describes the temporal formulae that c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Refinement methods and refinement calculi

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

    A number of modern approaches to refinement are discussed and compared, and their broad classification into refinement methods and refinement calculi is explained. The refinement methods concerned are all based on the model-based specification languages VDM and Z, whereas the refinement calculi are all developments of the Dijkstra programming calculus. A generalised comparison of the refinement me... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Open model methodology: a new approach to the development of user interfaces based on knowledge processing

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

    The paper proposes a new interface development methodology called the open model methodology, based on the open model of user interfaces which divides the interactive system into six layers: I/O media, concept, semantic/syntax, domain, mode/style and computation. Knowledge is used as the basis for developing and maintaining interfaces. The interface development is divided into three parallel strea... View full abstract»

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