By Topic

Computer Software and Applications Conference, 1993. COMPSAC 93. Proceedings., Seventeenth Annual International

1-5 Nov. 1993

Filter Results

Displaying Results 1 - 25 of 59
  • Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • SD/sup 2/-A system for distributed software development

    Publication Year: 1993, Page(s):131 - 137
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (474 KB)

    We design and implementation a system for distributed software development. The system helps the program designer by first extracting the program model (in Petri nets). The system then monitors the program run and collects program trace into a database. The monitor also interacts with the network management system for resource allocation. Program debugging is achieved by replaying the trace data, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering in the commercial sector present and future: A United Kingdom perspective

    Publication Year: 1993, Page(s):76 - 82
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    The discipline of software engineering promotes the use of systematic methods, automated tools and quality assurance procedures within software development. In this paper we place these practices within the UK context. We report the results from various surveys and research investigations which we have undertaken relating to the acceptance of these practices within the UK. From these results we ar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coordination of software-development activities among sites that are geographically separated

    Publication Year: 1993, Page(s):70 - 75
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (440 KB)

    The Department of Defense is sponsoring development of a centralized, integrated database, which will be a repository of international surface cargo movement data. Scheduled for implementation in early 1994, the system will include a relational database management system, processing modules, and complex communication components. Four geographically separated sites are involved with development. De... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Maintenance support needs for object-oriented software

    Publication Year: 1993, Page(s):63 - 69
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    The object-oriented (OO) programming paradigm for developing software systems has become more mainstream in the past several years. Existing research into the use of the OO paradigm is heavily biased toward front-end problems: design, programming languages, and development environments. Lost in this has been support for maintenance of OO system, yet maintenance is 80% of the effort for successful ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated data structure with multiple access paths for database and its performance

    Publication Year: 1993, Page(s):241 - 247
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    An integrated data structure is presented in this paper which offers multiple access paths for processing different types of queries efficiently. Our approach is to fuse those data structures which offer efficient access path of a particular type. To show the feasibility of our scheme we fused the B+-tree, the grid file and extendible hashing, using a proper interface. We implemented an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented prototyping approach to system development

    Publication Year: 1993, Page(s):56 - 62
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (716 KB)

    This paper proposes a new prototyping approach to software development to produce better-quality software more productively than traditional prototyping methodologies by combining formal methods and object-oriented techniques with prototyping concepts. In the prototyping process, specifications are gradually replaced with implementations which may be retrieved from libraries and refined afterwards... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated environment for software reliability modeling

    Publication Year: 1993, Page(s):395 - 401
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: (1) a software reliability modeling tool SMERFS adapted to fit our development environment; (2) a general data analysis environment in S-PLUS customized for software reliability modeling; and (3) some supporting programs written in C and AWK. This environment has b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Choices in database workstation-server architecture

    Publication Year: 1993, Page(s):298 - 305
    Cited by:  Papers (2)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    The workstation-server model is emerging as the standard computing environment for engineering and scientific applications. Most object-oriented database systems choose either the object-server architecture, in which individual objects are passed between the server and the workstation, or the page-server architecture, in which a disk page is the unit of transport between the server and the worksta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based formal specification directed testing of abstract data types

    Publication Year: 1993, Page(s):360 - 366
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive algorithm selection method (AASM) for dynamic software tuning

    Publication Year: 1993, Page(s):248 - 256
    Cited by:  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    This paper presents a new approach to dynamic software tuning called the adaptive algorithm selection method (AASM). The AASM is built into the calling sequence of a library. When the library is called, the AASM is activated. The AASM selects and executes the optimum algorithm from registered algorithms in a library, based on data and machine type. As a result, the software is automatically tuned ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and implementation of a distributed database

    Publication Year: 1993, Page(s):152 - 158
    Cited by:  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    We describe an approach for controlling certain unauthorized inferences in a multilevel secure distributed database management system. In such a system, two or more multilevel secure database management systems are connected via a trusted network. Furthermore, the environment that we have considered is a limited heterogeneous one where not all of the nodes handle the same accreditation ranges. In ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developmental testing of abstract data types

    Publication Year: 1993, Page(s):49 - 55
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    Abstract data types (ADTs) represent the fundamental building blocks of object-oriented software development. Consequently, a number of different testing techniques for ADT modules have been proposed in the literature. Most of these techniques at least tacitly assume that the ADT module under test has been completely implemented. In this paper, we present a class of testing techniques that are eas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System dependence graph construction for recursive programs

    Publication Year: 1993, Page(s):414 - 420
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    In a previous paper we demonstrated that a parse-tree-based system dependence graph (SDG) provides us with smaller and therefore more precise slices than a statement-based SDG. Furthermore, we described extensions to the SDG that were made to handle particular constructs found in ANSI C. In this paper, we describe a new method for the calculation of transitive dependences (in the presence of recur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating abstraction flexibility with diverse program perspectives

    Publication Year: 1993, Page(s):186 - 192
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    Technically, because of the limited dimensions of the presentation media, and psychologically, because of the limited human attention span, graphical program visualization in computer assisted reverse engineering becomes increasingly difficult with scale. This problem becomes compounded when multi-perspective visualization is taken into consideration. In this research we present a system called HV... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A temporal model for transparent monitoring of shared-memory multiprocessors

    Publication Year: 1993, Page(s):388 - 394
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    A major obstacle to parallel software development has been the perturbation of program execution resulting from software-based monitoring techniques. Parallel programs exhibit non-deterministic behavior, which can result in changes in program execution under software monitoring, as compared to unmonitored program execution. In this paper, a formal model for parallel program execution and monitorin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Online workload, performance and scalability of a database production system: A case study

    Publication Year: 1993, Page(s):306 - 312
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    Today, enterprises are seeking solutions to integrate their business functions by using advanced computing technologies. Meanwhile, these enterprises are cutting the information centers' budgets to lower the costs. Computer downsizing becomes essential for cost saving. However, computer downsizing also threatens those enterprises whose business success depends heavily on delivering fast, accurate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling of dynamic divide-and-conquer computations on multicomputers

    Publication Year: 1993, Page(s):352 - 359
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    The scheduling of tasks for applications with dynamic behavior traditionally rely on externally observable metrics such as the number of active processes. This paper presents a new scheduling strategy based on the observation that it may be possible to capture the near-term resource requirements of active tasks by expressions involving task parameters. Run-time evaluation of these expressions yiel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient commitment of events in distributed simulation

    Publication Year: 1993, Page(s):257 - 262
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (436 KB)

    We have built a distributed discrete-event simulator called Empathy. This paper describes some aspects of the Empathy simulation algorithm. Optimistic simulation incurs enormous memory overhead. In this paper, we propose an algorithm for optimistic simulation that is based on the concept of local conservative control for commitment of events. This algorithm reduces the memory overhead by an averag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An extended recursive algebra for nested relations and its optimization

    Publication Year: 1993, Page(s):145 - 151
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    This paper considers query optimization for nested relational databases based on a recursive algebra. A recursive algebra which has been proposed in the literature for nested relations has been extended to accommodate arbitrary algebraic expressions in any nested level of the query. This extended algebra can be used to conveniently express queries in two query languages proposed for the nested rel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process-centered project management system by stepwise particularizing software process

    Publication Year: 1993, Page(s):41 - 48
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (484 KB)

    This article proposes a process-centered project management system to facilitate controlling a wide variety of project activities. The essential idea is to employ software process descriptions as vehicles of exchanging activity plans between a project manager and a large number of staff. The system allows a manager to plan and monitor overall project processes which are stepwise particularized acc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Criteria for selecting a family of software indicators

    Publication Year: 1993, Page(s):408 - 413
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    A family of maintainability metrics is defined by a hierarchical structure, with the top level, the family, being the most abstract. The lowest level in the hierarchy consists of the members of the family, the software metrics and the middle level consists of the property branches. A family allows for a hierarchy of measurements. The vectors of metrics and the hybrid metrics only represent one lev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A method of drawing tree-structured program diagrams on the Euclidian plane

    Publication Year: 1993, Page(s):193 - 201
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    A tree-structured diagram is considered as a tree in which each node has four attributes: (1) width, (2) depth, (3) horizontal coordinate and (4) vertical coordinate. The placing problem of the tree-structured diagram satisfying certain given eumorphous conditions is called a tidy drawing problem. The eumorphous conditions of tree-structured diagrams, oriented to program diagrams, have been formul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software architecture for maintaining temporal consistency in a distributed real-time environment

    Publication Year: 1993, Page(s):380 - 387
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    Control applications constitute an important class of real-time systems. Such applications have specific temporal requirements that have to be taken into account during the system design. One such requirement is data temporary consistency. This paper gives an overview of the temporal consistency problem and addresses implementation issues for a distributed real-time system that is configured accor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Xthreads library: Design, implementation, and applications

    Publication Year: 1993, Page(s):173 - 179
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    The purpose of the Xthreads library is to provide a cheap concurrent programming environment. The design of the Xthreads library is patterned after Xinu, a small and elegant operating system in which all processes share a single address space and hence enjoy reduced overheads in process creation, interprocess communication, and so on. Our approach is to map the Xinu process structure into the Xthr... View full abstract»

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