Scheduled System Maintenance
On Tuesday, May 22, IEEE Xplore will undergo scheduled maintenance. Single article sales and account management will be unavailable
from 6:00am–5:00pm ET. There may be intermittent impact on performance from noon–6:00pm ET.
We apologize for the inconvenience.

[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track

3-6 Jan. 1989

Filter Results

Displaying Results 1 - 25 of 122
  • Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Vol.II: Software Track (IEEE Cat. No.89TH0243-6)

    Publication Year: 1989
    Request permission for commercial reuse | PDF file iconPDF (48 KB)
    Freely Available from IEEE
  • Software quality drivers and indicators

    Publication Year: 1989, Page(s):210 - 218 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (653 KB)

    The predictive part of a constructive quality model called COQUAMO is being developed using the concept of quality drivers to provide information on the development project. The monitoring part of COQUAMO aims at detecting detrimental deviations from plans through quality indicators applied to the ongoing project. The authors describe theoretical investigations of quality drivers and indicators as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The architecture of Ra: a kernel for Clouds

    Publication Year: 1989, Page(s):936 - 945 vol.2
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (872 KB)

    Ra is a native, minimal kernel for the Clouds distributed operating system. Ra is a successor to the prototype Clouds kernel and reflects lessons learned from the earlier implementation effort. Ra supports the same object-thread model as the original Clouds kernel as a special case and introduces extensibility as a major goal. Ra provides three primitives, namely segments, virtual spaces, and ligh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State change architecture: a protocol for executable process models

    Publication Year: 1989, Page(s):154 - 164 vol.2
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    The key concepts and requirements for a process mechanism and the state change architecture (SCA) protocols are presented. The SCA is thought to solve many of the process modeling problems associated with conventional languages and methods. It integrates object-oriented programming, a common repository for the logical view of data, and logic programming View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge-based method and tool handling

    Publication Year: 1989, Page(s):142 - 151 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    Method and tool selection are defined by a method rule system and a tool rule system. The former defines the order in which methods might be applied to perform a specific software-engineering task. Tools supporting the methods are managed by the tool system. A set of interrelation rules defines the transformation of a methodological refined task into a set of appropriate tools of a selected enviro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Usage-sensitive menu design with Huffman coding

    Publication Year: 1989, Page(s):436 - 437 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (160 KB)

    An adaptive usage-sensitive menu-structuring method is proposed to minimize the average search time within a hierarchical menu system. Menu usage statistics are collected, and the Huffman coding algorithm is used to move the frequency selected menu items to the more quickly accessible menu locations. With Huffman coding, the depth of the menu tree is adjusted for a specified breadth so that the av... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semantically oriented program synthesis system

    Publication Year: 1989, Page(s):85 - 94 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    An overview is given of SEED, an automatic program development system that transforms specifications into code using program development methodologies. It is shown that top-down, stepwise program development techniques, originally intended for use by humans, are amenable to automation. When using the Dijkstra/Gries methodology, users refine the predicate logic-based specification of a problem, acc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Debugging run-time errors

    Publication Year: 1989, Page(s):495 - 503 vol.2
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    The usual way of locating logical errors is to use a break-and-inspect-style debugging tool. The programmer uses the debugger to search for a small part of the program's execution that does not proceed as expected. Existing debuggers enable the programmer to make this search, but do not assist in the search. Techniques are presented for assisting the programmer in the error diagnosis process. A de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Local and global constraints in database integration

    Publication Year: 1989, Page(s):604 - 611 vol.2
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    In supporting global updates in a distributed database system obtained by database integration, three key problems arise: (1) update translation, i.e. how to translate a global update into a corresponding set of local updates; (2) constraint integration, i.e. how to determine what constraints exist on the integrated global database and how to check and enforce them during global updates; and (3) t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software storming approach to rapid prototyping

    Publication Year: 1989, Page(s):368 - 376 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (748 KB)

    A methodology for very rapid prototyping, called software storming, brings together principles from both brainstorming and software engineering to quickly develop knowledge-based systems for problem assessment and solution. Brainstorming by domain experts drives the simultaneous software development of their ideas. Domain experts and system programmers are brought together in an intense one-week e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An application of structural modeling and automated reasoning to concurrent program design

    Publication Year: 1989, Page(s):134 - 141 vol.2
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    An application of structural modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes an absolutely correct program and increases software productivity. The concurrent programs are described by a Prolog-based concurrent object-oriented l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Message communications in a distributed real-time system with a polled bus

    Publication Year: 1989, Page(s):703 - 711 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (808 KB)

    High-speed message communications is addressed. Each node in the system consists of multiple processors interconnected by a broadcast bus, but the individual nodes are interconnected by an arbitrary network. The concept of a poll number is proposed to control the access to an intranode bus, minimizing the probability of real-time messages missing their deadlines. When a task generates a time-const... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Human-computer interaction in a medical decision support system

    Publication Year: 1989, Page(s):429 - 435 vol.2
    Cited by:  Papers (3)  |  Patents (39)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    Three different types of user interface in EMERGE, a medical expert system for analysis of chest pain in the emergency room, are described. They are a question-driven mode, in which the system asks the user to respond with y(es), n(o) or? (no information), or with a degree of presence of symptoms; a data-driven mode in which the user enters free-format English phrases; and a menu-driven mode in wh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated development environments: technological and behavioral productivity perceptions

    Publication Year: 1989, Page(s):996 - 1003 vol.2
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    An empirical study of computer-aided software-engineering (CASE) technology productivity perceptions of information systems professionals. In a PC-based survey, fifteen CASE technological functions were compared along with two behavioral functions using the method of paired comparison. A rank ordering of the results revealed that data-flow diagramming and the data dictionary maintenance technologi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating computer-aided software engineering and user interface management systems

    Publication Year: 1989, Page(s):850 - 859 vol.2
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    Oregon Speedcode Universe (OSU) is a software development environment for design, implementation, and maintenance of large software systems. Designed to be highly visual, OSU combines traditional structured-analysis techniques found in most computer-aided software engineering tools with the advanced graphical user-interface management systems found on most contemporary workstations. The design and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented databases for construction data

    Publication Year: 1989, Page(s):559 - 568 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Database management system can support the various aspects of the construction process. Study of the requirements for such a database system has led the authors to the conclusion that the most appropriate abstract data model for construction data is that of object-oriented data. To study the appropriateness of this model, they have developed the specific example of a simple building with component... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge-based design environment for graphical network editors

    Publication Year: 1989, Page(s):881 - 891 vol.2
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (928 KB)

    A graphical editor design environment that incorporates and applies knowledge about application domains has been developed. The goal is to move a design environment closer toward its application. As an example of this generation of design support systems, a design environment for graphical editors in the domain of object-oriented inheritance networks is presented. In addition to the general knowle... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge based tool for the requirements analysis

    Publication Year: 1989, Page(s):78 - 84 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    A description is given of the Analysis Assistant, a knowledge-based system aiming at helping the user to carry out the requirements analysis of a software system adhering to a given methodology and utilizing a large amount of knowledge on the particular application domain. The current prototype of the Analysis Assistant is outlined along with the language used for its implementation. The focus is ... View full abstract»

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

    Publication Year: 1989, Page(s):486 - 494 vol.2
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (440 KB)

    An original, theoretical definition of denotational program slicing is presented. Program slicing is a method for automatic program decomposition that is based exclusively on control and data-flow information. Denotational slicing makes use of the functional semantics of a particular programming language and defines the various domains and appropriate mappings between them. Transformations are def... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Consistency issues in real-time database systems

    Publication Year: 1989, Page(s):654 - 661 vol.2
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    A consistency model is presented of real-time database systems that distinguishes the external data consistency from the internal data consistency as maintained by traditional systems, to provide a transaction schedule to meet deadlines. External consistency requires that the data used by a transaction reflect the current physical environment; this is in contrast to internal consistency, which pre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Qlisp: parallel processing in Lisp

    Publication Year: 1989, Page(s):751 - 760 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    One of the major problems in converting serial programs to take advantage of parallel processing has been the lack of a multiprocessing language that is both powerful and understandable to programmers. The authors describe multiprocessing extensions to Common Lisp designed to be suitable for studying styles of parallel programming at the medium-grain level in a shared-memory architecture. The resu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology and tool for automated derivation of functional dependencies

    Publication Year: 1989, Page(s):596 - 603 vol.2
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    Business forms are used as the main input to the process of derivation of a set of functional dependencies. A form model is developed which abstracts the set of forms in a desired format. By analyzing the form schemas, a system deduces the functional dependencies which exist between the form fields. A rule-based inferential approach is used. System knowledge is divided into form selection, single-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An entropy metric for software maintainability

    Publication Year: 1989, Page(s):522 - 523 vol.2
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    An entropy metric that can be calculated from readily available data for existing software is presented. Commercially available software provides data on the message flow in software, which are used to calculate changes in the entropy loading during software maintenance. Since entropy increases indicate increases in the disorder of the software system, entropy loading can be used as a metric in so... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prototyping conceptual models of real-time systems: a visual perspective

    Publication Year: 1989, Page(s):358 - 367 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (872 KB)

    It is suggested that the disparity between the knowledge and background of the individuals who develop software and those who use the developed software should be filled during the requirements engineering process through the use of appropriate techniques and software tools that incorporate a conceptual model of the area of application. The authors describe an experimental requirements engineering... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • InfoProbe-a utility for animation of IC* programs

    Publication Year: 1989, Page(s):126 - 133 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    InfoProbe is an observation and debugging tool designed for the IC* parallel programming environment. InfoProbe borrows a paradigm from hardware debugging, the use of observation tools such as gauges, probes, and meters, and reapplies it in the software environment to provide a similar set of audiovisual gauges for watching program behavior. A description is given of the design of InfoProbe, the e... View full abstract»

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