The Community for Technology Leaders
Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track (1988)
Kailua-Kona, HI, USA
Jan. 5, 1988 to Jan. 8, 1988
ISBN: 0-8186-0842-0
TABLE OF CONTENTS

Programming environments for reusability (PDF)

A.N. Habermann , Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 1-10

Automated conceptual schema restructuring (PDF)

U. Sundin , Dept. of Comput. Sci., Goteborg Univ., Sweden
pp. 12-20

Analysis and synthesis of abstract data types through generalization from examples (PDF)

C. Wild , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 21-29

The use of uniform semantic constraints in defining model-based editing operations (PDF)

K. Yue , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
pp. 30-39

Generating explanations from program code: two new approaches (PDF)

J. Bauer , Inst. fur Inf., Stuttgart Univ., West Germany
C. Specht , Inst. fur Inf., Stuttgart Univ., West Germany
pp. 40-47

The software engineering of systems with expert components (PDF)

W.B. Frekes , AT&T Bell Labs., Holmdel, NJ, USA
C.J. Fox , AT&T Bell Labs., Holmdel, NJ, USA
pp. 48-53

Implementation of a knowledge-based programming environment (PDF)

N.S. Barghouti , Columbia Univ., New York, NY, USA
G.E. Kaiser , Columbia Univ., New York, NY, USA
pp. 54-63

A planner for the automation of programming environment tasks (PDF)

R. Bisiani , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
F. Lecouat , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
V. Ambriola , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 64-72

Shadow: a system for capturing software design information in a browsable form (PDF)

P. Carando , Schlumberger-Doll Res., Ridgefield, CT, USA
pp. 72-82

Knowledge based configuration management (PDF)

P. Lavency , Philips Res. Lab., Brussels, Belgium
M. Vanhoedenaghe , Philips Res. Lab., Brussels, Belgium
pp. 83-92

Developing multitasking applications programs (PDF)

B. Appelbe , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 94-102

Shared memory multiprocessors and sequential programming languages: a case study (PDF)

L.A. Crowl , Dept. of Comput. Sci., Rochester Univ., NY, USA
pp. 103-108

Practical support for parallel programming (PDF)

D.C. DiNucci , Dept. of Comput. Sci. & Eng., Oregon Graduate Center, Beaverton, OR, USA
R.G. Babb , Dept. of Comput. Sci. & Eng., Oregon Graduate Center, Beaverton, OR, USA
pp. 109-118

Grain determination for parallel processing systems (PDF)

B. Kruatrachue , Oregon State Univ., Corvallis, OR, USA
T. Lewis , Oregon State Univ., Corvallis, OR, USA
pp. 119-128

Specifying Ada tasking using patterns of behavior (PDF)

S. Meldal , Inst. of Inf., Bergen Univ., Norway
pp. 129-134

Applicative parallelism on a shared memory multiprocessor (PDF)

R.R. Oldehoeft , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
D.C. Cann , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
pp. 135-144

A distributed Prolog system with AND-parallelism (PDF)

M. Carlton , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
P. Van Roy , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 145-154

Continuations in parallelism (PDF)

S. Steinberg , BBNACI, Cambridge, MA, USA
pp. 155-165

Global events and global breakpoints in distributed systems (PDF)

D. Haban , Dept. of Comput. Sci., Kaiserslautern Univ., West Germany
W. Weigel , Dept. of Comput. Sci., Kaiserslautern Univ., West Germany
pp. 166-175

Communications in the Mercury system (PDF)

B. Liskov , Lab. for Comput. Sci., MIT., Cambridge, MA, USA
T. Bloom , Lab. for Comput. Sci., MIT., Cambridge, MA, USA
D. Gifford , Lab. for Comput. Sci., MIT., Cambridge, MA, USA
R. Scheifler , Lab. for Comput. Sci., MIT., Cambridge, MA, USA
W. Weihl , Lab. for Comput. Sci., MIT., Cambridge, MA, USA
pp. 178-187

Structured message passing on a shared-memory multiprocessor (PDF)

T.J. LeBlanc , Dept. of Comput. Sci., Rochester Univ., NY, USA
pp. 188-194

A general approach to solving arbitrarily large problems in a fixed size systolic array (PDF)

H.Y.H. Chuang , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
L. Chen , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 195-204

Commutativity-based concurrency control for abstract data types (PDF)

W.E. Weihl , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 205-214

A recoverable object store (PDF)

R.E. Strom , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S.A. Yemini , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D.F. Bacon , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 215-221

A software facility for load sharing and parallel processing in workstation environments (PDF)

G.C. Shoja , Dept. of Comput. Sci., Victoria Univ., BC, Canada
G. Clarke , Dept. of Comput. Sci., Victoria Univ., BC, Canada
T. Taylor , Dept. of Comput. Sci., Victoria Univ., BC, Canada
W. Taylor , Dept. of Comput. Sci., Victoria Univ., BC, Canada
pp. 222-231

Management of distributed applications in large networks (PDF)

R.A. Flavin , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J.D. Williford , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 232-241

Measurements of distributed operating systems (PDF)

