10. IFIP Congress 1986: Dublin, Ireland

Hans-Jürgen Kugler (Ed.): Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986. North-Holland/IFIP, 1986, ISBN 0-444-70077-3

Panel

• 
  Jozef Gruska:
  Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 1-2
• 
  Juris Hartmanis:
  Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 3-4
• 
  Jan van Leeuwen:
  Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 5-6
• 
  Leslie G. Valiant:
  Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress 1986: 7-8

Panel

• 
  Louis Pouzin:
  PABX and LANS (Panel). IFIP Congress 1986: 9-10
• 
  David A. Twyver:
  PABX and LANS (Panel). IFIP Congress 1986: 11-12
• 
  Otto Spaniol:
  PABX and LANS (Panel). IFIP Congress 1986: 13-14

Data Administration

• 
  Jane Grimson:
  Guidelines for Data Administration (Invited Paper). IFIP Congress 1986: 15-22
• 
  Arne Sølvberg:
  Guidelines for Data Administration - Response. IFIP Congress 1986: 23-26

Software Technologies and Paradigms

• 
  David R. Cheriton:
  Making Exceptions Simplify the Rule (and Justify their Handling). IFIP Congress 1986: 27-34
• 
  Giorgio Bruno, Antonia Elia:
  Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5. IFIP Congress 1986: 35-40
• 
  Marta Franová:
  Proving Theorems by Construction of Valid Formulae. IFIP Congress 1986: 41-46

Education and Training

• 
  Robert M. Aiken:
  Micropower: The Use of Computers in Pre-College Education. IFIP Congress 1986: 47-52
• 
  H. Kaiser:
  Office Technology and User Satisfaction: An Improvement Programme. IFIP Congress 1986: 53-56
• 
  Ines Wesley-Tanaskovic:
  Strategies for Manpower Development in Informatics in Developing Countries: Experience of the UN University. IFIP Congress 1986: 57-60

Data Flow

• 
  John R. Gurd, Chris C. Kirkham:
  Data Flow: Achievements and Prospects (Invited Paper). IFIP Congress 1986: 61-68
• 
  H. Horikoshi, Yasuhiro Inagami:
  Data Flow: Achievements and Prospects - Response. IFIP Congress 1986: 69-72

Panel

• 
  Annette Lagman:
  Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 73-74
• 
  Fábio Stefano Erber:
  Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 75-76
• 
  Prem Prakash Gupta:
  Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 77-78
• 
  B. Raz:
  Can Developing Countries Compete in Information Technology (Panel). IFIP Congress 1986: 1081-1082

Panel

• 
  Roger Van Overstraeten:
  Advanced Microelectronics as a Foundation for Future Computers (Panel). IFIP Congress 1986: 1083-1084
• 
  K. Asada:
  Advanced Microelectronics as a Foundation for Future Computers (Panel). IFIP Congress 1986: 79-80
• 
  Peter B. Denyer:
  Advanced Microelectronics as a Foundation for Future Computers (Panel). IFIP Congress 1986: 81-82

Specification Methods

• 
  Alfs T. Berztiss:
  Data Abstraction in the Specification of Information Systems. IFIP Congress 1986: 83-90
• 
  Antoni Olivé:
  A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling. IFIP Congress 1986: 91-96
• 
  Jirí Zlatuska:
  Data Bases and the Lambda-Calculus. IFIP Congress 1986: 97-104

AI and Programming Languages

• 
  Luc Steels:
  AI and Programming Languages (Invited Paper). IFIP Congress 1986: 105-110
• 
  Akinori Yonezawa:
  AI and Programming Languages - Response. IFIP Congress 1986: 111-114

Software Techniques and Paradigms

• 
  Malcolm P. Atkinson, Ronald Morrison, Graham D. Pratten:
  Designing a Persistent Information Space Architecture. IFIP Congress 1986: 115-120
• 
  Adriana Bicego, M. Jacobone, Marco Maiocchi, U. Poggi:
  Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars. IFIP Congress 1986: 121-128
• 
  Jaroslav Král:
  Software Physics and Paradigms. IFIP Congress 1986: 129-134

Program Development

