By Topic

Software Engineering, IEEE Transactions on

Issue 4 • Date Apr 1993

Filter Results

Displaying Results 1 - 6 of 6
  • Object-oriented software evolution

    Publication Year: 1993 , Page(s): 313 - 343
    Cited by:  Papers (18)  |  Patents (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2468 KB)  

    The authors review propagation patterns for describing object-oriented software at a higher level of abstraction than one used by today's programming languages. A propagation pattern defines a family of programs from which one can select a member by giving a class dictionary graph that details the structure of behavior through part-of and inheritance relationships between classes. Three concepts a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structuring primitives for a dictionary of entity relationship data schemas

    Publication Year: 1993 , Page(s): 344 - 365
    Cited by:  Papers (5)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2196 KB)  

    The data dictionary contains the description of all types of data produced, managed, exchanged, and maintained in an organization. Data descriptions (very often hundreds of schemas) should be organized in such a way to allow all the users of the information system to understand the meaning of data and their relationships. To this end, a set of structuring primitives for a dictionary of entity rela... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proof rules for flush channels

    Publication Year: 1993 , Page(s): 366 - 378
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1088 KB)  

    Flush channels generalize conventional asynchronous communication constructs such as virtual circuits and datagrams. They permit the programmer to specify receipt-order restrictions on a message-by-message basis, providing an opportunity for more concurrency in a distributed program. A Hoare-style partial correctness verification methodology for distributed systems which use flush channel communic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • L.0: a truly concurrent executable temporal logic language for protocols

    Publication Year: 1993 , Page(s): 410 - 423
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1320 KB)  

    The semantics L.0, a programming language designed for the specification and simulation of protocols that assumes a true concurrency model, is given in terms of predicate linear temporal logic, and the restricted universe of models assumed in L.0 programs is defined. The execution algorithm for L.0 constructs a model in this universe. The restricted subset of temporal logic exploited permits a non... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A human factors experimental comparison of SQL and QBE

    Publication Year: 1993 , Page(s): 390 - 409
    Cited by:  Papers (7)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1636 KB)  

    SQL and QBE are compared in the same operating environment, and the effects of query language type and other variables on user performance and satisfaction are studied. The experimental design combined a factorial design and a counterbalanced design in an effort to compare SQL and QBE. The results indicated that query language type affects user performance in paper and pencil testing, with QBE use... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Repository evaluation of software reuse

    Publication Year: 1993 , Page(s): 379 - 389
    Cited by:  Papers (13)  |  Patents (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1120 KB)  

    The use and benefits of repository evaluation of software reuse are illustrated through an analysis of the evolving repositories of two large firms that recently implemented integrated CASE development tools. The analysis shows that these tools have supported high levels of software reuse, but it also suggests that there remains considerable unexploited reuse potential. The findings indicate that ... 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
tseeicdwyer@computer.org