11. IFIP Congress 1989: San Francisco, USA

Frontiers in Computing (Panel)

• Tommaso Toffoli: Position Statement for Panel 1: Frontiers in Computing. 1
• Vladimir Cerný: Frontiers in Computing: Computing as a Simulation of Physical Systems. 2
• Teuvo Kohonen: Practical Problems and Vistas of Neural Computing (Position Statement). 3

Randomization in Distributed & Parallel Computing

• Kosaburo Hashiguchi: Algorithms for Determining Relative Star height and Star Height. 5-10

Real Time Programming: Special Purpose or General Purpose Languages

• Gérard Berry: Real Time Programming: Special Purpose or General Purpose Languages. 11-17
• Jan Storbank Pedersen: Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming. 19-20

Languages with Concurrency

• Leo Yuhsiang Liu, R. K. Shyamasundar: RT-CDL: A Real Time Design Language and Its Semantics. 21-26
• David B. Skillicorn: Techniques for Compiling and Executing Dataflow Graphs. 27-32
• G. M. Krecker, T. I. Lelchuk, Alexander G. Marchuk: POLAR - A Programming Language for Multiprocessor Systems. 33-37

Expert Systems: Professional Tools for Data Communication? (Panel)

• Dipak Khakhar: Expert Systems: Professional Tools for Data Communication? (Panel). 39-40
• Peter Politakis: A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel). 41

Industrial Tools

• B. French Keogh, D. Sin, A. Kuczewski de Poray, A. Latreche, G. Roullet, J. P. Cabanel: MAN5: A Multivendor Network Management Tool. 43-48
• James L. Peterson: XSCOPE: A Debugging and Performance Toll for X11. 49-54
• Lap-Ming Liu, N. S. Pryes: SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. 55-60

Effective Industrial Application of Formal Methods

• Bernard Sufrin: Effective Industrial Application of Formal Methods. 61-69

Report on Information Technology Projects in the People's Republic of China

• Xiao Xiang Zhang: Some Comments on Research and Development of Information Processing in China. 71
• Kongshi Xu: Report on R and D at the Software Institute. 73-76
• P. Xia, Q. Lin, M. Zhu, G.-J. Li, Y. Wang: A Very Fast Array Processor and the Architecture of a Parallel Computer BJ. 77-78
• Lan Jin: Report on Interconnection Networks and Distributed Processing Projects in China. 79-80
• Jiafu Xu: Report on a Software Automation R&D Project. 81

Specification

• Pamela Zave, Daniel Jackson: Practical Specification Techniques for Control-Oriented Systems. 83-88
• Thomas W. G. Docker, Robert B. France: Flexibility and Rigour in Structured Analysis. 89-94
• Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear: Towards a Formal Semantics of the BS/VDM Specification Language. 95-100

Better Tools - Less Education?

• Wilfried Brauer, Ute Brauer: Better Tools - Less Education? 101-106
• Robert M. Aiken, Cristine Aiken: Better Education - Different Tools. 107-108

Hardware and Software Dependability Evaluation

• Jean-Claude Laprie: Hardware-and-Software Dependability Evaluation. 109-114
• Ravishankar K. Iyer: Measurement and Modeling of Computer System Failures. 115-116

Hardware and Software Dependability Evaluation (Panel)

• John F. Meyer: Hardware and Software Dependability Evaluation: Future Trends. 117
• William C. Carter: Hardware and Software Dependability Evaluation: System Dependability. 118
• Bev Littlewood: Hardware and Software Dependability Evaluation: Software Dependability. 119
• Shunji Osaki: Hardware and Software Dependability Evaluation: Hardware Dependability. 120

"Perfect" Pseudo-Random Number Generation

• Silvio Micali: "Perfect" Pseudo-Random Number Generation. 121-126
• Manuel Blum, Prabhakar Raghavan: Program Correctness: Can One Test For It? 127-134
• László Lovász: Faster Algorithms for Hard Problems. 135-141