• 
  T. S. E. Maibaum:
  Role of Abstraction in Program Development (Invited Paper). IFIP Congress 1986: 135-142
• 
  Fernando Orejas:
  Role of Abstraction in Program Development - Response. IFIP Congress 1986: 143-146

Message Handling

• 
  Joseph Pitteloud:
  Electronic Message Handling for the '90s (Invited Paper). IFIP Congress 1986: 147-158
• 
  Ronald P. Uhlig:
  Electronic Message Handling for the '90s - Response. IFIP Congress 1986: 159-162

Panel

• 
  Asha Purna Kachru:
  Women, Work and Computerisation (Panel). IFIP Congress 1986: 163-164
• 
  Ingela Josefson:
  Women, Work and Computerisation (Panel). IFIP Congress 1986: 165-166
• 
  Y. Okada:
  Women, Work and Computerisation (Panel). IFIP Congress 1986: 167-168
• 
  C. Zoltan de Torres:
  Women, Work and Computerisation (Panel). IFIP Congress 1986: 169-170

Panel

• 
  Stefano Crespi-Reghizzi:
  Automation in Software Development (Panel). IFIP Congress 1986: 171-172
• 
  Marie-Claude Gaudel:
  Automation in Software Development (Panel). IFIP Congress 1986: 173-174
• 
  William A. Wulf:
  Automation in Software Development (Panel). IFIP Congress 1986: 175-176

ISDN and X25

• 
  Eckart Raubold:
  ISDN and X25 (Invited paper). IFIP Congress 1986: 177-184
• 
  Shinji Tomita:
  ISDN and X25 - Response. IFIP Congress 1986: 185-188
• 
  Pietro Schicker:
  ISDN and X25 (Panel). IFIP Congress 1986: 1085-1086

Program Development

• 
  Kristen Nygaard:
  Program Development as a Social Activity (Invited Paper). IFIP Congress 1986: 189-198

CIM

• 
  Chengi Kuo:
  CAD to Support CIM Applications (Invited Paper). IFIP Congress 1986: 1087-1094
• 
  Sudhir P. Mudur:
  CAD to Support CIM Applications - Response. IFIP Congress 1986: 199-204

Information Systems Design

• 
  Stefano Ceri:
  Requirements Collection and Analysis in Information Systems Design (Invited Paper). IFIP Congress 1986: 205-214
• 
  Enid Mumford:
  Requirements Collection and Analysis in Information Systems Design - Response. IFIP Congress 1986: 215-218

Logic Programming

• 
  John Alan Robinson:
  The Future of Logic Programming (Invited Paper). IFIP Congress 1986: 219-224
• 
  Enn Tyugu:
  The Future of Logic Programming - Response. IFIP Congress 1986: 225-228

Panel

• 
  Jakob Vlietstra:
  Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1095-1096
• 
  Asbjørn Rolstadås:
  Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1097-1098
• 
  Theodore J. Williams:
  Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1099-1100
• 
  Hiroyuki Yoshikawa:
  Controversial Issues in CIM (CAD, CAM, CAE) (Panel). IFIP Congress 1986: 1101-1102

Panel

• 
  Heinz Lycklama:
  UNIX and Its Standardisation (Panel). IFIP Congress 1986: 229-232
• 
  Georges Lepicard:
  UNIX and Its Standardisation (Panel). IFIP Congress 1986: 233-234
• 
  D. Kevorkian:
  UNIX and Its Standardisation (Panel). IFIP Congress 1986: 1103-1104

Extert Design Tools

• 
  Marco A. Casanova, C. M. O. Moura:
  Designing Database Applications in Logic Programming. IFIP Congress 1986: 235-240
• 
  Colette Rolland, C. Proix:
  An Expert System Approach to Information System Design. IFIP Congress 1986: 241-250
• 
  Mokrane Bouzeghoub, Elisabeth Métais:
  SECSI: An Expert System Approach to Database Design. IFIP Congress 1986: 251-257

Transputer

• 
  Iann M. Barron:
  The Transputer and OCCAM(TM) (Invited Paper). IFIP Congress 1986: 259-266

Informatics in a Developing World

