11. IFIP Congress 1989: San Francisco, USA

Gerhard Ritter (Ed.): Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989. North-Holland/IFIP, 1989, ISBN 0-444-88015-1

Frontiers in Computing (Panel)

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

Randomization in Distributed & Parallel Computing

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

Real Time Programming: Special Purpose or General Purpose Languages

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

Languages with Concurrency

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

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

• 
  Dipak Khakhar:
  Expert Systems: Professional Tools for Data Communication? (Panel). IFIP Congress 1989: 39-40
• 
  Peter Politakis:
  A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel). IFIP Congress 1989: 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. IFIP Congress 1989: 43-48
• 
  James L. Peterson:
  XSCOPE: A Debugging and Performance Toll for X11. IFIP Congress 1989: 49-54
• 
  Lap-Ming Liu, N. S. Pryes:
  SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. IFIP Congress 1989: 55-60

Effective Industrial Application of Formal Methods

• 
  Bernard Sufrin:
  Effective Industrial Application of Formal Methods. IFIP Congress 1989: 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. IFIP Congress 1989: 71
• 
  Kongshi Xu:
  Report on R and D at the Software Institute. IFIP Congress 1989: 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. IFIP Congress 1989: 77-78
• 
  Lan Jin:
  Report on Interconnection Networks and Distributed Processing Projects in China. IFIP Congress 1989: 79-80
• 
  Jiafu Xu:
  Report on a Software Automation R&D Project. IFIP Congress 1989: 81

Specification

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

Better Tools - Less Education?

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

Hardware and Software Dependability Evaluation

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

Hardware and Software Dependability Evaluation (Panel)

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

"Perfect" Pseudo-Random Number Generation

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

Programming Human Computer Interaction

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

Distributed Systems

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

Communication Support for Distributed Systems

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

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

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

Industrial Strength Software Development Environments

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

Software Engineering Directions, Approaches and Issues

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

Supercomputing in the 1990's

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

Future Trends in Supercomputing: Access and Evaluation (Panel)

• 
  John R. Gurd:
  Future Trends in Supercomputing: Access and Evaluation. IFIP Congress 1989: 229
• 
  David J. Kuck:
  The Von Neumann and Parallel Computing Eras. IFIP Congress 1989: 230
• 
  Norihisa Suzuki:
  Design and Evaluation of Multiprocessor Workstations. IFIP Congress 1989: 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. IFIP Congress 1989: 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. IFIP Congress 1989: 241-246

Representational Issues in Modeling User Tasks, Knowledge, and Interfaces

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

Computers and Continuing Education (Panel)

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

How Specialists Perceive the Social Impact of Computers (Panel)

• 
  Ashley W. Goldsworthy:
  How Specialists Perceive the Impact of Computers on Society. IFIP Congress 1989: 267
• 
  Richard S. Rosenberg:
  Panel Position Statement for Track 11 Computer and Society. IFIP Congress 1989: 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. IFIP Congress 1989: 269-270
• 
  Ulrich Briefs:
  Information System Design and Design of Work and Organization (Position Paper). IFIP Congress 1989: 271
• 
  Kari Thoresen:
  Integrating Systems Development and Use. IFIP Congress 1989: 272
• 
  Ina Wagner:
  Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning. IFIP Congress 1989: 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. IFIP Congress 1989: 275-280
• 
  Lane A. Hemachandra, Gerd Wechsung:
  Using Randomness to Characterize the Complexity of Computation. IFIP Congress 1989: 281-286
• 
  Matthias Krause, Christoph Meinel, Stephan Waack:
  Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines. IFIP Congress 1989: 287-292

Parallel and Distributed Algorithms

• 
  Joos Heintz, Pablo Solernó, Marie-Françoise Roy:
  On the Complexity of Semialgebraic Sets. IFIP Congress 1989: 293-298
• 
  Bernd Freisleben:
  Non-Broadcast Communication Schemes for Information Dissemination. IFIP Congress 1989: 299-304
• 
  Kazuo Iwama, Yahiko Kambayashi:
  An O(log n) Parallel Connectivity Algorithm on the Mesh of Buses. IFIP Congress 1989: 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. IFIP Congress 1989: 311
