11. IFIP Congress 1989:
Gerhard Ritter (Ed.):
Information Processing 89,
Proceedings of the IFIP 11th World Computer Congress,
August 28 - September 1,
Frontiers in Computing (Panel)
Randomization in Distributed & Parallel Computing
Real Time Programming:
Special Purpose or General Purpose Languages
Languages with Concurrency
Professional Tools for Data Communication? (Panel)
- Dipak Khakhar:
Expert Systems: Professional Tools for Data Communication? (Panel).
- Peter Politakis:
A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel).
Effective Industrial Application of Formal Methods
Report on Information Technology Projects in the People's Republic of China
Better Tools - Less Education?
Hardware and Software Dependability Evaluation
Hardware and Software Dependability Evaluation (Panel)
"Perfect" Pseudo-Random Number Generation
Programming Human Computer Interaction
Communication Support for Distributed Systems
Knowledge Representation Systems:
Industrial Strength Software Development Environments
Software Engineering Directions,
Approaches and Issues
- Peter Freeman:
Strategic Directions in Software Engineering: Past, Present, and Future.
- Herb Krasner:
Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process.
- John C. Knight, Paul Ammann:
Issues Influencing the Use of N-Version Programming.
Supercomputing in the 1990's
Future Trends in Supercomputing:
Access and Evaluation (Panel)
Why and How:
Formal Verification vs. Automated Synthesis
Representational Issues in Modeling User Tasks,
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.
- Ulrich Briefs:
Information System Design and Design of Work and Organization (Position Paper).
- Kari Thoresen:
Integrating Systems Development and Use.
- Ina Wagner:
Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning.
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:
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?
- Hugo De Man:
Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms.
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
A New Challenge to Model Reality
Designing Concurrency Semantics
Semantics and Concurrency
Europe/USSR/Japan on Computing Systems Architectures
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
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.
- David Gries:
Position Statement on the Foundations of Software Engineering.
- Cliff B. Jones:
Position Statement for the Panel on Foundations of Software Engineering.
- Harlan D. Mills:
Position Statement - Foundations of Software Engineering.
Parallelism in Logic Programming
Europe/Japan on Logic Programming & Knowledge Base Systems
SPC on Production-Oriented Software Engineering
Supercomputing in Airplane Design
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.
- Wei Li:
A Type-Theoretic Approach to Program Development.
- Carsten K. Gomard, Neil D. Jones:
Compiler Generation by Partial Evaluation: A Case Study.
Experiences with Expert Systems
- 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.
- Yoshinori Yamaguchi, Shuichi Sakai, Kei Hiraki, Yuetsu Kodama:
An Architectural Disgn of a Highly Parallel Dataflow Machine.
- Lu Xu, Hanpei Koike, Hidehiko Tanaka:
Distributed Garbage Collection for the Parallel Inference Machine PIE64.
The Quest for the Future
Copyright © Sat May 16 23:22:33 2009
by Michael Ley (firstname.lastname@example.org)