• 
  Donald McLean Lamberton:
  Informatics in a Developing World (Invited Paper). IFIP Congress 1986: 267-270
• 
  Wee Tew Lim:
  Informatics in a Developing World - Response. IFIP Congress 1986: 1105-1106

Meta Interpreters

• 
  Shmuel Safra, Ehud Y. Shapiro:
  Meta Interpreters For Real (Invited Paper). IFIP Congress 1986: 271-278
• 
  Akikazu Takeuchi:
  Meta Interpreters For Real - Response. IFIP Congress 1986: 279-282

Operating Systems

• 
  Robert Balzer:
  Living in the Next Generation Operating System (Invited Paper). IFIP Congress 1986: 283-292
• 
  Vic Stenning:
  Living in the Next Generation Operating System - Response. IFIP Congress 1986: 1107-1112

Software Management

• 
  Thomas Gilb:
  Deadline Pressure: How to Cope with Short Deadlines, Low Budgets and Insufficient Staffing Levels. IFIP Congress 1986: 293-300
• 
  Brian L. Meek:
  Programmin Language Standards: Not Language Definitions, but Specifications of Software Engineering Tools. IFIP Congress 1986: 301-306
• 
  M. Yamamoto, T. Kuriyama:
  Developing Project Management Skills through Computer Simulation. IFIP Congress 1986: 307-312

Panel

• 
  Erik Sandewall:
  Environments for the Development of Specifications (Panel). IFIP Congress 1986: 313-314
• 
  Bernard Lang:
  Environments for the Development of Specifications (Panel). IFIP Congress 1986: 315-316
• 
  John Mylopoulos:
  Environments for the Development of Specifications (Panel). IFIP Congress 1986: 317-319

Formal Description Techniques

• 
  Chris A. Vissers:
  Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper). IFIP Congress 1986: 321-328
• 
  Roberto Saracco:
  Standardisation of Formal Description Techniques for Communication Protocols - Response. IFIP Congress 1986: 329-334

Computer Understanding

• 
  Roger C. Schank:
  Computer Understanding and Creativity (Invited Paper). IFIP Congress 1986: 335-342
• 
  Wolfgang Wahlster:
  Computer Understanding and Creativity - Response. IFIP Congress 1986: 343-348

Towards Applicative Programming

• 
  Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko:
  Semantic Programming. IFIP Congress 1986: 1113-1120
• 
  T. Ito, T. Tamura, S. Wada:
  Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models. IFIP Congress 1986: 349-354
• 
  Gang Ye, Zhiliang Xie:
  An Efficient Type System for Prolog. IFIP Congress 1986: 355-360

VLSI Architecture

• 
  Arie E. Kaufman:
  Voxel-Based Architecture for Three-Dimensional Graphics. IFIP Congress 1986: 361-366
• 
  Shumpei Kawasaki, Tohru Nojiri, Kousuke Sakoda:
  A User-Adaptable VLSI Engine for Artificial Intelligence. IFIP Congress 1986: 367-372
• 
  Kam-Hoi Cheng, Sartaj Sahni:
  VLSI Artchitectures for Back Substitution. IFIP Congress 1986: 373-378

Programming

• 
  Adele Goldberg:
  Programmer as Reader (Invited Paper). IFIP Congress 1986: 379-386

Entity-Relationship Model

• 
  Peter P. Chen:
  The Time Dimension in the Entity-Relationship Model (Invited Paper). IFIP Congress 1986: 387-390

Panel

• 
  Rohit Parikh:
  Logic and Computation (Panel). IFIP Congress 1986: 391-392
• 
  Erwin Engeler:
  Logic and Computation (Panel). IFIP Congress 1986: 393-394
• 
  István Németi:
  Logic and Computation (Panel). IFIP Congress 1986: 395-396
• 
  Satoru Takasu:
  Logic and Computation (Panel). IFIP Congress 1986: 397-398

Panel

• 
  Alfonso F. Cardenas:
  Experience with the Relational Database Model (Panel). IFIP Congress 1986: 399-400
• 
  Ian G. MacDonald:
  Experience with the Relational Database Model (Panel). IFIP Congress 1986: 401-402