• 
  Andrew Herbert:
  Distributed Systems and OSI. IFIP Congress 1989: 312
• 
  V. Lazarev:
  Layer N Protocol Decomposition on Subprotocols. IFIP Congress 1989: 313
• 
  Karl Litzenberg:
  How to Use OSE - Reducing Limitations. IFIP Congress 1989: 314

Logical Foundations of Deductive Databases

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

Implementation Issues for Knowledge Bases

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

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

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

Software Engineering Environments

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

Future Computing Media: Japan's Efforts

• 
  Makoto Mukai, Keiichiro Uchida:
  Pushing the Limits of Conventional Media. IFIP Congress 1989: 363-366
• 
  Toyohiko Yatagai:
  Optical Computing. IFIP Congress 1989: 367-370
• 
  Shiro Usui:
  Neural Computing. IFIP Congress 1989: 371-374
• 
  Gen Matsumoto, Toshio Iijima, Michinori Ichikawa:
  Bio-Computing. IFIP Congress 1989: 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? IFIP Congress 1989: 379
• 
  Hugo De Man:
  Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms. IFIP Congress 1989: 380

Can Office Technology Support Office Dialogues?

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

Can Current Office Models Support Automation?

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

Advanced Design for Automated Manufacture

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

Computer Eduction for All

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

Developing Competence in a Developing Environment

• 
  Helder Coelho:
  Developing Competence in a Developing Environment. IFIP Congress 1989: 427-433
• 
  Subhash C. Bhatnagar:
  Strategic Choices in Developing Competence in Information Technology. IFIP Congress 1989: 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. IFIP Congress 1989: 437-442
• 
  Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski:
  Digital Search Trees - Further Results on a Fundamental Data Structure. IFIP Congress 1989: 443-447
• 
  Rolf Klein, Derick Wood:
  On Binary Trees. IFIP Congress 1989: 449-454

Randomized Parallel Algorithms

• 
  John H. Reif, Sandeep Sen:
  Randomized Parallel Algorithms. IFIP Congress 1989: 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. IFIP Congress 1989: 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. IFIP Congress 1989: 461-466
• 
  Ray Hunt:
  A Review of Telecommunication Services Operating in New Zealand up to the Time of Deregulation. IFIP Congress 1989: 467-472
• 
  R. I. Swindle, R. G. F. Aitchison:
  ISDN: Will the World Embrace It? IFIP Congress 1989: 473-477

From ISDN to IBCN

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

Knowledge Bases and Databases (Panel)

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

Software Fault Tolerance

• 
  Algirdas Avizienis:
  Software Fault Tolerance. IFIP Congress 1989: 491-498

Can Software Faults Be Tolerated? (Panel)

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

The Effectiveness of Neural Computing

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

Modeling and Performance Evaluation

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

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

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

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

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

User Interface Technologies

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

Impact of Computer Technologies on Education

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

Educational Tools for Informatics

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

Fractals: A New Challenge to Model Reality

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

Designing Concurrency Semantics

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

Semantics and Concurrency

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

Europe/USSR/Japan on Computing Systems Architectures

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

Backbone Networks

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

Network Interconnection and Gateways

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

Principles of Knowledge Representation

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

Applications of Knowledge Based Systems

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

Software Factories Around the World (Panel)

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

Software Engineering Databases

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

The Graphics Supercomputer

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

The Evolution of VHDL

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

Computer Supported Cooperative Work (Panel)

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

The Future Office Automation

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

Computer Integrated Manufacturing

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

Flexible Integrated Automation Systems (Panel)

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

Personal Computers on Campuses: The Experience (Panel)

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

Proofs as Advanced and Powerful Tool

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

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

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

Extending Database Technology

• 
  Johann Christoph Freytag:
  The Basic Principles of Query Optimization in Relational Database Management Systems. IFIP Congress 1989: 801-807
• 
  Gia Toan Nguyen, Dominique Rieu:
  Schema Change Propagation in Object-Oriented Databases. IFIP Congress 1989: 815-820
