By Topic

Software Engineering, IEEE Transactions on

Issue 8 • Date Aug 1993

Filter Results

Displaying Results 1 - 8 of 8
  • A transaction-based approach to vertical partitioning for relational database systems

    Publication Year: 1993 , Page(s): 804 - 812
    Cited by:  Papers (7)  |  Patents (10)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (720 KB)  

    An approach to vertical partitioning in relational databases in which the attributes of a relation are partitioned according to a set of transactions is proposed. The objective of vertical partitioning is to minimize the number of disk accesses in the system. Since transactions have more semantic meanings than attributes, this approach allows the optimization of the partitioning based on a selecte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Encapsulation of parallelism and architecture-independence in extensible database query execution

    Publication Year: 1993 , Page(s): 749 - 764
    Cited by:  Papers (5)  |  Patents (8)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1656 KB)  

    Emerging database application domains demand not only high functionality, but also high performance. To satisfy these two requirements, the Volcano query execution engine combines the efficient use of parallelism on a wide variety of computer architectures with an extensible set of query processing operators that can be nested into arbitrarily complex query evaluation plans. Volcano's novel exchan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experimental comparison of the effectiveness of branch testing and data flow testing

    Publication Year: 1993 , Page(s): 774 - 787
    Cited by:  Papers (78)  |  Patents (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1412 KB)  

    An experiment comparing the effectiveness of the all-uses and all-edges test data adequacy criteria is discussed. The experiment was designed to overcome some of the deficiencies of previous software testing experiments. A large number of test sets was randomly generated for each of nine subject programs with subtle errors. For each test set, the percentages of executable edges and definition-use ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exception handlers in functional programming languages

    Publication Year: 1993 , Page(s): 826 - 834
    Cited by:  Papers (2)  |  Patents (3)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (752 KB)  

    Constructs for expressing exception handling can greatly help to avoid clutter in code by allowing the programmer to separate the code to handle unusual situations from the code for the normal case. The author proposes a new approach to embed exception handlers in functional languages. The proposed approach discards the conventional view of treating exceptions, as a means of effecting a control tr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reusability of mathematical software: a contribution

    Publication Year: 1993 , Page(s): 835 - 843
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (808 KB)  

    Mathematical software is devoted to solving problems involving matrix computation and manipulation. The main problem limiting the reusability of existing mathematical software is that programs are often not initially designed for being reused. Therefore, it is hard to find programs that can be easily reused. A programming methodology useful for designing and implementing reusable code is presented... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case history development of a foolproofing interface documentation system

    Publication Year: 1993 , Page(s): 765 - 773
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (792 KB)  

    The authors discuss information transmission errors occurring between design engineers involved in software development and describe an interface design documentation system that can prevent them. The equivalence of human errors in software design and hardware manufacturing activities is established. The characteristics that must be included in an interface documentation system to prevent communic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Achieving service rate objectives with decay usage scheduling

    Publication Year: 1993 , Page(s): 813 - 825
    Cited by:  Papers (13)  |  Patents (10)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1096 KB)  

    Decay usage scheduling is a priority- and usage-based approach to CPU allocation in which preference is given to processes that have consumed little CPU in the recent past. The author develops an analytic model for decay usage schedulers running compute-bound workloads, such as those found in many engineering and scientific environments; the model is validated from measurements of a Unix system. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and analysis of real-time problem solvers

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

    The authors provide a method for the specification of real-time artificial intelligence (AI) problem solvers. Using this method, a formal specification of a real-time problem is presented. In addition, a method for analyzing real-time AI problem solvers is examined using a case study of two real-time problem solvers, namely DYNORAII and RTA* for the real-time path planning problem. New results on ... 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