• 
  Alain Pirotte:
  Experience with the Relational Database Model (Panel). IFIP Congress 1986: 403-404
• 
  Stewart A. Schuster:
  Experience with the Relational Database Model (Panel). IFIP Congress 1986: 405-406

Reasoning

• 
  Henri Farreny, Henri Prade, E. Wyss:
  Approximate Reasoning in a Rule-Based Expert System using Possibility Theory: A Case Study. IFIP Congress 1986: 407-414
• 
  Akikazu Takeuchi, Koichi Furukawa:
  Partial Evaluation of Prolog Programs and its Application to Meta Programming. IFIP Congress 1986: 415-420
• 
  Silvano Di Zenzo:
  A New Many-Valued Logic and its Application to Approximate Reasoning. IFIP Congress 1986: 421-428

Teaching

• 
  Hermann A. Maurer:
  Nationwide Teaching through a Network of Microcomputers (Invited Paper). IFIP Congress 1986: 429-432

CIM in Practice

• 
  Y. Tanaka, E. Hashimoto, T. Ueda, K. Itoh:
  Application of Solid CAD for Mold Design. IFIP Congress 1986: 433-440
• 
  August-Wilhelm Scheer:
  Cost-Estimation in the Design Process within a CIM-Systems Environment. IFIP Congress 1986: 441-446
• 
  John Harhen, Michael G. Ketcham, Jimmie Browne:
  Artificial Intelligence and Simulation of Manufacturing Systems. IFIP Congress 1986: 447-454

Dealing with Parallelism and Real Time

• 
  M. C. Chen:
  Transformations of Parallel Programs in Crystal. IFIP Congress 1986: 455-462
• 
  Ivar Jacobson:
  FDL: A Language for Designing Large Reat Time Systems. IFIP Congress 1986: 463-468
• 
  Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai:
  Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474

Human-Computer Dialogues

• 
  William Buxton:
  Chunking and Phrasing and the Design of Human-Computer Dialogues (Invited Paper). IFIP Congress 1986: 475-480
• 
  Dimitre Novatchev:
  Chunking and Phrasing and the Design of Human-Computer Dialogues - Response. IFIP Congress 1986: 481-484

Panel

• 
  Oscar Barros:
  Education and Training for Information Systems (Panel). IFIP Congress 1986: 485-486
• 
  E. Altmann:
  Education and Training for Information Systems (Panel). IFIP Congress 1986: 1121-1122
• 
  Rudy Hirschheim:
  Education and Training for Information Systems (Panel). IFIP Congress 1986: 487-488
• 
  Erich J. Neuhold, Christian Stary:
  Education and Training for Information Systems (Panel). IFIP Congress 1986: 489-490

Panel

• 
  I. M. Cunningham:
  Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 491-492
• 
  Vinton G. Cerf:
  Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 1123-1124
• 
  Jacob Palme:
  Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 493-494
• 
  S. Ramani:
  Electronic Mail and the Paper Society (Panel). IFIP Congress 1986: 495-496

Documents

• 
  P. A. Penny:
  Technical Document Storing and Retrieval (Invited Paper). IFIP Congress 1986: 497-502
• 
  T. Maruyama:
  Technical Document Storing and Retrieval - Response. IFIP Congress 1986: 503-506

Process Constructors

• 
  Robin Milner:
  Process Constructors and Interpretations (Invited Paper). IFIP Congress 1986: 507-514
• 
  Willem P. de Roever:
  Process Constructors and Interpretations - Response. IFIP Congress 1986: 515-518

Panel

• 
  P. A. MacKay:
  Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 519-520
• 
  S. S. El-Dabi:
  Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 521-522
• 
  N. Izaki:
  Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 523-524
• 
  R. M. K. Sinha:
  Non-Latin and Non-Alphabetic Scripts (Panel). IFIP Congress 1986: 525-526

VDM

• 
  Ole N. Oest:
  VDM From Research to Practice (Invited Paper). IFIP Congress 1986: 527-534
• 
  Peter Wegner:
  VDM From Research to Practice - Response. IFIP Congress 1986: 535-538

Expert Systems

• 
  John P. McDermott:
  Making Expert Systems Explicit (Invited Paper). IFIP Congress 1986: 539-544
