By Topic

IEEE Transactions on Software Engineering

Issue 4 • April 1989

Filter Results

Displaying Results 1 - 12 of 12
  • Time-by-example query language for historical databases

    Publication Year: 1989, Page(s):464 - 478
    Cited by:  Papers (28)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1522 KB)

    The authors propose a graphical query language, Time-by-Example (TBE), which has suitable constructs for interacting with historical relational databases in a natural way. TBE is user-friendly. It follows the graphical, two-dimensional approach of such previous languages as Query-by-Example (QBE), Aggregation-by-Example (ABE), and Summary-Table-by-Example (STBE). TBE also uses the hierarchical win... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Necessary and sufficient ergodicity condition for open synchronized queueing networks

    Publication Year: 1989, Page(s):367 - 380
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1068 KB)

    A necessary and sufficient ergodicity condition for complex open queueing systems is given. The queueing networks considered belong to a particular class of unbounded Markov stochastic Petri nets. These systems can include synchronization features like fork and join arrivals and departures, and feedback between behavior of different queues. Grouped and correlated arrivals and departures are also a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stochastic Petri net representation of discrete event simulations

    Publication Year: 1989, Page(s):381 - 393
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1241 KB)

    In the context of discrete event simulation, the marking of a stochastic Petri net (SPN) corresponds to the state of the underlying stochastic process of the simulation and the firing of a transition corresponds to the occurrence of an event. A study is made of the modeling power of SPNs with timed and immediate transitions, showing that such Petri nets provide a general framework for simulation. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stochastic Petri net analysis of a replicated file system

    Publication Year: 1989, Page(s):394 - 401
    Cited by:  Papers (48)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (822 KB)

    The authors present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to maintain consistency. Witnesses, which simply record the status of the file but contain no data, can be used in addition to or in place of files to reduce overhead. A model sufficiently detailed to include file ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A macroscopic profile of program compilation and linking

    Publication Year: 1989, Page(s):427 - 436
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    To profile the changes made to programs during development and maintenance, the authors have instrumented the 'make' utility that is used to compile and link programs. With minor modifications, they have used 'make' to find out how much time programmers spend waiting for compiling and linking, how many modules are compiled each time a program is linked, and the change in size of the compiled modul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated concurrency-coherency controls for multisystem data sharing

    Publication Year: 1989, Page(s):437 - 448
    Cited by:  Papers (23)  |  Patents (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1274 KB)

    The authors propose an integrated control mechanism and analyze the performance gain due to its use. An extension to the data sharing system structure is examined in which a shared intermediate memory is used for buffering and for early commit processing. Read-write-synchronization and write-serialization problems arise. The authors show how the integrated concurrency protocol can be used to overc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A theory of attributed equivalence in databases with application to schema integration

    Publication Year: 1989, Page(s):449 - 463
    Cited by:  Papers (119)  |  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1408 KB)

    The authors present a common foundation for integrating pairs of entity sets, pairs of relationship sets, and an entity set with a relationship set. This common foundation is based on the basic principle of integrating attributes. Any pair of objects whose identifying attributes can be integrated can themselves be integrated. Several definitions of attribute equivalence are presented. These defini... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance characterization of quorum-consensus algorithms for replicated data

    Publication Year: 1989, Page(s):492 - 496
    Cited by:  Papers (61)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (529 KB)

    The authors develop a model and define performance measures for a replicated data system that makes use of a quorum-consensus algorithm to maintain consistency. They consider two measures: the proportion of successfully completed transactions in systems where a transaction aborts if data is not available, and the mean response time in systems where a transaction waits until data becomes available.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comments, with reply, on "Axiomatizing software test data adequacy" by E.J. Weyuker

    Publication Year: 1989, Page(s):496 - 501
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (531 KB)

    E.J. Weyuker (ibid., vol.SE-12, p.1128-38, Dec. 1986) recently proposed a set of properties which should be satisfied by any reasonable criterion used to claim that a computer program has been adequately tested. The author called these properties 'axioms'. She also evaluated several well-known testing strategies with respect to these properties, and concluded that some of the commonly used strateg... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal methods for protocol testing: a detailed study

    Publication Year: 1989, Page(s):413 - 426
    Cited by:  Papers (174)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1220 KB)

    The authors present a detailed study of four formal methods (T-, U-, D-, and W-methods) for generating test sequences for protocols. Applications of these methods to the NBS Class 4 Transport Protocol are discussed. An estimation of fault coverage of four protocol-test-sequence generation techniques using Monte Carlo simulation is also presented. The ability of a test sequence to decide whether a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed system software design paradigm with application to computer networks

    Publication Year: 1989, Page(s):402 - 412
    Cited by:  Papers (4)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (924 KB)

    A paradigm for the system and software design of distributed systems is presented with application to an actual large-scale computer network involving both local area networks and a wide area network. A number of design principles are offered with particular reference to how they can be applied to the design of distributed systems. The author's major point is an explanation of how to make design d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generalized expert system for database design

    Publication Year: 1989, Page(s):479 - 491
    Cited by:  Papers (22)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1216 KB)

    Generalized Expert System for Database Design (GESDD) is a compound expert system made up of two parts: (1) an expert system for generating methodologies for database design, called ESGM; and (2) an expert system for database design, called ESDD. ESGM provides a tool for the database design expert to specify different design methodologies or to modify existing ones. The database designer uses ESDD... 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