Panel
export record as
dblp key:
Jozef Gruska :
Pragmatic Aspects of Complexity Theory (Panel).
1-2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Data Administration
export record as
dblp key:
Jane Grimson :
Guidelines for Data Administration (Invited Paper).
15-22
export record as
dblp key:
Arne Sølvberg :
Guidelines for Data Administration - Response.
23-26
Software Technologies and Paradigms
export record as
dblp key:
David R. Cheriton :
Making Exceptions Simplify the Rule (and Justify their Handling).
27-34
export record as
dblp key:
export record as
dblp key:
Marta Franová :
Proving Theorems by Construction of Valid Formulae.
41-46
Education and Training
export record as
dblp key:
Robert M. Aiken :
Micropower: The Use of Computers in Pre-College Education.
47-52
export record as
dblp key:
H. Kaiser :
Office Technology and User Satisfaction: An Improvement Programme.
53-56
export record as
dblp key:
conf/ifip/Wesley-Tanaskovic86 Ines Wesley-Tanaskovic :
Strategies for Manpower Development in Informatics in Developing Countries: Experience of the UN University.
57-60
Data Flow
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
Annette Lagman :
Can Developing Countries Compete in Information Technology (Panel).
73-74
export record as
dblp key:
export record as
dblp key:
Prem Prakash Gupta :
Can Developing Countries Compete in Information Technology (Panel).
77-78
export record as
dblp key:
B. Raz :
Can Developing Countries Compete in Information Technology (Panel).
1081-1082
Panel
export record as
dblp key:
export record as
dblp key:
K. Asada :
Advanced Microelectronics as a Foundation for Future Computers (Panel).
79-80
export record as
dblp key:
Peter B. Denyer :
Advanced Microelectronics as a Foundation for Future Computers (Panel).
81-82
Specification Methods
export record as
dblp key:
Alfs T. Berztiss :
Data Abstraction in the Specification of Information Systems.
83-90
export record as
dblp key:
Antoni Olivé :
A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling.
91-96
export record as
dblp key:
AI and Programming Languages
export record as
dblp key:
Luc Steels :
AI and Programming Languages (Invited Paper).
105-110
export record as
dblp key:
Software Techniques and Paradigms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program Development
export record as
dblp key:
T. S. E. Maibaum :
Role of Abstraction in Program Development (Invited Paper).
135-142
export record as
dblp key:
Fernando Orejas :
Role of Abstraction in Program Development - Response.
143-146
Message Handling
export record as
dblp key:
Joseph Pitteloud :
Electronic Message Handling for the '90s (Invited Paper).
147-158
export record as
dblp key:
Ronald P. Uhlig :
Electronic Message Handling for the '90s - Response.
159-162
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Y. Okada :
Women, Work and Computerisation (Panel).
167-168
export record as
dblp key:
Panel
export record as
dblp key:
conf/ifip/Crespi-Reghizzi86 export record as
dblp key:
export record as
dblp key:
ISDN and X25
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program Development
export record as
dblp key:
Kristen Nygaard :
Program Development as a Social Activity (Invited Paper).
189-198
CIM
export record as
dblp key:
Chengi Kuo :
CAD to Support CIM Applications (Invited Paper).
1087-1094
export record as
dblp key:
Information Systems Design
export record as
dblp key:
Stefano Ceri :
Requirements Collection and Analysis in Information Systems Design (Invited Paper).
205-214
export record as
dblp key:
Enid Mumford :
Requirements Collection and Analysis in Information Systems Design - Response.
215-218
Logic Programming
export record as
dblp key:
export record as
dblp key:
Enn Tyugu :
The Future of Logic Programming - Response.
225-228
Panel
export record as
dblp key:
Jakob Vlietstra :
Controversial Issues in CIM (CAD, CAM, CAE) (Panel).
1095-1096
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
D. Kevorkian :
UNIX and Its Standardisation (Panel).
1103-1104
Extert Design Tools
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Transputer
export record as
dblp key:
Informatics in a Developing World
export record as
dblp key:
export record as
dblp key:
Wee Tew Lim :
Informatics in a Developing World - Response.
1105-1106
Meta Interpreters
export record as
dblp key:
export record as
dblp key:
Operating Systems
export record as
dblp key:
Robert Balzer :
Living in the Next Generation Operating System (Invited Paper).
283-292
export record as
dblp key:
Vic Stenning :
Living in the Next Generation Operating System - Response.
1107-1112
Software Management
export record as
dblp key:
Thomas Gilb :
Deadline Pressure: How to Cope with Short Deadlines, Low Budgets and Insufficient Staffing Levels.
293-300
export record as
dblp key:
Brian L. Meek :
Programmin Language Standards: Not Language Definitions, but Specifications of Software Engineering Tools.
301-306
export record as
dblp key:
Panel
export record as
dblp key:
Erik Sandewall :
Environments for the Development of Specifications (Panel).
313-314
export record as
dblp key:
Bernard Lang :
Environments for the Development of Specifications (Panel).
315-316
export record as
dblp key:
John Mylopoulos :
Environments for the Development of Specifications (Panel).
317-319
Formal Description Techniques
export record as
dblp key:
Chris A. Vissers :
Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper).
321-328
export record as
dblp key:
Roberto Saracco :
Standardisation of Formal Description Techniques for Communication Protocols - Response.
329-334
Computer Understanding
export record as
dblp key:
Roger C. Schank :
Computer Understanding and Creativity (Invited Paper).
335-342
export record as
dblp key:
Towards Applicative Programming
export record as
dblp key:
export record as
dblp key:
T. Ito ,
T. Tamura ,
S. Wada :
Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models.
349-354
export record as
dblp key:
VLSI Architecture
export record as
dblp key:
Arie E. Kaufman :
Voxel-Based Architecture for Three-Dimensional Graphics.
361-366
export record as
dblp key:
export record as
dblp key:
Programming
export record as
dblp key:
Entity-Relationship Model
export record as
dblp key:
Peter P. Chen :
The Time Dimension in the Entity-Relationship Model (Invited Paper).
387-390
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
Ian G. MacDonald :
Experience with the Relational Database Model (Panel).
401-402
export record as
dblp key:
Alain Pirotte :
Experience with the Relational Database Model (Panel).
403-404
export record as
dblp key:
Reasoning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Silvano Di Zenzo :
A New Many-Valued Logic and its Application to Approximate Reasoning.
421-428
Teaching
export record as
dblp key:
Hermann A. Maurer :
Nationwide Teaching through a Network of Microcomputers (Invited Paper).
429-432
CIM in Practice
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dealing with Parallelism and Real Time
export record as
dblp key:
M. C. Chen :
Transformations of Parallel Programs in Crystal.
455-462
export record as
dblp key:
Ivar Jacobson :
FDL: A Language for Designing Large Reat Time Systems.
463-468
export record as
dblp key:
Human-Computer Dialogues
export record as
dblp key:
William Buxton :
Chunking and Phrasing and the Design of Human-Computer Dialogues (Invited Paper).
475-480
export record as
dblp key:
Dimitre Novatchev :
Chunking and Phrasing and the Design of Human-Computer Dialogues - Response.
481-484
Panel
export record as
dblp key:
Oscar Barros :
Education and Training for Information Systems (Panel).
485-486
export record as
dblp key:
E. Altmann :
Education and Training for Information Systems (Panel).
1121-1122
export record as
dblp key:
Rudy Hirschheim :
Education and Training for Information Systems (Panel).
487-488
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
Vinton G. Cerf :
Electronic Mail and the Paper Society (Panel).
1123-1124
export record as
dblp key:
Jacob Palme :
Electronic Mail and the Paper Society (Panel).
493-494
export record as
dblp key:
S. Ramani :
Electronic Mail and the Paper Society (Panel).
495-496
Documents
export record as
dblp key:
P. A. Penny :
Technical Document Storing and Retrieval (Invited Paper).
497-502
export record as
dblp key:
T. Maruyama :
Technical Document Storing and Retrieval - Response.
503-506
Process Constructors
export record as
dblp key:
Robin Milner :
Process Constructors and Interpretations (Invited Paper).
507-514
export record as
dblp key:
Panel
export record as
dblp key:
P. A. MacKay :
Non-Latin and Non-Alphabetic Scripts (Panel).
519-520
export record as
dblp key:
S. S. El-Dabi :
Non-Latin and Non-Alphabetic Scripts (Panel).
521-522
export record as
dblp key:
N. Izaki :
Non-Latin and Non-Alphabetic Scripts (Panel).
523-524
export record as
dblp key:
VDM
export record as
dblp key:
Ole N. Oest :
VDM From Research to Practice (Invited Paper).
527-534
export record as
dblp key:
Peter Wegner :
VDM From Research to Practice - Response.
535-538
Expert Systems
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
Supercomputing
export record as
dblp key:
export record as
dblp key:
H. T. Kung :
Supercomputing in Japan - Response.
565-570
Specifications at Different Levels of Abstraction
export record as
dblp key:
export record as
dblp key:
Jack C. Wileden :
Applying Event Based Analysis to Specification and Design.
577-582
export record as
dblp key:
conf/ifip/Morcos-ChounetC86
Information Policy
export record as
dblp key:
Faqir Chand Kohli :
Information Policy Issues in Developing Countries (Invited Paper).
591-597
export record as
dblp key:
Nabil Harfouch :
Information Policy Issues in Developing Countries - Response.
599-604
Software Technology
export record as
dblp key:
Meir M. Lehman :
Advanced Software Technology - Development and Introduction to Practice (Invited Paper).
605-612
export record as
dblp key:
B. Tim Denvir :
Advanced Software Technology - Development and Introduction to Practice - Response.
613-616
Information System Design
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Computer Science
export record as
dblp key:
export record as
dblp key:
Véronique Royer :
Congruent Representation of Standard Denotational Semantics.
655-660
export record as
dblp key:
Jan Kwiatkowski :
The Conversion of Sequential Programs to Data Flow Ones.
661-662
Knowledge-Based Systems
export record as
dblp key:
Raymond Reiter :
Foundations for Knowledge-Based Systems (Invited Paper).
663-668
export record as
dblp key:
Algebraic Specifications
export record as
dblp key:
export record as
dblp key:
Andrzej Tarlecki :
Programming in the Large with Algebraic Module Specifications - Response.
685-688
CAD
export record as
dblp key:
Hiroyuki Yoshikawa :
Theoretical Approaches in Computer Aided Design (CAD) (Invited Paper).
1127-1132
export record as
dblp key:
José L. Encarnação :
Theoretical Approaches in Computer Aided Design (CAD) - Response.
1133-1134
Policy Issues
export record as
dblp key:
B. K. Eres ,
B. Raz :
Capacity Development for Informatics and its Socioeconomic Implications.
689-694
export record as
dblp key:
S. A. Vadja :
National High-Tech Policy: The US Dilemma.
695-702
export record as
dblp key:
S. Cooney :
Small is Necessary: The Role of Information Technology in Development Communication.
1135-1142
Software Costs
export record as
dblp key:
Barry W. Boehm :
Understanding and Controlling Software Costs (Invited Paper).
703-714
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paul J. Kühn :
Performance Evaluation in Perspective (Panel).
1143-1146
export record as
dblp key:
Panel
export record as
dblp key:
Gerhard Goos :
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
1145-1146
export record as
dblp key:
René Jacquart :
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
725-726
export record as
dblp key:
Robert P. Worden :
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
1147-1148
Fault Tolerance
export record as
dblp key:
Fred B. Schneider :
Abstractions for Fault Tolerance in Distributed Systems (Invited Paper).
727-734
export record as
dblp key:
Anders P. Ravn :
Abstractions for Fault Tolerance in Distributed Systems - Response.
735-738
Information Systems
export record as
dblp key:
C. C. Gotlieb :
Information Systems in the Small (Invited Paper).
739-744
export record as
dblp key:
Production Management Systems
export record as
dblp key:
export record as
dblp key:
ANDREW
export record as
dblp key:
Applications in Developing Countries
export record as
dblp key:
Panel
export record as
dblp key:
Olivier Roubine :
Specification Languages versus Programming Languages (Panel).
1157-1158
export record as
dblp key:
Koichi Furukawa :
Specification Languages versus Programming Languages (Panel).
775-776
export record as
dblp key:
Martin Wirsing :
Specification Languages versus Programming Languages (Panel).
777-778
Computer Architecture
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Languages & Architectures
export record as
dblp key:
export record as
dblp key:
Péter Kacsuk :
Some Approaches to Parallel Implementaions of Prolog.
803-809
export record as
dblp key:
CIM
export record as
dblp key:
Detlef Kochan :
Trends Towards Computer-Integrated Manufacturing (CIM) (Invited Paper).
817-822
export record as
dblp key:
J. P. Crestin :
Trends Towards Computer-Integrated Manufacturing (CIM) - Response.
1159-1162
Net Theory
export record as
dblp key:
export record as
dblp key:
Software Engineering
export record as
dblp key:
William N. Joy :
The Workstation Approach for Software Engineering (Invited Paper).
1163-1168
export record as
dblp key:
Najah Naffah :
The Workstation Approach for Software Engineering - Response.
1169-1172
Panel
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
A. L. Davis :
Methodologies for Computer Engineering (Panel).
1173-1174
export record as
dblp key:
E. McQuade :
Methodologies for Computer Engineering (Panel).
1175-1176
export record as
dblp key:
export record as
dblp key:
D. Morris :
Methodologies for Computer Engineering (Panel).
1177-1182
Reactive Systems
export record as
dblp key:
Amir Pnueli :
Specification and Development of Reactive Systems (Invited Paper).
845-858
export record as
dblp key:
Joseph Sifakis :
Specification and Development of Reactive Systems - Response.
1183-1188
Open System Environment
export record as
dblp key:
Zebo Peng :
Construction of Asynchronous Concurrent Systems from their Behavioral Specifications.
859-864
export record as
dblp key:
Alwyn Langsford :
Open Systems Management - The Implications for Distributed Processing Architecture.
865-868
export record as
dblp key:
Engineering Data
export record as
dblp key:
Robert Demolombe :
STREL: An Extended Relational Model for Structured Objects.
877-882
export record as
dblp key:
Paul Bourret :
Temporary Storage of Derived Relations for Efficient Use of DBMS in Computer Integrated Manufacturing Systems.
883-888
export record as
dblp key:
Software Tools
export record as
dblp key:
export record as
dblp key:
Takeshi Chusho ,
Hirohide Haga :
A Multilingual Modular Programming System for Describing Knowledge Information Processing Systems.
903-908
export record as
dblp key:
CIM
export record as
dblp key:
Panel
export record as
dblp key:
export record as
dblp key:
Dirk Heger :
Which LAN in the Factory (Panel).
1189-1190
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
Takao Uehara :
Computer Aided Design and Artificial Intelligence (Panel).
927-928
export record as
dblp key:
B. Lynch :
Computer Aided Design and Artificial Intelligence (Panel).
1191-1192
export record as
dblp key:
export record as
dblp key:
Guy Mazaré :
Computer Aided Design and Artificial Intelligence (Panel).
931-932
Database Computers
export record as
dblp key:
David K. Hsiao :
Super Database Computers: Hardward and Software Solutions for Efficient Processing of Very Large Databases (Invited Paper).
933-944
export record as
dblp key:
Multi-Micro Processor Systems
export record as
dblp key:
export record as
dblp key:
Innovative Applications
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Luo Yunmo :
Theory and Practice of the Computerised Traditional Chineses Medicin.
969-974
Algorithms and Machines
export record as
dblp key:
conf/ifip/MikhalevichKL86 export record as
dblp key:
Alain Bossavit :
Recurrences in Vector Mode: Recursive (Cyclic) Reduction and recursive Doubling.
981-988
export record as
dblp key:
Specification Languages
export record as
dblp key:
Joseph A. Goguen :
One, None, A Hundred Thousand Specification Languages (Invited Paper).
995-1004
export record as
dblp key:
Giorgio Levi :
One, None, A Hundred Thousand Specification Languages - Response.
1005-1008
Applications and Case Studies
export record as
dblp key:
Danilo de Souza Dias :
Information Systems Requirements Definition: Key Factors and Situation in Brazilian Companies.
1009-1014
export record as
dblp key:
B. M. Donner :
The "Real World" of Disaster Recovery and Planning (Computer Systems Security).
1015-1020
Data Communications
export record as
dblp key:
Jacob Palme :
Cost-Benefit Analysis of Computer-Mediated Message Systems.
1021-1023
export record as
dblp key:
export record as
dblp key:
Józef Wozniak :
Performance of Unslotted ALOHA with Capture.
1029-1034
CIM
export record as
dblp key:
Gideon Halevi :
CIM - The Future Technology (Invited Paper).
1035-1042
export record as
dblp key:
Impact of Algorithms on New Computer Architecture
export record as
dblp key:
export record as
dblp key:
Jozef Miklosko :
Impact of Algorithms on New Computer Architecture - Response.
1197-1200
Extended Query-Oriented Architectures
export record as
dblp key:
export record as
dblp key:
Yahiko Kambayashi :
An Overview of a Natural Language-Assisted Database User Interface: ENLI.
1055-1060
export record as
dblp key:
Software Engineering
export record as
dblp key:
Frederick P. Brooks Jr. :
No Silver Bullet - Essence and Accidents of Software Engineering (Invited Paper).
1069-1076
export record as
dblp key:
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 .
data released under the ODC-BY 1.0 license