• 
  Reind P. van de Riet:
  Making Expert Systems Explicit - Response. IFIP Congress 1986: 545-548

Panel

• 
  Luigia Carlucci Aiello:
  Reasoning Techniques (Panel). IFIP Congress 1986: 549-550
• 
  Dmitri A. Pospelov:
  Reasoning Techniques (Panel). IFIP Congress 1986: 1125-1126
• 
  Stuart E. Savory:
  Reasoning Techniques (Panel). IFIP Congress 1986: 551-552

Panel

• 
  S. C. Forge:
  OSI and UNIX (Panel). IFIP Congress 1986: 553-554
• 
  Hubert Zimmermann:
  OSI and UNIX (Panel). IFIP Congress 1986: 555-556

Supercomputing

• 
  Ken'ichi Miura:
  Supercomputing in Japan (Invited Paper). IFIP Congress 1986: 557-564
• 
  H. T. Kung:
  Supercomputing in Japan - Response. IFIP Congress 1986: 565-570

Specifications at Different Levels of Abstraction

• 
  Egidio Astesiano, Gianna Reggio:
  A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576
• 
  Jack C. Wileden:
  Applying Event Based Analysis to Specification and Design. IFIP Congress 1986: 577-582
• 
  Elham Morcos-Chounet, A. Conchon:
  PPML: A General Formalism to Specify PrettyPrinting. IFIP Congress 1986: 583-590

Information Policy

• 
  Faqir Chand Kohli:
  Information Policy Issues in Developing Countries (Invited Paper). IFIP Congress 1986: 591-597
• 
  Nabil Harfouch:
  Information Policy Issues in Developing Countries - Response. IFIP Congress 1986: 599-604

Software Technology

• 
  Meir M. Lehman:
  Advanced Software Technology - Development and Introduction to Practice (Invited Paper). IFIP Congress 1986: 605-612
• 
  B. Tim Denvir:
  Advanced Software Technology - Development and Introduction to Practice - Response. IFIP Congress 1986: 613-616

Information System Design

• 
  Peter C. Lockemann, Heinrich C. Mayr:
  Information System Design: Techniques and Software Support (Invited Paper). IFIP Congress 1986: 617-634
• 
  Elöd Knuth, János Demetrovics, Ágnes Hernádi:
  Information System Design: Techniques and Software Support - Response. IFIP Congress 1986: 635-640

Panel

• 
  Amílcar Sernadas:
  Future Information Systems (Panel). IFIP Congress 1986: 641-642
• 
  Cyril H. P. Brookes:
  Future Information Systems (Panel). IFIP Congress 1986: 643-644
• 
  Laurence Cholvy:
  Future Information Systems (Panel). IFIP Congress 1986: 645-646
• 
  Larry Kerschberg:
  Future Information Systems (Panel). IFIP Congress 1986: 647-648

Computer Science

• 
  Hristo Djidjev:
  VLSI Algorithms for Combinatorial Problems. IFIP Congress 1986: 649-654
• 
  Véronique Royer:
  Congruent Representation of Standard Denotational Semantics. IFIP Congress 1986: 655-660
• 
  Jan Kwiatkowski:
  The Conversion of Sequential Programs to Data Flow Ones. IFIP Congress 1986: 661-662

Knowledge-Based Systems

• 
  Raymond Reiter:
  Foundations for Knowledge-Based Systems (Invited Paper). IFIP Congress 1986: 663-668
• 
  Joachim W. Schmidt:
  Foundations for Knowledge-Based Systems - Response. IFIP Congress 1986: 669-674

Algebraic Specifications

• 
  Hartmut Ehrig, Herbert Weber:
  Programming in the Large with Algebraic Module Specifications (Invited Paper). IFIP Congress 1986: 675-684
• 
  Andrzej Tarlecki:
  Programming in the Large with Algebraic Module Specifications - Response. IFIP Congress 1986: 685-688

CAD

• 
  Hiroyuki Yoshikawa:
  Theoretical Approaches in Computer Aided Design (CAD) (Invited Paper). IFIP Congress 1986: 1127-1132