Programming Human Computer Interaction

• Eric J. Golin, Robert V. Rubin, James Walker II: The Visual Programmers Workbench (Extended Abstract). 143-148
• Paul Franchi-Zannettacci: Attribute Specifications for Graphical Interface Generation. 149-155
• Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski: Constraining Pictures with Pictures. 157-162

Distributed Systems

• Paul Johannesson, Benkt Wangler: The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture. 163-168
• Vijay Kumar, Jerry Place, Gi-Chul Yang: A Superior Algorithm for Mutual Exclusion in Computer Networks - VISHNU. 169-174
• I. D. Johnson, Alan J. Harget: On the Performance of Load Balancing Algorithms in Distributed Systems. 175-180

Communication Support for Distributed Systems

• André A. S. Danthine: Communication Support for Distributed Systems: OSI verus Special Protocols. 181-190

Knowledge Representation Systems: Implementation, Experiences, Directions (Panel)

• Nick Cercone: Better Tool for Professionals: Knowledge Based Systems. 191-192
• James Davidson: Towards Practical Knowledge Representation Systems. 193
• Koichi Furukawa: Constraint Logic Programming as a New Vehicle for Knowledge Representation. 194

Industrial Strength Software Development Environments

• Dewayne E. Perry: Industrial Strength Software Development Environments. 195-203

Software Engineering Directions, Approaches and Issues

• Peter Freeman: Strategic Directions in Software Engineering: Past, Present, and Future. 205-210
• Herb Krasner: Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process. 211-216
• John C. Knight, Paul Ammann: Issues Influencing the Use of N-Version Programming. 217-222

Supercomputing in the 1990's

• Kenneth G. Wilson: Supercomputing in the 1990's. 223-227

Future Trends in Supercomputing: Access and Evaluation (Panel)

• John R. Gurd: Future Trends in Supercomputing: Access and Evaluation. 229
• David J. Kuck: The Von Neumann and Parallel Computing Eras. 230
• Norihisa Suzuki: Design and Evaluation of Multiprocessor Workstations. 231

Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis

• Dominique Borrione, Paolo Prinetto: Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis. 233-240
• S. F. Steven Chen, Pei-Yung Hsiao, Wu-Shiung Feng, Shun-Nan Dai, Wen-Zyh Wang: The Control Model for a Knowledge-Based Approach to VLSI Compaction Design. 241-246

Representational Issues in Modeling User Tasks, Knowledge, and Interfaces

• Ray Waddington, Peter Johnson: Designing and Evaluating Interfaces Using Task Models. 247-252
• M. Herrmann, R. Hill: Abstraction and Declarativness in User Interface Development. The Methological Basis of the Composite Object Architecture. 253-258
• Lawrence J. Williams, Frederick H. Lochovsky: Supporting Knowledge Migration in Organizations. 259-264

Computers and Continuing Education (Panel)

• George L. Kovács: Position Statement on Computers and Continuing Education. 265
• Milton R. Pine: Some Unresolved Issues for Computers in Continuing Education. 266

How Specialists Perceive the Social Impact of Computers (Panel)

• Ashley W. Goldsworthy: How Specialists Perceive the Impact of Computers on Society. 267
• Richard S. Rosenberg: Panel Position Statement for Track 11 Computer and Society. 268

Information System Design and Work in Organisation Design (Panel)

• Klaus Fuchs-Kittowski, Margrit Falck: Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional Approach. 269-270
• Ulrich Briefs: Information System Design and Design of Work and Organization (Position Paper). 271
• Kari Thoresen: Integrating Systems Development and Use. 272
• Ina Wagner: Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning. 273-274

Algorithms and Complexity of Computation

