By Topic

IEEE Transactions on Software Engineering

Issue 11 • Date Nov 1990

Filter Results

Displaying Results 1 - 9 of 9
  • The evolving philosophers problem: dynamic change management

    Publication Year: 1990, Page(s):1293 - 1306
    Cited by:  Papers (282)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1312 KB)

    A model for dynamic change management which separates structural concerns from component application concerns is presented. This separation of concerns permits the formulation of general structural rules for change at the configuration level without the need to consider application state, and the specification of application component actions without prior knowledge of the actual structural change... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An ontological model of an information system

    Publication Year: 1990, Page(s):1282 - 1292
    Cited by:  Papers (59)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1104 KB)

    An ontological model of an information system that provides precise definitions of fundamental concepts like system, subsystem, and coupling is proposed. This model is used to analyze some static and dynamic properties of an information system and to examine the question of what constitutes a good decomposition of an information system. Some of the major types of information system formalisms that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal analysis of the alternating bit protocol by temporal Petri nets

    Publication Year: 1990, Page(s):1273 - 1281
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    Temporal Petri nets are Petri nets in which certain restrictions on the firings of transitions are represented by formulas containing temporal operators. The use of temporal Petri nets for formal specification and verification of the alternating bit protocol is discussed. The temporal Petri net which models the protocol is analyzed formally using the existing theory of ω-regular expressions ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The object-oriented functional data language

    Publication Year: 1990, Page(s):1258 - 1272
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1404 KB)

    The object-oriented functional data language (O2FDL) is an interactive strongly typed database programming language that integrates the object-oriented and functional programming paradigms. It was designed for advanced applications that require a powerful and uniform database programming language supporting the software engineering principles of these tow paradigms. To this end, the O... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending objects to support multiple interfaces and access control

    Publication Year: 1990, Page(s):1247 - 1257
    Cited by:  Papers (16)  |  Patents (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1108 KB)

    A mechanism, called views, that allows programmers to specify multiple interfaces for objects and to control explicitly access to each interface is described. This mechanism provides a simple and flexible means of specifying enforceable access restrictions at many levels of granularity. It also results in system organization that supports browsing based on a number of different criteria. Views is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RSF: a formalism for executable requirement specifications

    Publication Year: 1990, Page(s):1235 - 1246
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1060 KB)

    RSF is a formalism for specifying and prototyping systems with time constraints. Specifications are given via a set of transition rules. The application of a transition rule is dependent upon certain events. The occurrence times of the events and the data associated with them must satisfy given properties. As a consequence of the application of a rule, some events are generated and others are sche... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The evolution support environment system

    Publication Year: 1990, Page(s):1225 - 1234
    Cited by:  Papers (11)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (952 KB)

    The evolution support environment (ESE) system, which provides a framework for capturing and making available semantic information about software components of an evolving software system, is described. The goal in the design of the ESE system was to provide integrated support for management of software architecture configuration, life-cycle configuration, and version control. Software architectur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategies for the prevention of communication deadlocks in distributed parallel programs

    Publication Year: 1990, Page(s):1311 - 1316
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    The occurrence of communication deadlocks caused by the unavailability of message buffers during the execution of distributed parallel programs is investigated. Such deadlocks can occur even if the program is designed for deadlock-freedom, since they are largely dependent on the system's ability to handle message buffering space. A class of deadlock prevention strategies which require that the pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Bayesian estimation method for the failure rate of a possibly correct program

    Publication Year: 1990, Page(s):1307 - 1310
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB)

    An extension of software reliability modeling is introduced to account for the possibility of programs which, after some debugging, contain no more errors. This is achieved by a repetitive application of the Bayes law, each time taking the posterior of the last step as a prior for the next one. A class of conjugate priors considerably facilitates this modeling. The resulting model includes an esti... View full abstract»

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

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org