• 
  José L. Encarnação:
  Theoretical Approaches in Computer Aided Design (CAD) - Response. IFIP Congress 1986: 1133-1134

Policy Issues

• 
  B. K. Eres, B. Raz:
  Capacity Development for Informatics and its Socioeconomic Implications. IFIP Congress 1986: 689-694
• 
  S. A. Vadja:
  National High-Tech Policy: The US Dilemma. IFIP Congress 1986: 695-702
• 
  S. Cooney:
  Small is Necessary: The Role of Information Technology in Development Communication. IFIP Congress 1986: 1135-1142

Software Costs

• 
  Barry W. Boehm:
  Understanding and Controlling Software Costs (Invited Paper). IFIP Congress 1986: 703-714
• 
  Vesselin Spiridonov:
  Understanding and Controlling Software Costs - Response. IFIP Congress 1986: 715-718

Panel

• 
  Hisashi Kobayashi:
  Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 719-720
• 
  Domenico Ferrari:
  Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 721-722
• 
  Paul J. Kühn:
  Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 1143-1146
• 
  Kenneth C. Sevcik:
  Performance Evaluation in Perspective (Panel). IFIP Congress 1986: 723-724

Panel

• 
  Gerhard Goos:
  Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress 1986: 1145-1146
• 
  René Jacquart:
  Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress 1986: 725-726
• 
  Robert P. Worden:
  Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress 1986: 1147-1148

Fault Tolerance

• 
  Fred B. Schneider:
  Abstractions for Fault Tolerance in Distributed Systems (Invited Paper). IFIP Congress 1986: 727-734
• 
  Anders P. Ravn:
  Abstractions for Fault Tolerance in Distributed Systems - Response. IFIP Congress 1986: 735-738

Information Systems

• 
  C. C. Gotlieb:
  Information Systems in the Small (Invited Paper). IFIP Congress 1986: 739-744
• 
  Giampio Bracchi:
  Information Systems in the Small - Response. IFIP Congress 1986: 745-748

Production Management Systems

• 
  Asbjørn Rolstadås:
  Production Management Systems (Invited Paper). IFIP Congress 1986: 749-756
• 
  Guy Doumeingts:
  Production Management Systems - Response. IFIP Congress 1986: 1149-1156

ANDREW

• 
  James H. Morris, John Leong, David A. Nichols, Michael J. West, Mahadev Satyanarayanan:
  ANDREW: Carnegie Mellon's Computing System (Invited Paper). IFIP Congress 1986: 757-768

Applications in Developing Countries

• 
  Henry R. Norman, Gary Garriott:
  Innovative Informatics Applications in Developing Countries (Invited Paper). IFIP Congress 1986: 769-774

Panel

• 
  Olivier Roubine:
  Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 1157-1158
• 
  Koichi Furukawa:
  Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 775-776
• 
  Martin Wirsing:
  Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 777-778

Computer Architecture

• 
  Katsuhiro Yamazaki, Takanobu Baba, Kenzo Okuda, Hiroyuki Kanai:
  Architectural Evaluation and Improvement of a Universal Host Computer MUNAP. IFIP Congress 1986: 779-784
• 
  Takao Tsuda, Yoshitoshi Kunieda:
  Mechanical vectorization of Multiply Nestzed DO Loops by Vector Indirect Addressing. IFIP Congress 1986: 785-790
• 
  Jitender S. Deogun, M. C. Kong:
  On Periodic Scheduling of Time-Critical Tasks. IFIP Congress 1986: 791-796

Languages & Architectures

• 
  Christophe Roche, Jean-Pierre H. Laurent:
  LRO2: Artificial Intelligence and Object Oriented Languages. IFIP Congress 1986: 797-802
• 
  Péter Kacsuk:
  Some Approaches to Parallel Implementaions of Prolog. IFIP Congress 1986: 803-809
• 
  Jean-Louis Laurière, M. Vialatte:
  SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics. IFIP Congress 1986: 811-816

CIM

• 
  Detlef Kochan:
  Trends Towards Computer-Integrated Manufacturing (CIM) (Invited Paper). IFIP Congress 1986: 817-822
• 
  J. P. Crestin:
  Trends Towards Computer-Integrated Manufacturing (CIM) - Response. IFIP Congress 1986: 1159-1162