• 
  Yannis E. Ioannidis, Miron Livny:
  MOOSE: Modeling Objects in a Simulation Environment. IFIP Congress 1989: 821-826

Information Management

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

Specification of Distributed Systems

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

SEI on the Software Technology Transtion

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

Europe/USSR/USA on Down & Upstream SE Environments

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

Supercomputers for Scientific Computing

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

Design Methods and Tools for Application Specific Integrated Circuits

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

Zen and the Art of Analog Design Automation (Panel)

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

Intelligent User Interfaces: Boon or Bane (Panel)

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

Production Planning and Scheduling in CIM

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

Artificial Intelligence and Advanced Robotics (Panel)

• 
  Jean-Claude Latombe:
  Artificial Intelligence and Advanced Robotics. IFIP Congress 1989: 929
• 
  Martin Brooks:
  Some Recent Process in Sensor-Based Motion Planning. IFIP Congress 1989: 930
• 
  Ramesh Jain:
  Environment Model for Advanced Robots. IFIP Congress 1989: 931
• 
  Leslie Pack Kaelbling:
  Intelligent Robots in the Real World. IFIP Congress 1989: 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. IFIP Congress 1989: 935-939
• 
  Robert K. L. Gay, Kin-Kiong Low:
  Implementing Information Technology on a Campus. IFIP Congress 1989: 941-946
• 
  Stewart A. Denenberg:
  Developing Reasoning Skills in College Freshman Using Computer Programming, Collaborative Problem Solving and Writing. IFIP Congress 1989: 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. IFIP Congress 1989: 953
• 
  David Gries:
  Position Statement on the Foundations of Software Engineering. IFIP Congress 1989: 954
• 
  Cliff B. Jones:
  Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress 1989: 955
• 
  Harlan D. Mills:
  Position Statement - Foundations of Software Engineering. IFIP Congress 1989: 956

Parallelism in Logic Programming

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

Europe/Japan on Logic Programming & Knowledge Base Systems

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

SPC on Production-Oriented Software Engineering

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

Supercomputing in Airplane Design

• 
  Paul E. Rubbert:
  Supercomputing in Airplane Design. IFIP Congress 1989: 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. IFIP Congress 1989: 995-1000
• 
  Hideharu Amano, Takuya Terasawa, Tomohiro Kudoh:
  Cache with Synchronization Mechanism. IFIP Congress 1989: 1001-1006
• 
  Boris Borovsky, Plamenka Ivanova:
  Performance Issues in Multicomputer Architectures with Recirculation of Heterogeneous Information Flows. IFIP Congress 1989: 1007-1012

Advances in VLSI-Testing

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

ESPRIT on Office Systems & Computer Integrated Manufacturing

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

Object-Oriented Development for Open Systems

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

Erpert Systems & Factory Automation

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

Artificial Intelligence and Production Management

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

Problems in Specific Education Areas

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

Tools for Progress of Society

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

Formal Structures in an Informal World

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

Specification and Verification Techniques

• 
  Irène Guessarian:
  Improving Fixpoint Toole for Computer Science. IFIP Congress 1989: 1109-1114
• 
  Morten Wieth:
  Loose Specification and Its Semantics. IFIP Congress 1989: 1115-1120
• 
  Peter Padawitz:
  Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. IFIP Congress 1989: 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. IFIP Congress 1989: 1127-1132
• 
  Wei Li:
  A Type-Theoretic Approach to Program Development. IFIP Congress 1989: 1133-1138
• 
  Carsten K. Gomard, Neil D. Jones:
  Compiler Generation by Partial Evaluation: A Case Study. IFIP Congress 1989: 1139-1144

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. IFIP Congress 1989: 1147-1153
• 
  Yoshinori Yamaguchi, Shuichi Sakai, Kei Hiraki, Yuetsu Kodama:
  An Architectural Disgn of a Highly Parallel Dataflow Machine. IFIP Congress 1989: 1155-1160
• 
  Lu Xu, Hanpei Koike, Hidehiko Tanaka:
  Distributed Garbage Collection for the Parallel Inference Machine PIE64. IFIP Congress 1989: 1161-1166

The Quest for the Future

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