The Community for Technology Leaders
Twenty-Third Annual Hawaii International Conference on System Sciences (1990)
Kailua-Kona, HI, USA
Jan. 2, 1990 to Jan. 5, 1990
TABLE OF CONTENTS

Aggregation semantics and NF/sup 2/ model of data (PDF)

A. Sen , Dept. of Bus. Anal. & Res., Texas A&M Univ., College Station, TX, USA
J. Choobineh , Dept. of Bus. Anal. & Res., Texas A&M Univ., College Station, TX, USA
pp. 338-346 vol.2

Object-oriented development as a multiview software construction methodology (PDF)

I. Tervonen , Dept. of Inf. Process. Sci., Oulu Univ., Finland
pp. 113-120 vol.2

Preliminary experience with process modeling in the MARVEL software development environment kernel (PDF)

G.E. Kaiser , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
N.S. Barghouti , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
M.H. Sokolsky , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 131-140 vol.2

Finding interesting things in lots of data (PDF)

R. Brice , MCC, Austin, TX, USA
W. Alexander , MCC, Austin, TX, USA
pp. 2-9 vol.2

R-trees for large geographic information systems in a multi-user environment (PDF)

J.M. Sheng , Sch. of Comput. Sci. & Inf. Technol., Rochester Inst. of Technol., NY, USA
pp. 10-17 vol.2

Experiences with knowledge-base and large database integration (PDF)

C. Michelsen , Los Alamos Nat. Lab., NM, USA
D. Smith , Los Alamos Nat. Lab., NM, USA
G. McGrath , Los Alamos Nat. Lab., NM, USA
pp. 25-34 vol.2

Knowledge acquisition planning for inference from large databases (PDF)

L. Hunter , Nat. Libr. of Med., Bethesda, MD, USA
pp. 35-44 vol.2

Specification and implementation of application-oriented languages (PDF)

B.B. Kristensen , Inst. for Electron. Syst., Aalborg Univ., Denmark
pp. 55-63 vol.2

Synthesis of concurrent programs: automated reasoning complements software reuse (PDF)

N. Uchihira , Toshiba Corp., Kawasaki, Japan
H. Kawata , Toshiba Corp., Kawasaki, Japan
K. Matsumoto , Toshiba Corp., Kawasaki, Japan
M. Ito , Toshiba Corp., Kawasaki, Japan
S. Honiden , Toshiba Corp., Kawasaki, Japan
pp. 64-73 vol.2

Function-theoretic principles of program understanding (PDF)

M.G. Pleszkoch , IBM Corp., Baltimore, MD, USA
P.A. Hausler , IBM Corp., Baltimore, MD, USA
pp. 74-81 vol.2

RETEST-development of a selective revalidation prototype environment for use in software maintenance (PDF)

J. Hartmann , Centre for Software Maintenance, Durham Univ., UK
D.J. Robson , Centre for Software Maintenance, Durham Univ., UK
pp. 92-101 vol.2

Petri net-based models of software engineering processes (PDF)

B. Kramer , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
Luqi , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
pp. 104-112 vol.2

Using objects evolution for software processes representation (PDF)

M. Rueher , Nice Univ., Valbonne, France
C. Michel , Nice Univ., Valbonne, France
pp. 121-130 vol.2

Algebraic concepts for formal specification and transformation of modular software systems (PDF)

H. Ehrig , Dept. of Comput. Sci., Tech. Univ. of Berlin, West Germany
P. Boehm , Dept. of Comput. Sci., Tech. Univ. of Berlin, West Germany
W. Fey , Dept. of Comput. Sci., Tech. Univ. of Berlin, West Germany
pp. 153-164 vol.2

Specification-based code generation (PDF)

S. Antoy , Northern Virginia Graduate Center, Virginia Polytech., Falls Church, VA, USA
pp. 165-173 vol.2

Using executable specification languages for interface checking of large, distributed systems (PDF)

L.M. Liu , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Hong Kong
pp. 174-182 vol.2

The specification of a robust network (PDF)

V. Berzins , Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
R. Kopas , Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
pp. 183-188 vol.2

Rapid prototyping: a cure for software crisis (PDF)

C. Smyrniotis , Lockheed Space Syst. Div., Sunnyvale, CA, USA
pp. 202-210 vol.2