Net Theory

• 
  Hartmann J. Genrich:
  Net Theory and Application (Invited Paper). IFIP Congress 1986: 823-832
• 
  Rocco De Nicola:
  Net Theory and Application - Response. IFIP Congress 1986: 833-836

Software Engineering

• 
  William N. Joy:
  The Workstation Approach for Software Engineering (Invited Paper). IFIP Congress 1986: 1163-1168
• 
  Najah Naffah:
  The Workstation Approach for Software Engineering - Response. IFIP Congress 1986: 1169-1172

Panel

• 
  Douglas B. Lenat:
  Machine Learning (Panel). IFIP Congress 1986: 837-838
• 
  Yves Kodratoff:
  Machine Learning (Panel). IFIP Congress 1986: 839-840
• 
  Stellan Ohlsson:
  Machine Learning (Panel). IFIP Congress 1986: 841-842

Panel

• 
  David Aspinall II:
  Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1171-1172
• 
  A. L. Davis:
  Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1173-1174
• 
  E. McQuade:
  Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1175-1176
• 
  Przemyslaw Bakowski:
  Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 843-844
• 
  D. Morris:
  Methodologies for Computer Engineering (Panel). IFIP Congress 1986: 1177-1182

Reactive Systems

• 
  Amir Pnueli:
  Specification and Development of Reactive Systems (Invited Paper). IFIP Congress 1986: 845-858
• 
  Joseph Sifakis:
  Specification and Development of Reactive Systems - Response. IFIP Congress 1986: 1183-1188

Open System Environment

• 
  Zebo Peng:
  Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. IFIP Congress 1986: 859-864
• 
  Alwyn Langsford:
  Open Systems Management - The Implications for Distributed Processing Architecture. IFIP Congress 1986: 865-868
• 
  Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano:
  Lotos in Practice. IFIP Congress 1986: 869-876

Engineering Data

• 
  Robert Demolombe:
  STREL: An Extended Relational Model for Structured Objects. IFIP Congress 1986: 877-882
• 
  Paul Bourret:
  Temporary Storage of Derived Relations for Efficient Use of DBMS in Computer Integrated Manufacturing Systems. IFIP Congress 1986: 883-888
• 
  Raymond A. Lorie, Jean-Jacques Daudenarde:
  On Extending the Realm of Application of Relational Systems. IFIP Congress 1986: 889-894

Software Tools

• 
  K. Ryan, J. A. Redmond, Donald O'Neill, Boyd Mathews, A. Hunot, Michel Lemoine, Manfred Dausmann, K. Wachsmuth:
  Surveying Software Tools for a Method Driven Environment. IFIP Congress 1986: 895-902
• 
  Takeshi Chusho, Hirohide Haga:
  A Multilingual Modular Programming System for Describing Knowledge Information Processing Systems. IFIP Congress 1986: 903-908
• 
  Maurizio Barioglio, G. Capella, I. Lupo, Luigi Petrone:
  KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation. IFIP Congress 1986: 909-914

CIM

• 
  Michel A. Melkanoff:
  The "I" in CIM (Invited Paper). IFIP Congress 1986: 915-920

Panel

• 
  Gérard Le Lann:
  Which LAN in the Factory (Panel). IFIP Congress 1986: 921-922
• 
  Dirk Heger:
  Which LAN in the Factory (Panel). IFIP Congress 1986: 1189-1190
• 
  John F. Meyer:
  Which LAN in the Factory (Panel). IFIP Congress 1986: 923-924
• 
  Mario Tokoro:
  Which LAN in the Factory (Panel). IFIP Congress 1986: 925-926

Panel

• 
  Takao Uehara:
  Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 927-928
• 
  B. Lynch:
  Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 1191-1192
• 
  Karlheinrich Horninger:
  Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 929-930
• 
  Guy Mazaré:
  Computer Aided Design and Artificial Intelligence (Panel). IFIP Congress 1986: 931-932

Database Computers

• 
  David K. Hsiao:
  Super Database Computers: Hardward and Software Solutions for Efficient Processing of Very Large Databases (Invited Paper). IFIP Congress 1986: 933-944
