By Topic

Software Engineering Journal

Issue 3 • Date May 1992

Filter Results

Displaying Results 1 - 7 of 7
  • Transformational implementation of PAISLey specifications using Petri nets

    Page(s): 191 - 204
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (720 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 transformation of the model structure, simulation and validation of the model behaviour, and automated code generation for the validated structure. The method is illustrated using a laboratory process-control system as a working example 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

    Page(s): 219 - 229
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (840 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 methods and the refinement calculi is also given 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

    Page(s): 230 - 236
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (652 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 streams: behaviours, mean and do. Each of these streams maintains a mini-refinement-loop consisting of two steps: knowledge acquisition and testing. Using this approach, a prototype interface called KZ3 has been designed. The experimental results indicate that the methodology has a bright future 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

    Page(s): 205 - 217
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (964 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 can be used. It also describes the interpretation of operation definitions and temporal formulae in an infinitary logic of partial functions called MPIω. The purpose of this is to show how a VDM specification language is semantically combined with a temporal language. An overview of MPIω and the VVSL-specific aspects of its use for logical semantics is also provided 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

    Page(s): 184 - 190
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (504 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 acting on appropriate components of the target structure; and for each of these `substructure' editors, it is possible that the developer can specify many different views, and that these views are independent within the same editing pane 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

    Page(s): 177 - 183
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (556 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 abstract notion is felt. This leads to some general observations about the usability aspects of software components View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Introducing new software engineering graduates to the `real world' at the GPT company

    Page(s): 171 - 176
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (504 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 the course are more effectively learned. Suggestions are made as to how a university or polytechnic can partially overcome their lack of resources and gain some of the advantages of the GPT course. It is concluded that the benefits of realism and awareness obtained by the graduates mean that the GPT course will continue to be a worthwhile course, and that other companies may find it useful to incorporate such a course into their own training programmes View full abstract»

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