By Topic

IEEE Transactions on Software Engineering

Issue 3 • May-June 1999

Filter Results

Displaying Results 1 - 12 of 12
  • Guest editorial - introduction to the special section

    Publication Year: 1999, Page(s):289 - 290
    Cited by:  Papers (3)
    Request permission for commercial reuse | PDF file iconPDF (94 KB)
    Freely Available from IEEE
  • Reconfiguration models and algorithms for stateful interactive processes

    Publication Year: 1999, Page(s):401 - 415
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    We present new results in the area of reconfiguration of stateful interactive processes in the presence of faults. More precisely, we consider a set of servers/processes that have the same functionality, i.e., are able to perform the same tasks and provide the same set of services to their clients. In the case when several of them turn out to be faulty, we want to reconfigure the system so that th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An extended banker's algorithm for deadlock avoidance

    Publication Year: 1999, Page(s):428 - 432
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    We describe a natural extension of the banker's algorithm (D.W. Dijkstra, 1968) for deadlock avoidance in operating systems. Representing the control flow of each process as a rooted tree of nodes corresponding to resource requests and releases, we propose a quadratic-time algorithm which decomposes each flow graph into a nested family of regions, such that all allocated resources are released bef... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interface compilation: steps toward compiling program interfaces as languages

    Publication Year: 1999, Page(s):387 - 400
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB)

    Interfaces-the collection of procedures and data structures that define a library, a subsystem, a module-are syntactically poor programming languages. They have state (defined both by the interface's data structures and internally), operations on this state (defined by the interface's procedures), and semantics associated with these operations. Given a way to incorporate interface semantics into c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain-specific languages: from design to implementation application to video device drivers generation

    Publication Year: 1999, Page(s):363 - 377
    Cited by:  Papers (37)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB)

    Domain-specific languages (DSL) have many potential advantages in terms of software engineering, ranging from increased productivity to the application of formal methods. Although they have been used in practice for decades, there has been little study of methodology or implementation tools for the DSL approach. We present our DSL approach and its application to a realistic domain: the generation ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Teapot: a domain-specific language for writing cache coherence protocols

    Publication Year: 1999, Page(s):317 - 333
    Cited by:  Papers (15)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB)

    In this paper, we describe Teapot, a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distributed systems make local replicas of shared data to improve scalability and performance. In both distributed shared memory systems and distributed file systems, a coherence protocol maintains agreement among the replicated copies as the underlyi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic distribution of reactive systems for asynchronous networks of processors

    Publication Year: 1999, Page(s):416 - 427
    Cited by:  Papers (29)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (404 KB)

    The paper addresses the problem of automatically distributing reactive systems. We first show that the use of synchronous languages allows a natural parallel description of such systems, regardless of any distribution problems. Then, a desired distribution can be easily specified, and achieved with the algorithm presented here. This distribution technique provides distributed programs with the sam... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A domain-specific language for regular sets of strings and trees

    Publication Year: 1999, Page(s):378 - 386
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (212 KB)

    We propose a novel high level programming notation, called FIDO, that we have designed to concisely express regular sets of strings or trees. In particular, it can be viewed as a domain-specific language for the expression of finite state automata on large alphabets (of sometimes astronomical size). FIDO is based on a combination of mathematical logic and programming language concepts. This combin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mawl: a domain-specific language for form-based services

    Publication Year: 1999, Page(s):334 - 346
    Cited by:  Papers (21)  |  Patents (48)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    A form-based service is one in which the flow of data between service and user is described by a sequence of query/response interactions, or forms. Mawl is a domain-specific language for programming form-based services in a device-independent manner. We focus on Mawl's form abstraction, which is the means for separating service logic from user interface description, and show how this simple abstra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An embedded modeling language approach to interactive 3D and multimedia animation

    Publication Year: 1999, Page(s):291 - 308
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2092 KB)

    While interactive multimedia animation is a very compelling medium, few people are able to express themselves in it. There are too many low-level details that have to do not with the desired content-e.g., shapes, appearance and behavior-but rather how to get a computer to present the content. For instance, behavior such as motion and growth are generally gradual, continuous phenomena. Moreover, ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BDL: a specialized language for per-object reactive control

    Publication Year: 1999, Page(s):347 - 362
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    The problem of describing the concurrent behavior of objects in object oriented languages is addressed. The approach taken is to let methods be the behavior units whose synchronization is controlled separate from their specification. Our proposal is a domain-specific language called BDL for expressing constraints on this control and actually implementing its enforcement. We propose a model where e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Service combinators for Web computing

    Publication Year: 1999, Page(s):309 - 316
    Cited by:  Papers (17)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (164 KB)

    The World Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that reproduce human browsing behavior, including reactions to slow transmission-rates and failures on many simultaneous links. We thus introduce a concurrent model that directly incorporates the notions of failure and rate of... 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