By Topic

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

Date 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 Permissions | 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 Permissions | 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.
  • Capturing the objected-oriented database model in relational form

    Publication Year: 1993 , Page(s): 202 - 208
    Cited by:  Papers (2)  |  Patents (5)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (572 KB)  

    In a heterogeneous database environment, accessing data across different types of data models requires an integration of conceptual schemas. This conceptual schema can exist in various forms such as relational, object-oriented, hierarchical, or network. This paper provides a mechanism, a mapping function - for the transformation of an object- oriented schema to a relational schema and a query tran... 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 Permissions | 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.
  • Developmental testing of abstract data types

    Publication Year: 1993 , Page(s): 49 - 55
    Cited by:  Papers (1)
    Request Permissions | 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.
  • Two-level processor scheduling for multiprogrammed NUMA multiprocessors

    Publication Year: 1993 , Page(s): 343 - 351
    Request Permissions | Click to expandAbstract | PDF file iconPDF (776 KB)  

    Non-uniform memory access multiprocessors have potential gains for achieving high performance. These machines are frequently used as computation servers with multiple parallel processes (we use this word instead of jobs) executing at the same time. In such environments, the efficiency of a parallel process can be significantly affected by the processor scheduling strategy. LA two-level scheduling ... 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 Permissions | 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.
  • Z meets Haskell: A case study

    Publication Year: 1993 , Page(s): 320 - 326
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (556 KB)  

    Z is a popular specification language which has also been used as a design tool, although much less frequently. Haskell is a programming language that was recently developed to serve as a standard for non-strict, purely functional languages. Although functional languages have proved to be excellent prototyping tools, Haskell was designed as a general purpose language which could be employed to bui... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences with a faceted classification scheme in a large reusable software library (RSL)

    Publication Year: 1993 , Page(s): 90 - 99
    Cited by:  Papers (5)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (732 KB)  

    This paper presents experiences with software classification in a large corporate reuse software library (RSL) at IBM. We use facets extensively as one method of component classification in the IBM RSL. However, facets alone cannot adequately provide all the information needed to fully classify and understand a reusable component. Experience with an operational RSL reveals that we require a combin... 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 Permissions | 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.
  • Scheduling of dynamic divide-and-conquer computations on multicomputers

    Publication Year: 1993 , Page(s): 352 - 359
    Request Permissions | 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.
  • Model-based formal specification directed testing of abstract data types

    Publication Year: 1993 , Page(s): 360 - 366
    Cited by:  Papers (3)
    Request Permissions | 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.
  • Object-oriented database views for supporting multidisciplinary concurrent engineering

    Publication Year: 1993 , Page(s): 19 - 26
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (640 KB)  

    In this paper we present a new approach for creating materialized object-oriented (OO) views. We investigate the required semantic content of an OO model in order to support views. We present a view algebra which is capable of manipulating both the is-a dimension and association dimension of a composite object. We also propose a methodology for constructing materialized OO views View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification slicing in formal methods of software development

    Publication Year: 1993 , Page(s): 313 - 319
    Cited by:  Papers (7)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (396 KB)  

    Specifications are important in software development because a large percentage of the errors at implementation and test phases are traceable to a lack of precision of the specifications. Formal methods are studied and applied to produce clear specifications and argue about them rigorously. As formal methods may even increase the ratio of specification phase in the software life-cycle, it is neces... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual CASE: A software development system for home appliances

    Publication Year: 1993 , Page(s): 11 - 18
    Request Permissions | Click to expandAbstract | PDF file iconPDF (620 KB)  

    This paper describes Visual CASE: a software development system that provides a framework which can be used by the whole development team: product planners, product designers, and software developers. This system includes interactive browsers, editors, and databases to manipulate the object model we designed specifically for the software in home appliances. We apply the object model to an entity t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object prototyping: Concept and specification language

    Publication Year: 1993 , Page(s): 209 - 215
    Request Permissions | Click to expandAbstract | PDF file iconPDF (696 KB)  

    Object-oriented (OO) database systems are becoming popular for CAD, VLSI, and CASE applications. One of the reasons is the support of prototyping through inheritance and/or scheme evolution. In this paper, we propose another rapid prototyping technique: object prototyping. It assumes that a database schema is fixed and rapid prototyping is achieved by applying alternative values into attributes of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A practical and space efficient scheme for keeping source location in parse trees

    Publication Year: 1993 , Page(s): 374 - 379
    Cited by:  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (352 KB)  

    Many CASE tools use graphical notations to represent program source code, which provide an effective visual aid for program analysis. In such systems, it is important that facilities exist for tracing back to source code from, say, a node in a control-flow graph. We describe a scheme by which source code location information is kept with parse trees. The most attractive feature of this scheme is t... 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 (1)
    Request Permissions | 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.
  • Petri net based modelling of procedures in complex object database applications

    Publication Year: 1993 , Page(s): 138 - 144
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (632 KB)  

    In this paper a new type of high level Petri nets is introduced for modelling procedures in complex object database applications. Places in these so-called nested relation/transition nets (NR/T-nets) represent schemes of unnormalized (nested) relations. The marking of each place is a nested relation of the respective type. Each transition represents a specific type of operation on the relations in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process dependence net of distributed programs and its applications in development of distributed systems

    Publication Year: 1993 , Page(s): 231 - 240
    Cited by:  Papers (11)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (796 KB)  

    In addition to the usual control and data dependences proposed and studied for sequential and centralized programs, this paper introduces three new types of primary program dependences in concurrent and distributed programs, named the selection dependence, synchronization dependence, and communication dependence, and a new program representation for concurrent and distributed programs, named the p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using computational learning theory to analyze the testing complexity of program segments

    Publication Year: 1993 , Page(s): 367 - 373
    Request Permissions | Click to expandAbstract | PDF file iconPDF (508 KB)  

    We examine the complexity of testing different program constructs by defining a measure called VCP-dimension and applying it to classes of programs, where all programs in a class share the same syntactic structure. VCP-dimension gives bounds on the number of test points needed to determine approximate correctness, so it gives insight into the difficulty of testing a program construct represented b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Recording software design processes for maintaining the software

    Publication Year: 1993 , Page(s): 27 - 33
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (616 KB)  

    This paper proposes a method of supporting software change propagation analysis using a recorded software design rationale. This paper discusses recording costs, the usage and effectiveness of the recorded information for change propagation analysis, which other papers don't. Change propagation analysis of the software being modified is difficult when no design rationale for the software is left. ... 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 Permissions | 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.
  • Designing parallel database programs using PARSE

    Publication Year: 1993 , Page(s): 117 - 123
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (536 KB)  

    The problems of constructing parallel programs are considered and the aims of the PARSE parallel software engineering methodology are introduced. PARSE is a multi-stage methodology that covers logical and physical design, design verification, and implementation strategy. The first stage in the methodology involves the use of process graphs which provide a language and architecture independent nota... 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 Permissions | 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.