• Jay N. Bhuyan, Jitender S. Deogun, Vijay V. Raghavan: Near-Optimal Algorithms for the Boundary Selection Problem in User-Oriented Information Retrieval. 275-280
• Lane A. Hemachandra, Gerd Wechsung: Using Randomness to Characterize the Complexity of Computation. 281-286
• Matthias Krause, Christoph Meinel, Stephan Waack: Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines. 287-292

Parallel and Distributed Algorithms

• Joos Heintz, Pablo Solernó, Marie-Françoise Roy: On the Complexity of Semialgebraic Sets. 293-298
• Bernd Freisleben: Non-Broadcast Communication Schemes for Information Dissemination. 299-304
• Kazuo Iwama, Yahiko Kambayashi: An O(log n) Parallel Connectivity Algorithm on the Mesh of Buses. 305-310

How to Use OSI - Practical Experience and Limitations (Panel)

• Gesualdo Le Moli: Impact of OSI on the Architecture of the Design of Application Processes. 311
• Andrew Herbert: Distributed Systems and OSI. 312
• V. Lazarev: Layer N Protocol Decomposition on Subprotocols. 313
• Karl Litzenberg: How to Use OSE - Reducing Limitations. 314

Logical Foundations of Deductive Databases

• Vladimir Lifschitz: Logical Foundations of Deductive Databases. 315-321
• John W. Lloyd: Logic as a Foundation for Deductive Database Systems. 323-324

Implementation Issues for Knowledge Bases

• Robert Demolombe: An Efficient Strategy for Non-Horn Deductive Data Bases. 325-330
• Tao Li, Chris D. Marlin: Algorithms for the Parallel Execution of Rule-Based Expert Systems. 331-336
• Franz Barachini, Hans Mistelberger, E. Bahr: A New Method for Parallel Pattern Matching. 337-342

Validation of Hardware and Software: Similarities and Differences (Panel)

• Jan Hlavicka: Validation and Verification of Hardware and Software (Position Statement). 343
• William E. Howden: A Comparison of Software and Hardware Testing. 344

Software Engineering Environments

• Dick Schefström: Building a Highly Integrated Development Environment Using Preexisting Parts. 345-350
• Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice: Method Driven Programming. 351-356
• L. N. Rajaram, S. C. Gupta: An Integrated Framework for User-Driven Interactive Application Development. 357-362

Future Computing Media: Japan's Efforts

• Makoto Mukai, Keiichiro Uchida: Pushing the Limits of Conventional Media. 363-366
• Toyohiko Yatagai: Optical Computing. 367-370
• Shiro Usui: Neural Computing. 371-374
• Gen Matsumoto, Toshio Iijima, Michinori Ichikawa: Bio-Computing. 375-378

Silicon Compilers: How Well Have They Done, and Where Are They Headed? (Panel)

• Randal E. Bryant: Silicon Compilers: How Well Have They Done, and Where Are They Headed? 379
• Hugo De Man: Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms. 380

Can Office Technology Support Office Dialogues?

• Terry Winograd: Can Office Technology Support Office Dialogues? 381-387
• Carl Hewitt: Toward an Open Systems Architecture. 389-392

Can Current Office Models Support Automation?

• Nicolau Reinhard: Cross-Cultural Perspective in Office Automation. 393
• Rudy Hirschheim: Towards a Broader Notion of the Office. 394-395
• Cheng-Seen Ho: A Pragmatic Approach to Office Modeling. 396
• Lucy A. Suchman: What Are Models for and Do We Want Them to Support Automation? 397

Advanced Design for Automated Manufacture

• Günter Spur: Advanced Design for Automated Manufacture. 399-406
• Kenneth Preiss: Advanced Design for Automated Manufacture. 407-408

Computer Eduction for All

• Frank Lovis, Bernard Levrat: The Computerised Society: A Challenge for Educators. 409-413
• Paul van Binst, Luc Wilkin: Informatics and Human Sciences: A Working Synergy. 415-418
• Tony Bryant: Better Professionals for the Tools. 419-425

Developing Competence in a Developing Environment