U. Ramachandran , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., GA, USA
pp. 242-249

Extended the DARTS software design method to distributed real time applications (PDF)

H. Gomaa , Sch. of Inf., Technol., & Eng., George Mason Univ., Fairfax, VA, USA
pp. 252-261

General object-oriented software development: background and experience (PDF)

E. Seidewitz , Goddard Space Flight Center, Greenbelt, MD, USA
pp. 262-270

Software construction method with Extended Modula-2 language environment (PDF)

T. Yamaoka , Dept. of Math., Keio Univ., Yokohama, Japan
N. Saito , Dept. of Math., Keio Univ., Yokohama, Japan
pp. 271-272

Quantifying a design process based on experiments (PDF)

H. Kudo , Osaka Univ., Japan
Y. Sugiyama , Osaka Univ., Japan
M. Fujii , Osaka Univ., Japan
pp. 285-292

A summary of software measurement experiences in the Software Engineering Laboratory (PDF)

J.D. Valett , Goddard Space Flight Center, NASA, Greenbelt, MD, USA
F.E. McGarry , Goddard Space Flight Center, NASA, Greenbelt, MD, USA
pp. 293-301

Measuring Ada for software in the Software Engineering Laboratory (SEL) (PDF)

F.E. McGarry , Goddard Space Flight Center, NASA, Greenbelt, MD, USA
pp. 302-310

A critique of diffusion theory as a managerial framework for understanding adoption of software engineering innovations (PDF)

J. Bayer , Graduate Sch. of Adm., Carnegie-Mellon Univ., Pittsburgh, PA, USA
N. Melone , Graduate Sch. of Adm., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 311-316

Quill: an extensible system for editing documents of mixed type (PDF)

D.D. Chamberlin , IBM Almaden Res. Center, San Jose, CA, USA
H.F. Hasselmeier , IBM Almaden Res. Center, San Jose, CA, USA
A.W. Luniewski , IBM Almaden Res. Center, San Jose, CA, USA
D.P. Paris , IBM Almaden Res. Center, San Jose, CA, USA
B.W. Wade , IBM Almaden Res. Center, San Jose, CA, USA
M.L. Zolliker , IBM Almaden Res. Center, San Jose, CA, USA
pp. 317-326

Multiple representation document development (PDF)

P. Chen , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
M.A. Harrison , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 327-336

A hypertext system to manage software life cycle documents (PDF)

P.K. Garg , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
W. Scacchi , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 337-346

FolioPub: A publication management system (PDF)

J.H. Schlichter , Xerox Corp., Webster, NY, USA
L.J. Miller , Xerox Corp., Webster, NY, USA
pp. 347-354

Supporting document development with Concordia (PDF)

J.H. Walker , Symbolics Inc., Cambridge, MA, USA
pp. 355-364

Combining logic- and object-oriented programming language paradigms (PDF)

L. Leonardi , Dipartimento di Elettronica Inf., e Sistemistica, Bologna Univ., Italy
P. Mello , Dipartimento di Elettronica Inf., e Sistemistica, Bologna Univ., Italy
pp. 376-385

Towards explicit inheritance schemes (PDF)

K. Van Marcke , VUB AI-Lab., Brussels, Belgium
pp. 386-395

Coroutine sequencing in BETA (PDF)

B.B. Kristensen , Inst. of Electron. Syst., Aalborg Univ. Center, Denmark
pp. 396-405

An object-oriented metaprogramming system (PDF)

O.L. Madsen , Dept. of Comput. Sci., Aarhus Univ., Denmark
pp. 406-415

Inheritance of synchronization and recovery properties in Avalon/C++ (PDF)

D. Detlefs , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
M. Herlthy , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
J. Wing , Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 416-423

Prototyping user interfaces for applications depicted by graphs (PDF)

M. Beaudouin-Lafon , Lab. de Res. en Inf., Univ. de Paris-Sud, Orsay, France
S. Karsenty , Lab. de Res. en Inf., Univ. de Paris-Sud, Orsay, France
pp. 436-445

Screen-Based Scenario Generator: a tool for scenario-based prototyping (PDF)

P. Hsia , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
A.T. Yaung , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
pp. 455-461

OOPs: an environment for implementing protocols (PDF)

S. Hickman , Southern Methodist Univ., Dallas, TX, USA
pp. 462-468

Rapid prototyping of knowledge-based systems: knowledge acquisition using Aquinas (PDF)

J.H. Boose , Boeing Comput. Services, Seattle, WA, USA
J.M. Bradshaw , Boeing Comput. Services, Seattle, WA, USA
pp. 469-478

Semantics of Modechart in real time logic (PDF)

F. Jahanian , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
R. Lee , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A.K. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 479-489

Static analysis: an aid to program maintenance and development (PDF)

K. Narayanaswamy , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
pp. 492-499

An environment for understanding programs (PDF)

L. Cleveland , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 500-509

Automatic software documentation support: an example of machine translation (PDF)

D. Ourston , Lockheed Software Technol. Center, Austin, TX, USA
pp. 510-517

Dynamic data flow analysis of C programs (PDF)

