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
Panel
Data Administration
- Jane Grimson:
Guidelines for Data Administration (Invited Paper).
15-22
- Arne Sølvberg:
Guidelines for Data Administration - Response.
23-26
Software Technologies and Paradigms
- David R. Cheriton:
Making Exceptions Simplify the Rule (and Justify their Handling).
27-34
- Giorgio Bruno, Antonia Elia:
Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5.
35-40
- Marta Franová:
Proving Theorems by Construction of Valid Formulae.
41-46
Education and Training
- Robert M. Aiken:
Micropower: The Use of Computers in Pre-College Education.
47-52
- H. Kaiser:
Office Technology and User Satisfaction: An Improvement Programme.
53-56
- Ines Wesley-Tanaskovic:
Strategies for Manpower Development in Informatics in Developing Countries: Experience of the UN University.
57-60
Data Flow
Panel
- Annette Lagman:
Can Developing Countries Compete in Information Technology (Panel).
73-74
- Fábio Stefano Erber:
Can Developing Countries Compete in Information Technology (Panel).
75-76
- Prem Prakash Gupta:
Can Developing Countries Compete in Information Technology (Panel).
77-78
- B. Raz:
Can Developing Countries Compete in Information Technology (Panel).
1081-1082
Panel
- Roger Van Overstraeten:
Advanced Microelectronics as a Foundation for Future Computers (Panel).
1083-1084
- K. Asada:
Advanced Microelectronics as a Foundation for Future Computers (Panel).
79-80
- Peter B. Denyer:
Advanced Microelectronics as a Foundation for Future Computers (Panel).
81-82
Specification Methods
- Alfs T. Berztiss:
Data Abstraction in the Specification of Information Systems.
83-90
- Antoni Olivé:
A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling.
91-96
- Jiri Zlatuska:
Data Bases and the Lambda-Calculus.
97-104
AI and Programming Languages
- Luc Steels:
AI and Programming Languages (Invited Paper).
105-110
- Akinori Yonezawa:
AI and Programming Languages - Response.
111-114
Software Techniques and Paradigms
Program Development
- T. S. E. Maibaum:
Role of Abstraction in Program Development (Invited Paper).
135-142
- Fernando Orejas:
Role of Abstraction in Program Development - Response.
143-146
Message Handling
- Joseph Pitteloud:
Electronic Message Handling for the '90s (Invited Paper).
147-158
- Ronald P. Uhlig:
Electronic Message Handling for the '90s - Response.
159-162
Panel
Panel
ISDN and X25
Program Development
- Kristen Nygaard:
Program Development as a Social Activity (Invited Paper).
189-198
CIM
- Chengi Kuo:
CAD to Support CIM Applications (Invited Paper).
1087-1094
- Sudhir P. Mudur:
CAD to Support CIM Applications - Response.
199-204
Information Systems Design
- Stefano Ceri:
Requirements Collection and Analysis in Information Systems Design (Invited Paper).
205-214
- Enid Mumford:
Requirements Collection and Analysis in Information Systems Design - Response.
215-218
Logic Programming
- John Alan Robinson:
The Future of Logic Programming (Invited Paper).
219-224
- Enn Tyugu:
The Future of Logic Programming - Response.
225-228
Panel
Panel
Extert Design Tools
Transputer
Informatics in a Developing World
Meta Interpreters
Operating Systems
- Robert Balzer:
Living in the Next Generation Operating System (Invited Paper).
283-292
- Vic Stenning:
Living in the Next Generation Operating System - Response.
1107-1112
Software Management
- Thomas Gilb:
Deadline Pressure: How to Cope with Short Deadlines, Low Budgets and Insufficient Staffing Levels.
293-300
- Brian L. Meek:
Programmin Language Standards: Not Language Definitions, but Specifications of Software Engineering Tools.
301-306
- M. Yamamoto, T. Kuriyama:
Developing Project Management Skills through Computer Simulation.
307-312
Panel
- Erik Sandewall:
Environments for the Development of Specifications (Panel).
313-314
- Bernard Lang:
Environments for the Development of Specifications (Panel).
315-316
- John Mylopoulos:
Environments for the Development of Specifications (Panel).
317-319
Formal Description Techniques
- Chris A. Vissers:
Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper).
321-328
- Roberto Saracco:
Standardisation of Formal Description Techniques for Communication Protocols - Response.
329-334
Computer Understanding
Towards Applicative Programming
VLSI Architecture
Programming
Entity-Relationship Model
- Peter P. Chen:
The Time Dimension in the Entity-Relationship Model (Invited Paper).
387-390
Panel
Panel
Reasoning
Teaching
- Hermann A. Maurer:
Nationwide Teaching through a Network of Microcomputers (Invited Paper).
429-432
CIM in Practice
Dealing with Parallelism and Real Time
Human-Computer Dialogues
- William Buxton:
Chunking and Phrasing and the Design of Human-Computer Dialogues (Invited Paper).
475-480
- Dimitre Novatchev:
Chunking and Phrasing and the Design of Human-Computer Dialogues - Response.
481-484
Panel
Panel
- I. M. Cunningham:
Electronic Mail and the Paper Society (Panel).
491-492
- Vinton G. Cerf:
Electronic Mail and the Paper Society (Panel).
1123-1124
- Jacob Palme:
Electronic Mail and the Paper Society (Panel).
493-494
- S. Ramani:
Electronic Mail and the Paper Society (Panel).
495-496
Documents
- P. A. Penny:
Technical Document Storing and Retrieval (Invited Paper).
497-502
- T. Maruyama:
Technical Document Storing and Retrieval - Response.
503-506
Process Constructors
- Robin Milner:
Process Constructors and Interpretations (Invited Paper).
507-514
- Willem P. de Roever:
Process Constructors and Interpretations - Response.
515-518
Panel
- P. A. MacKay:
Non-Latin and Non-Alphabetic Scripts (Panel).
519-520
- S. S. El-Dabi:
Non-Latin and Non-Alphabetic Scripts (Panel).
521-522
- N. Izaki:
Non-Latin and Non-Alphabetic Scripts (Panel).
523-524
- R. M. K. Sinha:
Non-Latin and Non-Alphabetic Scripts (Panel).
525-526
VDM
- Ole N. Oest:
VDM From Research to Practice (Invited Paper).
527-534
- Peter Wegner:
VDM From Research to Practice - Response.
535-538
Expert Systems
Panel
Panel
Supercomputing
- Ken'ichi Miura:
Supercomputing in Japan (Invited Paper).
557-564
- H. T. Kung:
Supercomputing in Japan - Response.
565-570
Specifications at Different Levels of Abstraction
Information Policy
- Faqir Chand Kohli:
Information Policy Issues in Developing Countries (Invited Paper).
591-597
- Nabil Harfouch:
Information Policy Issues in Developing Countries - Response.
599-604
Software Technology
- Meir M. Lehman:
Advanced Software Technology - Development and Introduction to Practice (Invited Paper).
605-612
- B. Tim Denvir:
Advanced Software Technology - Development and Introduction to Practice - Response.
613-616
Information System Design
Panel
Computer Science
- Hristo Djidjev:
VLSI Algorithms for Combinatorial Problems.
649-654
- Véronique Royer:
Congruent Representation of Standard Denotational Semantics.
655-660
- Jan Kwiatkowski:
The Conversion of Sequential Programs to Data Flow Ones.
661-662
Knowledge-Based Systems
- Raymond Reiter:
Foundations for Knowledge-Based Systems (Invited Paper).
663-668
- Joachim W. Schmidt:
Foundations for Knowledge-Based Systems - Response.
669-674
Algebraic Specifications
- Hartmut Ehrig, Herbert Weber:
Programming in the Large with Algebraic Module Specifications (Invited Paper).
675-684
- Andrzej Tarlecki:
Programming in the Large with Algebraic Module Specifications - Response.
685-688
CAD
- Hiroyuki Yoshikawa:
Theoretical Approaches in Computer Aided Design (CAD) (Invited Paper).
1127-1132
- José L. Encarnação:
Theoretical Approaches in Computer Aided Design (CAD) - Response.
1133-1134
Policy Issues
- B. K. Eres, B. Raz:
Capacity Development for Informatics and its Socioeconomic Implications.
689-694
- S. A. Vadja:
National High-Tech Policy: The US Dilemma.
695-702
- S. Cooney:
Small is Necessary: The Role of Information Technology in Development Communication.
1135-1142
Software Costs
- Barry W. Boehm:
Understanding and Controlling Software Costs (Invited Paper).
703-714
- Vesselin Spiridonov:
Understanding and Controlling Software Costs - Response.
715-718
Panel
Panel
- Gerhard Goos:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
1145-1146
- René Jacquart:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
725-726
- Robert P. Worden:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
1147-1148
Fault Tolerance
- Fred B. Schneider:
Abstractions for Fault Tolerance in Distributed Systems (Invited Paper).
727-734
- Anders P. Ravn:
Abstractions for Fault Tolerance in Distributed Systems - Response.
735-738
Information Systems
- C. C. Gotlieb:
Information Systems in the Small (Invited Paper).
739-744
- Giampio Bracchi:
Information Systems in the Small - Response.
745-748
Production Management Systems
ANDREW
Applications in Developing Countries
Panel
- Olivier Roubine:
Specification Languages versus Programming Languages (Panel).
1157-1158
- Koichi Furukawa:
Specification Languages versus Programming Languages (Panel).
775-776
- Martin Wirsing:
Specification Languages versus Programming Languages (Panel).
777-778
Computer Architecture
Languages & Architectures
CIM
- Detlef Kochan:
Trends Towards Computer-Integrated Manufacturing (CIM) (Invited Paper).
817-822
- J. P. Crestin:
Trends Towards Computer-Integrated Manufacturing (CIM) - Response.
1159-1162
Net Theory
Software Engineering
- William N. Joy:
The Workstation Approach for Software Engineering (Invited Paper).
1163-1168
- Najah Naffah:
The Workstation Approach for Software Engineering - Response.
1169-1172
Panel
Panel
- David Aspinall II:
Methodologies for Computer Engineering (Panel).
1171-1172
- A. L. Davis:
Methodologies for Computer Engineering (Panel).
1173-1174
- E. McQuade:
Methodologies for Computer Engineering (Panel).
1175-1176
- Przemyslaw Bakowski:
Methodologies for Computer Engineering (Panel).
843-844
- D. Morris:
Methodologies for Computer Engineering (Panel).
1177-1182
Reactive Systems
- Amir Pnueli:
Specification and Development of Reactive Systems (Invited Paper).
845-858
- Joseph Sifakis:
Specification and Development of Reactive Systems - Response.
1183-1188
Open System Environment
Engineering Data
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.
895-902
- Takeshi Chusho, Hirohide Haga:
A Multilingual Modular Programming System for Describing Knowledge Information Processing Systems.
903-908
- Maurizio Barioglio, G. Capella, I. Lupo, Luigi Petrone:
KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation.
909-914
CIM
Panel
Panel
- Takao Uehara:
Computer Aided Design and Artificial Intelligence (Panel).
927-928
- B. Lynch:
Computer Aided Design and Artificial Intelligence (Panel).
1191-1192
- Karlheinrich Horninger:
Computer Aided Design and Artificial Intelligence (Panel).
929-930
- Guy Mazaré:
Computer Aided Design and Artificial Intelligence (Panel).
931-932
Database Computers
- David K. Hsiao:
Super Database Computers: Hardward and Software Solutions for Efficient Processing of Very Large Databases (Invited Paper).
933-944
- Georges Gardarin:
Super Database Computers - Response.
945-948
Multi-Micro Processor Systems
Innovative Applications
Algorithms and Machines
Specification Languages
- Joseph A. Goguen:
One, None, A Hundred Thousand Specification Languages (Invited Paper).
995-1004
- Giorgio Levi:
One, None, A Hundred Thousand Specification Languages - Response.
1005-1008
Applications and Case Studies
- Danilo de Souza Dias:
Information Systems Requirements Definition: Key Factors and Situation in Brazilian Companies.
1009-1014
- B. M. Donner:
The "Real World" of Disaster Recovery and Planning (Computer Systems Security).
1015-1020
Data Communications
CIM
Impact of Algorithms on New Computer Architecture
Extended Query-Oriented Architectures
Software Engineering
- Frederick P. Brooks Jr.:
No Silver Bullet - Essence and Accidents of Software Engineering (Invited Paper).
1069-1076
- Wladyslaw M. Turski:
No Silver Bullet - Essence and Accidents of Software Engineering - Response.
1077-1080
Acknowledement:
The information on this page was contributed by Hendrik Decker.
Copyright © Mon Mar 15 03:41:35 2010
by Michael Ley (ley@uni-trier.de)
