By Topic

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

## 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
| PDF (48 KB)
• ### Software quality drivers and indicators

Publication Year: 1989, Page(s):210 - 218 vol.2
Cited by:  Papers (1)
| | PDF (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»

• ### The architecture of Ra: a kernel for Clouds

Publication Year: 1989, Page(s):936 - 945 vol.2
Cited by:  Papers (4)
| | PDF (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»

• ### Scheduling operating system processing on small-scale multiprocessors

Publication Year: 1989, Page(s):904 - 913 vol.2
| | PDF (940 KB)

Proposes a number of assignment and scheduling policies, ranging from asymmetric handling of operating system (OS) processing on designated OS processors, to the symmetric scheduling of OS processing on any available processor. These policies are evaluated under a variety of load conditions. Small systems, with up to three processors, are studied experimentally using the Mach operating system on a... View full abstract»

• ### Consistency issues in real-time database systems

Publication Year: 1989, Page(s):654 - 661 vol.2
Cited by:  Papers (24)
| | PDF (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»

• ### PSACOIN level 0 intercomparison-an international verification exercise on a hypothetical safety assessment case study

Publication Year: 1989, Page(s):267 - 274 vol.2
Cited by:  Papers (1)  |  Patents (1)
| | PDF (524 KB)

A comparison of probabilistic system assessment (PSA) codes relevant to radioactive waste disposal is reported. This level-0 intercomparison was the first of a series of planned code verification exercises and was based on a simple model describing a hypothetical disposal system. PSA codes deal with uncertainty and variability in input parameters using a Monte Carlo approach, so that the analysis ... View full abstract»

• ### Performance analysis of MARS logging, checkpointing, and recovery

Publication Year: 1989, Page(s):636 - 642 vol.2
Cited by:  Papers (1)
| | PDF (464 KB)

The results of a performance analysis used to compare MARS (a main-memory recoverable database with stable log) and MM-DBMS (different main-memory database management system) are reported. With equal numbers and sizes of log records, MARS supports a higher transaction throughput rate than does MM-DBMS. Even with larger numbers of log records, a rate of 1500 transactions per second can be supported... View full abstract»

• ### Graphical specification of algorithm animations with ALADDIN

Publication Year: 1989, Page(s):892 - 901 vol.2
Cited by:  Papers (11)
| | PDF (584 KB)

ALADDIN (algorithm animation design and description using interaction) is a system for creating animations of algorithm executions with a minimal effort. To avoid the most laborious phase of producing an animation, which is programming the graphics needed in the animation, ALADDIN allows the user to design the graphics interactively with a graphical editor. An example elucidating how an animation ... View full abstract»

• ### Maintaining a well-structured software system

Publication Year: 1989, Page(s):540 - 547 vol.2
| | PDF (620 KB)

It has been theorized that if a software system is developed using a rigorous methodology and is well documented and well structured, the resulting system will be more easily maintained. The author describes experiences with a large, real-time software system that successfully uses structured techniques, including an iterative life cycle during maintenance. The following advantages are found: (1) ... View full abstract»

• ### Insertion of fault detection mechanisms in distributed Ada software systems

Publication Year: 1989, Page(s):260 - 266 vol.2
Cited by:  Papers (1)
| | PDF (492 KB)

A technique for automatically inserting software mechanisms to detect single event upset (SEU) in distributed Ada systems is presented. SEUs may cause information corruption, leading to a change in program flow or causing a program to execute an infinite loop. Two cooperative software mechanisms for detecting the presence of these upsets are described. Automatic insertion of these mechanisms is di... View full abstract»

• ### A program decomposition scheme with applications to software modification and testing

Publication Year: 1989, Page(s):479 - 485 vol.2
Cited by:  Papers (7)  |  Patents (1)
| | PDF (468 KB)

The authors use M. Weisers (1984) technique, to approximate the notion of direct-sum decomposition for the flowgraph representation of a program. Given a program slice, they define its complement and demonstrate how to obtain it; the slices and complements are used to define the components of the decomposition. These components are independent in the sense that they are executable projections of a... View full abstract»

• ### A user interface design for cataloging and identifying reusable software modules: a semantic network approach

Publication Year: 1989, Page(s):1035 - 1040 vol.2
Cited by:  Papers (1)
| | PDF (360 KB)

A knowledge representation technique for cataloging software modules is described. The software catalog is a multilevel schema that classifies modules according to function, date usage, and application users. A semantic network is used to encode the catalog and also serves as the basis for an interface design for perusing the contents of the catalog. By opening a window on the catalog, encoded kno... View full abstract»

• ### An analytical model for evaluating database update schemes in a centralized environment

Publication Year: 1989, Page(s):630 - 635 vol.2
Cited by:  Papers (1)
| | PDF (392 KB)

A method is presented for evaluating the performance of database update schemes that are used to support views in a centralized system. It is based on an analytical queuing model that deals with multiple classes of customers, each class having its own arrival rate. The approach is demonstrated by using it to model two methods for supporting derived relations: the actual-results and the potential-r... View full abstract»

• ### A knowledge-based design environment for graphical network editors

Publication Year: 1989, Page(s):881 - 891 vol.2
Cited by:  Patents (1)
| | PDF (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»

• ### Generating customized software engineering information bases from software process and product specifications

Publication Year: 1989, Page(s):587 - 595 vol.2
Cited by:  Papers (1)  |  Patents (2)
| | PDF (652 KB)

The authors describe research carried out to: (i) develop a software process and product specification language that allows all the information necessary to understand, control, and improve any given software engineering process; (ii) develop a meta-information-base schema that automatically generates an information-base structure given a software process and product specification; and (iii) devel... View full abstract»

• ### Telescopic replication in hierarchically structured process-control programs

Publication Year: 1989, Page(s):1055 - 1063 vol.2
Cited by:  Papers (2)
| | PDF (608 KB)

Presents a hierarchical control structure incorporating telescopic replication for providing cost-effective redundancy for nodes providing centralized control. The lowest-level nodes of the hierarchy are designed to be inherently fault-tolerant. The higher-level nodes formulate optimal strategies and coordinate lower-level activities. Telescopic replication yields a good performance/cost ratio and... View full abstract»

• ### The kernel of a software development environment for graphic languages

Publication Year: 1989, Page(s):115 - 125 vol.2
| | PDF (816 KB)

The innovative graphic features of the kernel of the integrated software development environment GRASPIN are discussed. GRASPIN extends to the graphic languages used in the early stages of software life cycle the benefits of the software development environment approach, in that it provides a graphlike internal representation of software documents and automatic layout tools. Standard techniques ba... View full abstract»

• ### An abstract axiomatization of pointer types

Publication Year: 1989, Page(s):252 - 259 vol.2
| | PDF (600 KB)

Pointer (reference' or access') types are extremely useful in programming, but are usually considered rather intractable in the context of formal verification. The author deals with this problem using the concept of collections and access types. He gives two examples of how this can be done. One approach, using the axiomatic method of J.V. Guttag and V. Horning (1978), is too specific, resulting... View full abstract»

• ### A semantically oriented program synthesis system

Publication Year: 1989, Page(s):85 - 94 vol.2
| | PDF (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»

• ### Capability based, tightly coupled multiprocessor hardware to support a persistent global virtual memory

Publication Year: 1989, Page(s):36 - 45 vol.2
Cited by:  Papers (5)  |  Patents (2)
| | PDF (788 KB)

A capability-based tightly coupled multiprocessor has been designed and constructed. The system supports a persistent global virtual memory in which objects representing processes, data and mechanisms for input/output reside. The hardware architecture of the machine and its addressing mechanisms are described. Addressing mechanisms that allow the persistent, global virtual memory to span multiproc... View full abstract»

• ### Unix system mental models and Unix system expertise

Publication Year: 1989, Page(s):457 - 467 vol.2
Cited by:  Papers (1)
| | PDF (884 KB)

A study is described, whose purpose was to develop a model of users' knowledge of the Unix operating system and thus to depict the relationship between user expertise and mental models of the Unix system. Thirty computer science and engineering majors with varying levels of expertise participated in the experiment. Expertise was measured by experience with the Unix system and computing, as well as... View full abstract»

• ### A method for data re-engineering in structured programs

Publication Year: 1989, Page(s):1025 - 1034 vol.2
Cited by:  Papers (5)
| | PDF (680 KB)

While the problem of restructuring control flow in software is fairly well understood, few methods exist for understanding and restructuring the data flow of software. A method of data re-engineering is proposed that combines the theories of data-usage abstractions for system redesign. The principal results of this re-engineering process are the elimination of data-flow anomalies, the reduction of... View full abstract»

• ### A programming environment for distributed realtime applications

Publication Year: 1989, Page(s):673 - 682 vol.2
| | PDF (676 KB)

An environment based on a specification technique, which provides methods for communication and synchronization between parallel processes, is described. The mainly graphical specification technique can be used for parallel processing, message passing, synchronous and asynchronous communication, and time-out conditions. The specification technique is supported by a number of tools. The programming... View full abstract»

• ### A performance comparison of top-down recursive query evaluation strategies on Datalog benchmarks

Publication Year: 1989, Page(s):621 - 629 vol.2
| | PDF (532 KB)

A performance comparison is given, using Datalog benchmarks, of top-down strategies for the evaluation of recursive queries. The top-down strategies that are compared include S.W. Dietrich and D.S. Warren's extension tables (see Tech. Rep., 85-31, Dept. of Computer Science, SUNY at Stony Brook (1985)), H. Tamaki and T. Sato's multistage depth-first (see Third Int. Conf. Logic Prog., p.84-98 (1986)... View full abstract»

• ### Describing real-time systems using PPA and XYZ/E

Publication Year: 1989, Page(s):712 - 713 vol.2
| | PDF (120 KB)

It is proposed to use the combination of PPA, a data-flow diagram system enhanced with the process port concept, and XYZ/E, a temporal-logic-based language system, for real-time system design. The capabilities of the approach are explored for the example of a cruise control system View full abstract»