Evolutionary prototyping: techniques for structuring the iterative development of knowledge-based systems (PDF)

K.D. Bimson , Lockheed Software Technol. Center, Austin, TX, USA
L.B. Burris , Lockheed Software Technol. Center, Austin, TX, USA
pp. 211-219 vol.2

The PEDAS design representation for performance engineering of distributed systems (PDF)

R.T. Geottge , Adv. Syst. Technol. Inc., Englewood, CO, USA
pp. 220-226 vol.2

Using an ER query and update interface for rapid prototyping of hypertext systems (PDF)

B. Czejdo , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 227-236 vol.2

Specification by example using graphical animation and a production system (PDF)

R. St-Denis , Dept. of Math. & Inf., Sherbrooke Univ., Que., Canada
pp. 237-246 vol.2

OBSERV-a prototyping language and environment combining object oriented approach, state machines and logic programming (PDF)

S. Tyszberowicz , Moise & Frida Eskenasy Inst. of Comput. Sci., Tel-Aviv Univ., Israel
A. Yehudai , Moise & Frida Eskenasy Inst. of Comput. Sci., Tel-Aviv Univ., Israel
pp. 247-256 vol.2

ELL: Extendable Library Language (PDF)

M. Asdjodi , Bellcore, Piscataway, NJ, USA
pp. 257-266 vol.2

Detecting when UNNEST after a sequence of NESTs and UNNESTs can always be reversed with a single NEST (PDF)

H.-H. Yao , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
G. Ozsoyoglu , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 268-277 vol.2

Algebraic optimization for nested relations (PDF)

Y. Jan , Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA
pp. 278-287 vol.2

Nested table handling by flat table operators (PDF)

H. Kitagawa , Inst. of Inf. Sci. & Electron., Tsukuba Univ., Ibaraki, Japan
pp. 288-297 vol.2

Transforming from flat algebra to nested algebra (PDF)

V. Deshpande , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
P. Larson , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 298-307 vol.2

NF/sup 2/ relations and complex objects for model management systems (PDF)

K.A. Moser , Dept. of Decision Inf. Syst., Arizona State Univ., Tempe, AZ, USA
R.G. Ramirez , Dept. of Decision Inf. Syst., Arizona State Univ., Tempe, AZ, USA
R.D. St. Louis , Dept. of Decision Inf. Syst., Arizona State Univ., Tempe, AZ, USA
pp. 328-337 vol.2

An object-oriented framework to support architectural design development (PDF)

D.L. Carver , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 349-357 vol.2

The constraint-based paradigm: integrating object-oriented and rule-based programming (PDF)

M. van Biema , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
G.Q. Maguire , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
S. Stolfo , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 358-366 vol.2

An optimistic algorithm for consistent replicated shared data (PDF)

O. Krieger , Dept. of Electr. Eng., Toronto Univ., Ont., Canada
M. Stumm , Dept. of Electr. Eng., Toronto Univ., Ont., Canada
pp. 367-375 vol.2

An adaptation system for high-performance parallel applications (PDF)

P. Gopinath , Philips Lab., Briarcliff Manor, NY, USA
pp. 376-385 vol.2

A model and a proof system for parallel and distributed processes (PDF)

K.M. Kavi , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
A.K. Deshpande , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
pp. 386-392 vol.2

Redundancy: an approach to the efficient implementation of semantic integrity assertions (PDF)

M.N. Kamel , Dept. of Adm. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
pp. 393-399 vol.2

Petri net models of concurrent Ada programs (PDF)

R. Stansifer , Software Eng. Res. Center, Purdue Univ., West Lafayette, IN, USA
D. Marinescu , Software Eng. Res. Center, Purdue Univ., West Lafayette, IN, USA
pp. 400-409 vol.2

Temporal specification of Ada tasks (PDF)

W. Hankley , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
J. Peters , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 410-419 vol.2

The design and implementation of a specification language type checker (PDF)

R. Kopas , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
V. Berzins , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
pp. 420-425 vol.2

Forget-Me-Not-controlling intercompany operations by intelligent electronic mail (PDF)

R. Sulonen , Dept. of Comput. Sci., Helsinki Univ. of Technol., Espoo, Finland
P. Pietikainen , Dept. of Comput. Sci., Helsinki Univ. of Technol., Espoo, Finland
pp. 428-435 vol.2

