[1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference

11-13 Sept. 1991

Filter Results

Displaying Results 1 - 25 of 119
  • Proceedings of the Fifteenth Annual International Computer Software and Applications Conference (Cat. No.91CH3023-9)

    Publication Year: 1991
    Request permission for commercial reuse | PDF file iconPDF (603 KB)
    Freely Available from IEEE
  • A visual data manipulation language for a semantic data model

    Publication Year: 1991, Page(s):212 - 218
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    A data processing model called PIM is proposed. This model has its own database diagram mechanisms and a visual data manipulation language is defined on the diagrams. The visual language allows users to construct database queries utilizing iconic pictures over database diagrams. The algebraic capabilities of the language in query processing are described, and a formal definition is given. Related ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An update protocol for an OODB with integrity

    Publication Year: 1991, Page(s):693 - 698
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (484 KB)

    Some of the implications of providing referential and general integrity are outlined. Different query execution strategies required to support such integrity are described. SIM (semantic information manager) is an object-based database management system that implements some of these strategies. The strategy implementation is described along with some optimizations that have been introduced into th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Execution mode management and CU/PE overlap in an SIMD/SPMD parallel language/compiler

    Publication Year: 1991, Page(s):392 - 397
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    Language constructs (and their implementations) for execution mode management and achieving the overlap of control unit and processor operations in an explicitly parallel programming language are described. These are targeted to reconfigurable parallel processing systems, where the machine's processors are capable of operating in both the single-instruction-multiple data (SIMD) and single program-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of generalized document viewer using object chain representation

    Publication Year: 1991, Page(s):204 - 211
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    The author proposes a generalised document viewer (GDV) system, which provides a format-independent interface with which to access documents in various formats. He also proposes a new approach for document representation to be used in the GDV system. In this approach, a document is represented by a chain of objects, each of which belongs to a certain class and transforms access operations accordin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing massively parallel algorithms with Parallaxis

    Publication Year: 1991, Page(s):612 - 617
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    Parallaxis is a programming language for massively parallel single instruction-multiple data (SIMD) systems, based on Modula-2. There are only a small number of additional constructs to handle parallel data (vectors) and data exchange among processors or between the front-end and back-end. Parallaxis helps to solve parallel problems in a natural way and does not require special skills. The major l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual knowledge query language as a front-end to relational systems

    Publication Year: 1991, Page(s):373 - 378
    Cited by:  Papers (3)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    To alleviate the need to know the logical database organization, the authors propose the use of a semantic data model, known as the enhanced entity-relationship model, as a front-end to the relational systems. A formal, high-level visual knowledge query language (VKQL) has also been designed for this interface. This language provides for knowledge abstraction as the user communicates only domain k... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application development using Smalltalk and C++

    Publication Year: 1991, Page(s):686 - 692
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    A description is presented of the application of an object-oriented approach to software development for the VDU (visual display unit) system in the DRMASS (digital ratio multiple access subscriber system) project. In this development, design and prototyping were accomplished using Smalltalk, and then afterward the production system was coded in C++ based on this design. The applied developmental ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Foolproofing and quality feedback: keys of process-based management

    Publication Year: 1991, Page(s):390 - 391
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    Two techniques are used to investigate software process human error prevention methods. One imports useful technologies from other engineering fields, e.g., the relations between operation methods and human errors were investigated for hardware production processes, and foolproofing process methods were systematized to prevent human errors. The other technique develops new methods based on quality... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SUIT: software user interface design tool

    Publication Year: 1991, Page(s):196 - 203
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    SUIT, a software user interface design tool, is a visualization and prototyping tool that facilitates collaboration between programmers and usability personnel by offering multiple views of a user interface design. The authors describe the roles of different views on prototypes in user interface design and then explain how SUIT generates multiple views with a node-flow model of object-based and ev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RT-FRORL: a formal requirements specification language for specifying real-time systems

    Publication Year: 1991, Page(s):142 - 148
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    FRORL is a requirements specification language which is proposed to exploit knowledge representation techniques as an aid in the specification, analysis and development of a software system. RT-FRORL is an extension of FRORL that inherits FRORL's basic structure but also includes those language constructs needed to support the specification of real-time systems. The syntax of RT-FRORL is based on ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timestamping events for inferring `affects' relation and potential causality

    Publication Year: 1991, Page(s):606 - 611
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (484 KB)

    The authors define a relation, `affects', between every pair of events based on a relation `locally affects' for each process between each pair of events on the process. A mechanism for timestamping events is defined such that `affects' relation, and so potential concurrency, between events can be inferred from their timestamps. A timestamping mechanism is presented such that potential concurrency... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of OOAD methodologies

    Publication Year: 1991, Page(s):531 - 532
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB)

    The author addresses the question of the requirements of a genuine object-oriented analysis and design methodology (OOAD). The author proposes and illustrates an approach to achieving this objective View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Estimating recursive query costs for various parallel environments

    Publication Year: 1991, Page(s):365 - 372
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    A recursive query evaluation method is introduced whose main goal is to obtain a recursive query cost estimate without performing the query. In particular, it is shown that the execution estimate of the parallel processing of recursive queries can be done by exploiting the characteristics of the database profile during the evaluation process for request optimization. As many recursive queries invo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated test data generation for distributed software

    Publication Year: 1991, Page(s):680 - 685
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    A novel approach to automating test data generation for distributed programs is presented. The approach is based on actual execution of the program under test, a run-time scheduler, function minimization methods, and dynamic dataflow analysis. Test data are developed for the program using actual values of the input variables. When the program is executed, the program execution flow is monitored. I... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On formalizing software process description: Consortium's example

    Publication Year: 1991, Page(s):388 - 389
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (200 KB)

    The paper describes the three different tools of formality on process description for human (process guidance) and machine (automated process support). The three levels of process descriptions suggested are: process guide book, process model and process notation. The natural and direct mappings between them free the software developer from tedious and complex formal notation and benefit from the a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SOFTON: a flexible software construction model by interface mediation

    Publication Year: 1991, Page(s):479 - 486
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    An approach is presented that realizes the software construction from components by mediating between their connecting interfaces. The model consists of an interface specification, which describes the abstract interface of each component, and a mediation, which transforms specifications to meet each other and then generates interface mediator programs. A discussion is presented of the need to medi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A concurrent programming language Cable and its visualization facility

    Publication Year: 1991, Page(s):190 - 195
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    The authors have designed a concurrent programming language, Cable (Concurrent C and ABCL/1 based language). They implemented this language and its run-time system on a network of workstations connected by Ethernet. The Cable run-time system has a visualization facility which can display the parallel execution of Cable programs. The language specification of Cable has been designed mainly based on... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A shell for cooperative planning

    Publication Year: 1991, Page(s):136 - 141
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    A description is presented of Inspire, a shell for easy development of planning systems that make plans in cooperation with planners. In Inspire, a problem of deciding methods for revising plans is formulated as a problem of deciding constraint propagation paths. Constraints are basically classified into equality constraints and inequality constraints. The former are defined as relations. To satis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A prototype concurrent simulation toolkit

    Publication Year: 1991, Page(s):269 - 274
    Cited by:  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (452 KB)

    The EcliPSe system is a prototype toolkit for concurrent stochastic simulation. The toolkit provides high-level simulation-oriented primitives which an application programmer uses to describe the simulation process using a sequential computation model. The system transparently replicates appropriate sections of the simulation when the program is executed on a concurrent system. By binding to machi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deadlock detection in distributed database systems: a performance evaluation study

    Publication Year: 1991, Page(s):78 - 83
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (440 KB)

    A description is presented of a performance evaluation study of three proposed distributed deadlock detection algorithms, namely, fully centralized, partially distributed, and fully distributed deadlock detection algorithms. The authors investigate and describe the extent to which these algorithms provide an increase in the level of multiprogramming, and an increase in the number of blocked, resta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance, effectiveness, and reliability issues in software testing

    Publication Year: 1991, Page(s):604 - 605
    Cited by:  Papers (28)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (140 KB)

    The author has identified two problems that need to be overcome in order that some of the powerful testing techniques be used in practice: performance and effectiveness. The testing methods referred to are dataflow and mutation testing View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Class modules in object-oriented software development

    Publication Year: 1991, Page(s):529 - 530
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (188 KB)

    A discussion is presented of the possibilities of viewing software construction activities as identifying software components and wiring them together to perform prescribed functions. It is shown that class modules provide an extension to object-oriented programming languages. They can be used to naturally encapsulate external functionalities of subsystems. With such a construct, the interface com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software metrics for CASE development

    Publication Year: 1991, Page(s):565 - 570
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    The relationship between software models and metrics is examined. The opportunities for CASE application measurement are seen to be much greater than for conventional development. CASE metrics requirements are also seen to be different in a number of important ways from conventional software metrics requirements. CASE application metrics are examined under the headings of process metrics and produ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A parallel object-oriented language A-NETL and its programming environment

    Publication Year: 1991, Page(s):459 - 464
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    A description is presented of the design principles and features of the A-NETL, a language for describing highly parallel programs. The authors explain the features by using an example program. They also refer to its programming environment, which includes a multiwindow-based programming support system, language processors, and a debugger View full abstract»

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