By Topic

Software Engineering Journal

Issue 1 • Date Jan. 1995

Filter Results

Displaying Results 1 - 3 of 3
  • Temporal analysis of a microkernel

    Publication Year: 1995, Page(s):21 - 26
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (427 KB)

    Temporal logic techniques have been proposed as a way of achieving a very natural transition from informal requirements to a formal specification of the requirements. The paper presents a case study of a real life system developed using such techniques. Both a top level specification and implementation semantics are given in temporal logic. In particular, the progression from statements in English... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mapping user requirements to implementations

    Publication Year: 1995, Page(s):13 - 20
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (686 KB)

    The trend towards systems that support a rich variety of interaction techniques has consequences for the traditional understanding of software design practice. Formal approaches to software development have mainly focused on design expressions that avoid explicit discussion of interactive behaviour. The emphasis in rigorous development is on transforming a mathematical specification into an implem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Event model of human-system interaction

    Publication Year: 1995, Page(s):3 - 12
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (764 KB)

    Interaction objects (interactors) are abstract structures that provide a link between rigorous approaches to software development and user-oriented aspects of interaction. The focus of the paper is on the second role of interactors; in particular, how a formal model of interaction can be used to classify and clarify various properties of interactive behaviour that are important from a user oriente... View full abstract»

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