• Helder Coelho: Developing Competence in a Developing Environment. 427-433
• Subhash C. Bhatnagar: Strategic Choices in Developing Competence in Information Technology. 435-436

Data Structure Design and Analysis

• Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas: Multiple Representations of Dynamic Data Structures. 437-442
• Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski: Digital Search Trees - Further Results on a Fundamental Data Structure. 443-447
• Rolf Klein, Derick Wood: On Binary Trees. 449-454

Randomized Parallel Algorithms

• John H. Reif, Sandeep Sen: Randomized Parallel Algorithms. 455-458
• Silvia M. Müller, Wolfgang J. Paul: Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers. 459-460

Experiences and Trends

• A. L. Ibbetson, E. B. Spratt, R. P. A. Collinson: Ten Years of Local Area Networking in a University Context. 461-466
• Ray Hunt: A Review of Telecommunication Services Operating in New Zealand up to the Time of Deregulation. 467-472
• R. I. Swindle, R. G. F. Aitchison: ISDN: Will the World Embrace It? 473-477

From ISDN to IBCN

• Paul J. Kühn: rom ISDN to IBCN (Integrated Broadband Communication Network). 479-486
• Hiromasa Ikeda: From ISDN to IBCN. 487-488

Knowledge Bases and Databases (Panel)

• Yves Kodratoff: The AI Approach to ML and Enlarging the "ES Certification Bottleneck". 489

Software Fault Tolerance

• Algirdas Avizienis: Software Fault Tolerance. 491-498

Can Software Faults Be Tolerated? (Panel)

• Brian Randell: Can Design Faults be Tolerated. 499
• Gunnar Hagelin: Can Software Faults be Tolerated? 500
• John C. Knight: Can Software Faults be Tolerated? (Position Statement). 501
• David Lorge Parnas: On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts". 1145-1146

The Effectiveness of Neural Computing

• John J. Hopfield: The Effectiveness of Neural Computing. 503-507

Modeling and Performance Evaluation

• Brian K. Bray, K. Cuderman, Michael J. Flynn, Andrew Zimmerman: The Computer Architect's Workbench. 509-514
• Selim G. Akl, G. R. Guenther: Broadcasting with Selective Reduction. 515-520
• Chi-Hung Chi: Improving Cache Performance Using a Unified Management of Registers and Cache. 521-526

Design Automation in Industry I: Experience Across the World (Panel)

• John A. Darringer: Advanced Design Automation in Industry. 527
• François Anceau: Formal Verification: A Significant Step Towards Zero Deffect VLSI Design. 528
• Makoto Endo: The Roles of Logic Synthesis Systems. 529
• Ulrich Lauther: Some Experiences with Advanced Design Automation Tools. 530
• Akihiko Yamada: Design Automation for Large Mainframes and Supercomputers in NEC. 531

Design Automation in Industry II: Challenges Across the World (Panel)

• Bryan D. Ackland: Experiences with Advanced Design Automation Tools. 532
• Theo A. C. M. Claasen: VLSI Design Methods: Posibilities and Limitations. 533
• Mitsuo Ishii: Automated Testing. 534

User Interface Technologies

• Gerhard Weber: Reading and Pointing - Modes of Interaction for Blind Users. 535-540
• Yuzuru Tanaka, Takamoto Imataki: IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct Manipulations. 541-546
• Michel Kuntz, Rainer Melchert: Pasta-3: A Complete Integrated Graphical Direct Manipulation Interface for Knowledge Bases. 547-552

Impact of Computer Technologies on Education

• Jef Moonen: Impact of Computer Technologies on Education. 553-559
• Betty A. Collis: Impact of Computers on Education: A Response. 561-562

Educational Tools for Informatics

• Simon M. Kaplan, Ralph E. Johnson: On Language Choice for the Introductory Comuter Science Course. 563-568
• Gisella Arienti, Tiziana Cazzaniga, Francesco Gardin, Giancarlo Mauri: UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring. 569-574
• Fred Mulder: Distance Learning of University Level Informatics with and without Computers. 575-580

