By Topic

Software Engineering Journal

Issue 5 • Date Sept. 1988

Filter Results

Displaying Results 1 - 8 of 8
  • A distributed file server for embedded applications

    Publication Year: 1988, Page(s):142 - 148
    Cited by:  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (980 KB)

    Describes the design and implementation of a distributed file system (DFS) for embedded applications. The services provided in DFS include transaction management, file management and file access. Client processes use message passing to access these services. The file system provides client processes with different types of files. These include replicated files, with identical copies stored at mult... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A theory of unification

    Publication Year: 1988, Page(s):149 - 160
    Cited by:  Papers (1)  |  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1024 KB)

    Unification is an important concept. It is used in Prolog, resolution, term rewriting and natural language understanding. As the use of formal methods increases, unification will be part of formally developed systems. Hence a theory of unification is desirable. The paper demonstrates the use of the Vienna Development Method (VDM) to develop a theory of unification. Substitution application is defi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain-based access control for distributed computing systems

    Publication Year: 1988, Page(s):161 - 170
    Cited by:  Patents (10)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1382 KB)

    Existing management tools and approaches are not appropriate to the size and multiple-organisation nature of very large distributed computing systems (VLDCSs). The paper describes a new approach to the management of VLDCSs based on a domain model. While this model is applicable to most aspects of management, the paper describes an implementation of the domain model for management of access rights.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The practicalities of introducing large-scale software re-use

    Publication Year: 1988, Page(s):172 - 176
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (673 KB)

    Discusses the practical problems associated with the widespread implementation of re-usable software. The problems raised are not solely technical in nature, some being rooted in the cultural environment of current procurement, commercial and software engineering practices. The paper concludes that there needs to be a concerted effort by customers, suppliers and educational establishments in order... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ada and software re-use

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

    The development of the Ada language precipitated a number of studies of Ada software re-use. The paper presents some of the author's conclusions from such studies, with references to the available Ada literature. It covers technical aspects of software re-use, including compiler construction, Unix and system models, before looking at non-technical aspects.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Re-use of formatted requirements specifications

    Publication Year: 1988, Page(s):186 - 197
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1388 KB)

    Presents the work of the TARA (Tool Assisted Requirements Analysis) project on the re-use of formatted specifications. The paper concentrates particularly on the established formatted requirements analysis method CORE (Controlled Requirements Expression). A model of re-use of formatted requirements specifications, derived in part from studies of analogy in legal reasoning, is presented. The model ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An information retrieval system for software components

    Publication Year: 1988, Page(s):198 - 207
    Cited by:  Patents (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1278 KB)

    Describes an information retrieval system which is specifically designed to be used for storing and retrieving information about software components. Rather than use a retrieval mechanism which is simply based on keywork descriptions, the authors have made use of developments in natural language research to represent component information in a form which encodes semantics as well as syntax, the co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A preliminary study of large-scale software re-use

    Publication Year: 1988, Page(s):208 - 212
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (517 KB)

    A problem domain analysis is described employing a method recently developed and applied at the Warton Unit of the Military Aircraft Division of British Aerospace. The method is based on the definition of attributes of a software component which categorise the component as re-usable, re-usable with modification or non-re-usable. These attributes were presented to a domain specialist in the form of... View full abstract»

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