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)
Randomization in Distributed & Parallel Computing
Real Time Programming:
Special Purpose or General Purpose Languages
Languages with Concurrency
Expert Systems:
Professional Tools for Data Communication? (Panel)
- Dipak Khakhar:
Expert Systems: Professional Tools for Data Communication? (Panel).
39-40 BibTeX
- Peter Politakis:
A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel).
41 BibTeX
Industrial Tools
Effective Industrial Application of Formal Methods
Report on Information Technology Projects in the People's Republic of China
Specification
Better Tools - Less Education?
Hardware and Software Dependability Evaluation
Hardware and Software Dependability Evaluation (Panel)
"Perfect" Pseudo-Random Number Generation
Programming Human Computer Interaction
Distributed Systems
Communication Support for Distributed Systems
Knowledge Representation Systems:
Implementation,
Experiences,
Directions (Panel)
Industrial Strength Software Development Environments
Software Engineering Directions,
Approaches and Issues
- Peter Freeman:
Strategic Directions in Software Engineering: Past, Present, and Future.
205-210 BibTeX
- Herb Krasner:
Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process.
211-216 BibTeX
- John C. Knight, Paul Ammann:
Issues Influencing the Use of N-Version Programming.
217-222 BibTeX
Supercomputing in the 1990's
Future Trends in Supercomputing:
Access and Evaluation (Panel)
Zero-Defect Designs,
Why and How:
Formal Verification vs. Automated Synthesis
Representational Issues in Modeling User Tasks,
Knowledge,
and Interfaces
Computers and Continuing Education (Panel)
How Specialists Perceive the Social Impact of Computers (Panel)
Information System Design and Work in Organisation Design (Panel)
- Klaus Fuchs-Kittowski, Margrit Falck:
Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional Approach.
269-270 BibTeX
- Ulrich Briefs:
Information System Design and Design of Work and Organization (Position Paper).
271 BibTeX
- Kari Thoresen:
Integrating Systems Development and Use.
272 BibTeX
- Ina Wagner:
Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning.
273-274 BibTeX
Algorithms and Complexity of Computation
Parallel and Distributed Algorithms
How to Use OSI - Practical Experience and Limitations (Panel)
Logical Foundations of Deductive Databases
Implementation Issues for Knowledge Bases
Validation of Hardware and Software:
Similarities and Differences (Panel)
Software Engineering Environments
Future Computing Media:
Japan's Efforts
Silicon Compilers:
How Well Have They Done,
and Where Are They Headed? (Panel)
- Randal E. Bryant:
Silicon Compilers: How Well Have They Done, and Where Are They Headed?
379 BibTeX
- Hugo De Man:
Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms.
380 BibTeX
Can Office Technology Support Office Dialogues?
Can Current Office Models Support Automation?
Advanced Design for Automated Manufacture
Computer Eduction for All
Developing Competence in a Developing Environment
Data Structure Design and Analysis
Randomized Parallel Algorithms
Experiences and Trends
From ISDN to IBCN
Knowledge Bases and Databases (Panel)
Software Fault Tolerance
Can Software Faults Be Tolerated? (Panel)
The Effectiveness of Neural Computing
Modeling and Performance Evaluation
Design Automation in Industry I:
Experience Across the World (Panel)
Design Automation in Industry II:
Challenges Across the World (Panel)
User Interface Technologies
Impact of Computer Technologies on Education
Educational Tools for Informatics
Fractals:
A New Challenge to Model Reality
Designing Concurrency Semantics
Semantics and Concurrency
Europe/USSR/Japan on Computing Systems Architectures
Backbone Networks
Network Interconnection and Gateways
Principles of Knowledge Representation
Applications of Knowledge Based Systems
Software Factories Around the World (Panel)
Software Engineering Databases
The Graphics Supercomputer
The Evolution of VHDL
Computer Supported Cooperative Work (Panel)
The Future Office Automation
Computer Integrated Manufacturing
Flexible Integrated Automation Systems (Panel)
Personal Computers on Campuses:
The Experience (Panel)
Proofs as Advanced and Powerful Tool
Why Isn't There an Object-Oriented Data Model?
Extending Database Technology
Information Management
Specification of Distributed Systems
SEI on the Software Technology Transtion
Europe/USSR/USA on Down & Upstream SE Environments
Supercomputers for Scientific Computing
Design Methods and Tools for Application Specific Integrated Circuits
Zen and the Art of Analog Design Automation (Panel)
Intelligent User Interfaces:
Boon or Bane (Panel)
Production Planning and Scheduling in CIM
Artificial Intelligence and Advanced Robotics (Panel)
Introduction of Informatics at University
Foundations of Software Engineering - The Silver Bullet (Panel)
- Manfred Broy:
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering.
953 BibTeX
- David Gries:
Position Statement on the Foundations of Software Engineering.
954 BibTeX
- Cliff B. Jones:
Position Statement for the Panel on Foundations of Software Engineering.
955 BibTeX
- Harlan D. Mills:
Position Statement - Foundations of Software Engineering.
956 BibTeX
Parallelism in Logic Programming
Europe/Japan on Logic Programming & Knowledge Base Systems
SPC on Production-Oriented Software Engineering
Supercomputing in Airplane Design
General-Purpose Multiprocessors
Advances in VLSI-Testing
ESPRIT on Office Systems & Computer Integrated Manufacturing
Object-Oriented Development for Open Systems
Erpert Systems & Factory Automation
Artificial Intelligence and Production Management
Problems in Specific Education Areas
Tools for Progress of Society
Formal Structures in an Informal World
Specification and Verification Techniques
Semantics of Programming Languages
- Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, Joachim Schimpf:
SEPIA - An Extendible Prolog System.
1127-1132 BibTeX
- Wei Li:
A Type-Theoretic Approach to Program Development.
1133-1138 BibTeX
- Carsten K. Gomard, Neil D. Jones:
Compiler Generation by Partial Evaluation: A Case Study.
1139-1144 BibTeX
Experiences with Expert Systems
Paradigm-Oriented Supercomputers
- William J. Dally, Andrew A. Chien, Stuart Fiske, Waldemar Horwat, John S. Keen, Michael Larivee, Richard A. Lethin, Peter R. Nuth, D. Scott Wills:
The J-Machine: A Fine-Gain Concurrent Computer.
1147-1153 BibTeX
- Yoshinori Yamaguchi, Shuichi Sakai, Kei Hiraki, Yuetsu Kodama:
An Architectural Disgn of a Highly Parallel Dataflow Machine.
1155-1160 BibTeX
- Lu Xu, Hanpei Koike, Hidehiko Tanaka:
Distributed Garbage Collection for the Parallel Inference Machine PIE64.
1161-1166 BibTeX
The Quest for the Future
Copyright © Sat May 16 23:22:33 2009
by Michael Ley (ley@uni-trier.de)