Fractals: A New Challenge to Model Reality

• Heinz-Otto Peitgen, Hartmut Jürgens: Fractals: A New Challenge to Model Reality. 581-588
• Blagovest Sendov: Fractals, Chaos and Approximation. 589-590

Designing Concurrency Semantics

• J. W. de Bakker: Designing Concurrency Semantics. 591-598
• Vadim E. Kotov: Designing Concurrency Models. 599-600

Semantics and Concurrency

• Kim Marriott, Harald Søndergaard: Semantics-Based Dataflow Analysis of Logic Programs. 601-606
• Anne Elisabeth Haxthausen: Recursive Algebraic Specifications and their Semantics. 607-612
• Rob J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). 613-618

Europe/USSR/Japan on Computing Systems Architectures

• J. G. Harp, Eddy Odijk: Parallel Architectures in ESPRIT. 619-622
• Vadim E. Kotov, A. S. Narin'ani, Enn Tyugu: The USSR Academy of Sciences Start Project. 623-626
• Kazuo Taki: The FGCS Computing Architecture. 627-632

Backbone Networks

• Salvatore Casale, Vincenzo Catania, Antonio Puliafito, Lorenzo Vita: A Multiple Spanning Tree Protocol in Bridged LANs. 633-638
• Thomas Welzel, Martine Schümmer, Peter Martini: Performance Comparison of Bridges and MAC Protocols for High Speed Backbone Networks. 639-644
• Pietro Camarda, Mario Gerla: Improving the Efficiency of High Speed Implicit Token FOLANs. 645-650

Network Interconnection and Gateways

• Carl A. Sunshine: Network Interconnection and Gateways. 651-658
• Jonathan B. Postel: Computer Network Interconnection. 659-660

Principles of Knowledge Representation

• Jørgen Fischer Nilsson: Knowledge Base Property Combinator Logic. 661-666
• Wei Qian, Zhaokeng Zhao: Temporal Reasoning Management with Nonmonotonicity. 667-672
• Véronique Royer: Modeling Preference Choices in Incomplete Deductive Databases. 673-678

Applications of Knowledge Based Systems

• Stan Matwin, Stan Szpakowicz, Zbig Koperczak: NEGOPLAN: An Inference-Based Negotiation Support Tool. 679-685
• Zhigang Xiang: A Dual-Level Differentiation Strategy for Fault Localization. 687-692
• Brigitte Biebow, Sylvie Szulman: Enrichment of Semantic Network for Requirements Expressed in Natural Language. 693-698

Software Factories Around the World (Panel)

• Colin Tully: Software Factories Around the World: Introduction to Panel Session. 699-700
• Barry W. Boehm: Software Factories in the USA. 701-703
• Richard E. Thomas: The European Position on Software Factories. 704-705

Software Engineering Databases

• Gail E. Kaiser: A Marvelous Extended Transaction Processing Model. 707-712
• Rainer Czarnetzki, Friedrich Spörl: Implementation of an ERM Data Dictionary System for Open CASE Environment. 713-718
• Lawrence A. Rowe: Report on the 1989 Software CAD Database Workshop. 719-725

The Graphics Supercomputer

• Gordon Bell, William S. Worley Jr.: The Graphics Supercomputer: A New Class of Computer. 727-734

The Evolution of VHDL

• Ronald Waxman, Larry Saunders: The Evolution of VHDL. 735-742

Computer Supported Cooperative Work (Panel)

• Matthias Jarke: Computer-Supported Cooperative Design: A Knowledge Base Management Approach. 743
• Kalle Lyytinen: Computer Supported Coorperative Work (CSCW) - Issues and Challenges. 744

The Future Office Automation

• Najah Naffah: The Future of Office Automation. 745-750
• Giampio Bracchi, Maria Grazia Fugini: The Future of Office Automation: Advanced Design Techniques for Office Applications. 751-752