• 
  Georges Gardarin:
  Super Database Computers - Response. IFIP Congress 1986: 945-948

Multi-Micro Processor Systems

• 
  Anatoliy Vasiljevich Kalyaev:
  Multi-Micro Processor Systems (Invited Paper). IFIP Congress 1986: 949-954
• 
  Dharma P. Agrawal, J. Richard Burke:
  Multi-Micro Processor System: Another Viewpoint (Response). IFIP Congress 1986: 955-956

Innovative Applications

• 
  Masataka Ohta, Mamoru Maekawa, Takashi Arano, Kiyokuni Kawachiya, Y. Noguchi:
  Multimedia Information Processing Based on a General Media Model. IFIP Congress 1986: 957-962
• 
  Ernst Piller:
  Smart-Cards for Network Services. IFIP Congress 1986: 963-968
• 
  Luo Yunmo:
  Theory and Practice of the Computerised Traditional Chineses Medicin. IFIP Congress 1986: 969-974

Algorithms and Machines

• 
  Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky:
  On Model of Macroconveyor Computations. IFIP Congress 1986: 975-980
• 
  Alain Bossavit:
  Recurrences in Vector Mode: Recursive (Cyclic) Reduction and recursive Doubling. IFIP Congress 1986: 981-988
• 
  Andreas Alexander Albrecht:
  On Hardware Algorithms for Geometrical Computation Problems. IFIP Congress 1986: 989-994

Specification Languages

• 
  Joseph A. Goguen:
  One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress 1986: 995-1004
• 
  Giorgio Levi:
  One, None, A Hundred Thousand Specification Languages - Response. IFIP Congress 1986: 1005-1008

Applications and Case Studies

• 
  Danilo de Souza Dias:
  Information Systems Requirements Definition: Key Factors and Situation in Brazilian Companies. IFIP Congress 1986: 1009-1014
• 
  B. M. Donner:
  The "Real World" of Disaster Recovery and Planning (Computer Systems Security). IFIP Congress 1986: 1015-1020

Data Communications

• 
  Jacob Palme:
  Cost-Benefit Analysis of Computer-Mediated Message Systems. IFIP Congress 1986: 1021-1023
• 
  Patrick O'Callaghan, Gabriel Broner:
  ANNETTE: A Cheap, High Performance Local Network for Microcomputers. IFIP Congress 1986: 1025-1028
• 
  Józef Wozniak:
  Performance of Unslotted ALOHA with Capture. IFIP Congress 1986: 1029-1034

CIM

• 
  Gideon Halevi:
  CIM - The Future Technology (Invited Paper). IFIP Congress 1986: 1035-1042
• 
  Marco Tomljanovich:
  CIM - The Future Technology - Response. IFIP Congress 1986: 1193-1196

Impact of Algorithms on New Computer Architecture

• 
  Valentin Vasilevich Voyevodin:
  Impact of Algorithms on New Computer Architecture (Invited Paper). IFIP Congress 1986: 1043-1048
• 
  Jozef Miklosko:
  Impact of Algorithms on New Computer Architecture - Response. IFIP Congress 1986: 1197-1200

Extended Query-Oriented Architectures

• 
  Vijay V. Raghavan, Lawrence V. Saxton, S. K. Michael Wong, S. S. Ting:
  A Unified Architecture for the Integration of Data Base Management and Information Retrieval Systems. IFIP Congress 1986: 1049-1054
• 
  Yahiko Kambayashi:
  An Overview of a Natural Language-Assisted Database User Interface: ENLI. IFIP Congress 1986: 1055-1060
• 
  Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace:
  Some Steps Towards a DBMS-based KBMS. IFIP Congress 1986: 1061-1067

Software Engineering

• 
  Frederick P. Brooks Jr.:
  No Silver Bullet - Essence and Accidents of Software Engineering (Invited Paper). IFIP Congress 1986: 1069-1076
• 
  Wladyslaw M. Turski:
  No Silver Bullet - Essence and Accidents of Software Engineering - Response. IFIP Congress 1986: 1077-1080

Acknowledement: The information on this page was contributed by Hendrik Decker.