Multi-agent hypermedia systems in CIM (PDF)

J. Alasuvanto , Lab. of Inf. Proces. Sci., Helsinki Univ. of Technol., Espoo, Finland
H. Hammainen , Lab. of Inf. Proces. Sci., Helsinki Univ. of Technol., Espoo, Finland
R. Sulonen , Lab. of Inf. Proces. Sci., Helsinki Univ. of Technol., Espoo, Finland
pp. 436-444 vol.2

Feature models for design and manufacturing (PDF)

T. Laakko , Lab. of Inf. Process. Sci., Helsinki Univ. of Technol., Espoo, Finland
M. Mantyla , Lab. of Inf. Process. Sci., Helsinki Univ. of Technol., Espoo, Finland
R. Mantyla , Lab. of Inf. Process. Sci., Helsinki Univ. of Technol., Espoo, Finland
J. Nieminen , Lab. of Inf. Process. Sci., Helsinki Univ. of Technol., Espoo, Finland
R. Sulonen , Lab. of Inf. Process. Sci., Helsinki Univ. of Technol., Espoo, Finland
J. Tuomi , Lab. of Inf. Process. Sci., Helsinki Univ. of Technol., Espoo, Finland
pp. 445-454 vol.2

The integration of inspection into the CIM environment (PDF)

G.M. Radack , Case Western Reserve Univ., Cleveland, OH, USA
F.L. Merat , Case Western Reserve Univ., Cleveland, OH, USA
pp. 455-462 vol.2

FORS: a flexible design environment (PDF)

N.P. Papanikolopoulos , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 463-470 vol.2

Preserving consistency in nested transactions (PDF)

H. Schoning , Dept. of Comput. Sci., Kaiserslautern Univ., West Germany
pp. 472-480 vol.2

An optimistic multi-level concurrency control for nested typed objects (PDF)

M. Cart , Centre de Recherche en Inf., Montpellier Univ., France
J. Ferrie , Centre de Recherche en Inf., Montpellier Univ., France
HJ. Richy , Centre de Recherche en Inf., Montpellier Univ., France
pp. 481-490 vol.2

A cooperative transaction model (PDF)

M. Vanhoedenaghe , Philips Res. Lab., Brussels, Belgium
pp. 491-492 vol.2

Software development environment transactions: their implementation and use in Cosmos (PDF)

J. Walpole , Dept. of Comput., Lancaster Univ., UK
A. Barber , Dept. of Comput., Lancaster Univ., UK
G.S. Blair , Dept. of Comput., Lancaster Univ., UK
J.R. Nicol , Dept. of Comput., Lancaster Univ., UK
pp. 493-502 vol.2

Extensible transaction management in Papyrus (PDF)

M.-A. Neimat , Hewlett-Packard Lab., Palo Alto, CA, USA
K. Wilkinson , Hewlett-Packard Lab., Palo Alto, CA, USA
pp. 503-511 vol.2

Graphical support for reducing information overload in rapid prototyping (PDF)

Luqi , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
P.D. Barnes , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
M. Zyda , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
pp. 514-522 vol.2

The HITS Icon Editor: the specification of graphic behavior without coding (PDF)

M. Rosenstein , MCC, Human Interface Lab., Austin, TX, USA
L. Weitzman , MCC, Human Interface Lab., Austin, TX, USA
pp. 523-530 vol.2

A programmer's interface: a visually enhanced and animated programming environment (PDF)

R. Baecker , Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
pp. 531-540 vol.2

InfoSound: an audio aid to program comprehension (PDF)

D.H. Sonnenwald , Bellcore, Red Bank, NJ, USA
B. Gopinath , Bellcore, Red Bank, NJ, USA
G.O. Haberman , Bellcore, Red Bank, NJ, USA
W.M. Keese , Bellcore, Red Bank, NJ, USA
J.S. Myers , Bellcore, Red Bank, NJ, USA
pp. 541-546 vol.2

Using cognitive simulation to develop user interface design principles (PDF)

S.M. Doane , Colorado Univ., Boulder, CO, USA
A.C. Lemke , Colorado Univ., Boulder, CO, USA
pp. 547-554 vol.2

Human-computer interaction scenarios as a design representation (PDF)

J.M. Carroll , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M.B. Rosson , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 555-561 vol.2
88 ms
(Ver 3.3 (11022016))