Computer Integrated Manufacturing

• Steven F. Shevell: Computer Integrated Manufacturing: Small Can Be Beautiful. 753-758
• Kurt Kosanke, Jakob Vlietstra: The Models and the Integrated Infrastructure of CIM-OSA. 759-764
• Kurt Kosanke, Jakob Vlietstra: An Open System Architecture in Computer Integrated Manufacturing: CIM-OSA. 765-770

Flexible Integrated Automation Systems (Panel)

• George L. Kovács: Position Statement on Flexible Integrated Automation. 771
• J. L. Fernández de Arroyabe: Fault Tolerant Control in Manufacturing Processes. 772
• Rolf Dieter Schraft: Factory Automation - A Position Statement. 773-774

Personal Computers on Campuses: The Experience (Panel)

• William F. Atchison: Personal Computers on Campuses: The Experience. 775
• Rita M. M. De Caluwe: Personal Computers on Campuses: The Experience at the Univerity of Ghent. 776-777
• Paolo Ercoli: Personal Computers on Campuses: The Experience. 778
• Setsuko Otsuki: Personal Computers on Campuses: The Experience. 779
• P. Jarratt: Personal Computers on Campuses: The Experience. 780-781

Proofs as Advanced and Powerful Tool

• Gerhard Jäger: Proofs as Advanced and Powerful Tool. 783-790
• Mark E. Stickel: More Advanced and Powerful Proof Tools. 791-792

Why Isn't There an Object-Oriented Data Model?

• David Maier: Why Isn't There an Object-Oriented Data Model? 793-798
• Kazumasa Yokota: What is Expected of an Object-Oriented Data Model? 799-800

Extending Database Technology

• Johann Christoph Freytag: The Basic Principles of Query Optimization in Relational Database Management Systems. 801-807
• Leo Yuhsiang Liu, R. K. Shyamasundar: RT-CDL: A Real Time Design Language and Its Semantics. 21-26
• Gia Toan Nguyen, Dominique Rieu: Schema Change Propagation in Object-Oriented Databases. 815-820
• Yannis E. Ioannidis, Miron Livny: MOOSE: Modeling Objects in a Simulation Environment. 821-826

Information Management

• Michael F. Schwartz: The Networked Resource Discovery Project. 827-832
• Andrew D. Marshall, Michael A. Bauer: Using OSI as a Basis for Decentralized File Servers in a Heterogeneous Environment. 833-838
• Hans-Georg Stork, Wolffried Stucky: Broadcasting Classified Information. 839-844

Specification of Distributed Systems

• Danny Kilis, Albert C. Esterline, James R. Slagle: Specification and Verification of Network Protocols Using Executable Temporal Logic. 845-850
• Manfred Broy: Functional Specification of Communicating Systems. 851-856
• Wojciech Penczek: A Temporal Logic for the Local Specification of Concurrent Systems. 857-862

SEI on the Software Technology Transtion

• Norman E. Gibbs: The SEI Education Program: Strategy and Accomplishments. 863-866
• Watts S. Humphrey: The SEI Software Process Program. 867-869
• Judy Bayer, Nancy Melone: Technology Transition of Software Engineering Innovations: Experiences in the Field. 871-874

Europe/USSR/USA on Down & Upstream SE Environments

• Ian Thomas: Software Environments: PCTE and Related Projects. 875-878
• B. A. Babayan, G. G. Ryabov, G. D. Chinin: Elbrus Software Methodology: Instrumentation - Experience. 879-882
• Susan L. Gerhart: The MCC Software Technology Program. 883-889

Supercomputers for Scientific Computing

• Abhaya Asthana, Cheryl J. Briggs, Mark R. Cravats, Boyd Mathews: The Architecture of Massively Parallel Numeric Processor. 891-891
• Martin Adelantado, Nourredine Hifdi: MaRGOH: Clustering as a Global Solution to Massive Parallel Computing. 897-902