F.W. Caliss , Dept. of Comput. Sci., Durham Univ., UK
B.J. Cornelius , Dept. of Comput. Sci., Durham Univ., UK
pp. 518-523

A knowledge-based approach for real-time systems debugging (PDF)

J.P. Tsai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
K.Y. Fang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
V.R.K. Thalla , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
H. Gandhi , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 533-540

A classification model of software comprehension (PDF)

M.H. Samadzadeh , Dept. of Comput./Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
pp. 541

Improved optimistic concurrency control and its use in distributed database systems (PDF)

R. Unland , Dept. of Comput. Sci., Hagen Univ., West Germany
G. Schlageter , Dept. of Comput. Sci., Hagen Univ., West Germany
pp. 544-553

Efficient decentralized checkpointing in distributed database systems (PDF)

S.H. Son , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 554-560

Secure query processing using AI techniques (PDF)

M.B. Thuraisingham , Honeywell, Golden Valley, MN, USA
pp. 561-570

The synthesis approach for relational database design: an expanded perspective (PDF)

S. Ram , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
S.M. Curran , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
pp. 571-580

Integrating disparate databases for composite answers (PDF)

S.E. Madnick , Center for Inf. Syst. Res., MIT, Cambridge, MA, USA
Y.R. Wang , Center for Inf. Syst. Res., MIT, Cambridge, MA, USA
pp. 583-592

Consistent choice narrowing-a new model for constraint based programming (PDF)

S. Danforth , MCC Syst. Technol. Lab., Austin, TX, USA
pp. 595-604

New conditions for N-version programming (PDF)

K. Bridgewater , GE Consumer Electron. Bus., Indianapolis, IN, USA
pp. 605-611

Attribute grammar based programming and its environment (PDF)

Y. Shinoda , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
T. Katayama , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 612-620

SEGUE: support for distributed graphical interfaces (PDF)

S.C. Schaffner , Massachusetts Comput. Associates Inc., Wakefield, MA, USA
M. Borkan , Massachusetts Comput. Associates Inc., Wakefield, MA, USA
pp. 621-629

The PEG environment: parallel programming with Petri net semantics (PDF)

P.D. Stotts , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 630-638

Building interprocess communication models using STILE (PDF)

M.P. Stovsky , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
B.W. Weide , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 639-647

Visual programming by transaction network (PDF)

T.D. Kimura , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
pp. 648-654

An approach to form creation based on AND/OR tree (PDF)

N. Hirakawa , Fac. of Eng., Hiroshima Univ., Japan
J. Miyao , Fac. of Eng., Hiroshima Univ., Japan
pp. 655-661

A visual programming language designed for automatic programming (PDF)

N.C. Shu , IBM Los Angeles Sci. Center, CA, USA
pp. 662-671

An efficient high-level man-machine interface (PDF)

J. Ukelson , Comput. Sci. Dept., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 672-681

Investigations into a command and response language interface (PDF)

W.G. Bulgren , Dept. of Comput. Sci., Kansas Univ., Lawrence, KS, USA
V.L. Wallace , Dept. of Comput. Sci., Kansas Univ., Lawrence, KS, USA
A. van de Liefvoort , Dept. of Comput. Sci., Kansas Univ., Lawrence, KS, USA
C.R. McClenaghan , Dept. of Comput. Sci., Kansas Univ., Lawrence, KS, USA
pp. 684-693

A graphical entity-relationship database browser (PDF)

L.M. Burns , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J.L. Archibald , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A. Malhotra , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 694-704

Connections in context: the Intermedia systems (PDF)

N. Yankelovich , Inst. for Res. in Inf. & Scholarship, Brown Univ., Providence, RI, USA
B.J. Haan , Inst. for Res. in Inf. & Scholarship, Brown Univ., Providence, RI, USA
S.M. Drucker , Inst. for Res. in Inf. & Scholarship, Brown Univ., Providence, RI, USA
pp. 715-724

The assessment of human/computer performance: a case for connectivity (PDF)

W.W. Banks , Lawrence Livermore Nat. Lab., California Univ., CA, USA
E.E. Schultz , Lawrence Livermore Nat. Lab., California Univ., CA, USA
pp. 725-731

GRAND computer conferencing-what have we learned? (PDF)

J.D. Williford , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
B.A. Santero , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
R.A. Flavin , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 732-742

A processing system for programming specifications in a natural language (PDF)

H. Seki , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
E. Nabika , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
T. Matsumura , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
Y. Sugiyama , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
M. Fujii , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
K. Torii , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
T. Kasami , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
pp. 754-763

Implementation and evaluation of a methodology for the stepwise refinement of data (PDF)

B. Belkhouche , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 764-772

A cost model for estimating the cost of developing software in the Ada programming language (PDF)

P.T. Kane , Reifer Consultants Inc., Torrance, CA, USA
N.D. Leuci , Reifer Consultants Inc., Torrance, CA, USA
D.J. Reifer , Reifer Consultants Inc., Torrance, CA, USA
pp. 782-790
78 ms
(Ver 3.3 (11022016))