Design Methods and Tools for Application Specific Integrated Circuits

• Alberto L. Sangiovanni-Vincentelli: Design Methods and Tools for Application Specific Integrated Circuits. 903
• Gerhard Zimmermann: PLAYOUT - A Hierarchical Design System. 905-910

Zen and the Art of Analog Design Automation (Panel)

• Rob A. Rutenbar: Zen and the Art of Analog Design Automation. 911
• Richard K. Hester: Zen and the Art of Analog Design Automation. 912
• Kendall Russell: Zen and the Art of Analog Design Automation. 913
• W. Martin Snelgrove: Zen and the Art of Analog Design Automation. 914

Intelligent User Interfaces: Boon or Bane (Panel)

• Ben Shneiderman: Intelligent User Interfaces: From Fantasy to Fact. 915
• Yannis Vassiliou: Is it User or Computer Interface? 916
• Wolfgang Wahlster: Intelligent Interfaces as Cooperative Agents: From Stick Shift to Automatic Transmission in Human-Computer Interaction. 917

Production Planning and Scheduling in CIM

• James J. Solberg: Production Palnning and Scheduling in CIM. 919-925
• Kenji Takeda: What Leads to a New Paradigm in CIM? 927-928

Artificial Intelligence and Advanced Robotics (Panel)

• Jean-Claude Latombe: Artificial Intelligence and Advanced Robotics. 929
• Martin Brooks: Some Recent Process in Sensor-Based Motion Planning. 930
• Ramesh Jain: Environment Model for Advanced Robots. 931
• Leslie Pack Kaelbling: Intelligent Robots in the Real World. 932-933

Introduction of Informatics at University

• Jorge D. Salinger, Wunnava V. Subbarao, Mauricio O. Salinas, Laura V. Ruiz: Microprocessor Based System Design Courses for Graduate and Undergraduate College Eduction. 935-939
• Robert K. L. Gay, Kin-Kiong Low: Implementing Information Technology on a Campus. 941-946
• Stewart A. Denenberg: Developing Reasoning Skills in College Freshman Using Computer Programming, Collaborative Problem Solving and Writing. 947-952

Foundations of Software Engineering - The Silver Bullet (Panel)

• Manfred Broy: Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. 953
• David Gries: Position Statement on the Foundations of Software Engineering. 954
• Cliff B. Jones: Position Statement for the Panel on Foundations of Software Engineering. 955
• Harlan D. Mills: Position Statement - Foundations of Software Engineering. 956

Parallelism in Logic Programming

• Kazunori Ueda: Parallelism in Logic Programming. 957-964
• Mehmet Dincbas: Parallelism vs. Efficiency in Logic Programming. 965-966

Europe/Japan on Logic Programming & Knowledge Base Systems

• Jacques Kouloumdjian: Shell and Interfaces with DBMSs. 967-971
• Fumio Mizoguchi: Novel Aspects of Logic Programming in New Generation Applications. 973-976

SPC on Production-Oriented Software Engineering

• Arthur B. Pyster: "Synthesis" - A Reuse/Prototyping Process for Software Development. 977-980
• Brian A. Nejmeh, Thomas E. Dickey, Steven P. Wartik: Traceability Technology at the Software Productivity Consortium. 981-984
• Alex Blakemore, Gary Schebella: Tools for Analyzing Dynamic Properties of System and Software Designs. 985-988

Supercomputing in Airplane Design

• Paul E. Rubbert: Supercomputing in Airplane Design. 989-994

General-Purpose Multiprocessors

• Kazuaki Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita: The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture. 995-1000
• Hideharu Amano, Takuya Terasawa, Tomohiro Kudoh: Cache with Synchronization Mechanism. 1001-1006
• Boris Borovsky, Plamenka Ivanova: Performance Issues in Multicomputer Architectures with Recirculation of Heterogeneous Information Flows. 1007-1012

Advances in VLSI-Testing

• Jacob A. Abraham: Advances in VLSI-Testing. 1013-1018
• Thomas W. Williams: Future Trends in the Testing. 1019-1020

ESPRIT on Office Systems & Computer Integrated Manufacturing

• Najah Naffah, Michel Texier, Gabriel Jureidini: Intelligent User Interfaces for Advanced Workstations. 1021-1024
• Ian R. Campbell-Grant, Günther Krönert: First Implementations of the ODA Standard. 1025-1028
• Ernst G. Schlechtendahl: Intelligent Communication of Product Definition Data. 1029-1032

Object-Oriented Development for Open Systems

• Dennis Tsichritzis: Object-Oriented Development for Open Systems. 1033-1040
• Ifay F. Chang: Advanced Software Technology for Automating the Office. 1041-1042

Erpert Systems & Factory Automation

• George L. Kovács, Zoltán Létray: A Knowledge-Based Manufacturing Cell Design System. 1043-1049
• Esko Juuso: An Expert System in Fuzzy Simulation of Metallurgical Processes. 1051-1056

Artificial Intelligence and Production Management

• Eero Eloranta, Juha Hynynen: Artificial Intelligence and Production Management. 1057-1064
• J. Browne: A Respons to the Paper of E. Eloranta and J. Hynynen. 1065-1066

Problems in Specific Education Areas

• Abdechahid Qualid: Problems of Software Development in Developing Countries. 1067-1071
• Scott C. McIntyre, J. Daniel Couger: Literacy and Specialization in Artificial Intelligence for Business and Information Systems Students. 1073-1078
• Andrzej Kalis, Jan Kwiatkowski: The Way of New Computer Architecture Education. 1079-1082

Tools for Progress of Society

• Dimitry Chereshkin, M. Sh. Tsalenko: Information and Restructuring of Soviet Society. 1083-1087
• Starr Roxanne Hiltz: Computer-Mediated Communication Systems: Dropouts versus Users. 1089-1094
• Danny Cohen: Computerized Commerce. 1095-1100

Formal Structures in an Informal World

• Heinz Zemanek: Formal Structures in an Informal World: Information Processing is Model Processing for Reality. 1101-1105
• Giorgio Sacerdoti: Formal Structures in an Informal World. 1107-1108

Specification and Verification Techniques

• Irène Guessarian: Improving Fixpoint Toole for Computer Science. 1109-1114
• Morten Wieth: Loose Specification and Its Semantics. 1115-1120
• Peter Padawitz: Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. 1121-1126

Semantics of Programming Languages

• Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, Joachim Schimpf: SEPIA - An Extendible Prolog System. 1127-1132
• Wei Li: A Type-Theoretic Approach to Program Development. 1133-1138
• Carsten K. Gomard, Neil D. Jones: Compiler Generation by Partial Evaluation: A Case Study. 1139-1144

Experiences with Expert Systems

• David Lorge Parnas: On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts". 1145-1146

Paradigm-Oriented Supercomputers

• William J. Dally, Andrew A. Chien, Stuart Fiske, Waldemar Horwat, John S. Keen, Michael Larivee, Richard A. Lethin, Peter R. Nuth, D. Scott Wills: The J-Machine: A Fine-Gain Concurrent Computer. 1147-1153
• Yoshinori Yamaguchi, Shuichi Sakai, Kei Hiraki, Yuetsu Kodama: An Architectural Disgn of a Highly Parallel Dataflow Machine. 1155-1160
• Lu Xu, Hanpei Koike, Hidehiko Tanaka: Distributed Garbage Collection for the Parallel Inference Machine PIE64. 1161-1166

The Quest for the Future

• Wolfgang Coy, Lena Bonsiepen: Expert Systems Before the Flood? 1167-1172
• Fernando Redondo: Labour, Consumption, Data Processing and the Future. 1173-1178