Information processing 86: proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | Undetermined |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1986
|
| Schriftenreihe: | International Federation for Information Processing: IFIP congress series.
10. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXXVII, 1215 S. graph. Darst. |
| ISBN: | 0444700773 |
Internformat
MARC
| LEADER | 00000nam a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV002128850 | ||
| 003 | DE-604 | ||
| 005 | 20000530 | ||
| 007 | t| | ||
| 008 | 890928s1986 xx d||| |||| 10||| und d | ||
| 020 | |a 0444700773 |9 0-444-70077-3 | ||
| 035 | |a (OCoLC)246917725 | ||
| 035 | |a (DE-599)BVBBV002128850 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | |a und | ||
| 049 | |a DE-91 |a DE-91G |a DE-739 |a DE-210 |a DE-11 |a DE-706 |a DE-384 | ||
| 084 | |a DAT 001f |2 stub | ||
| 245 | 1 | 0 | |a Information processing 86 |b proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 |c ed. by H.-J. Kugler |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1986 | |
| 300 | |a XXXVII, 1215 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a International Federation for Information Processing: IFIP congress series. |v 10. | |
| 650 | 0 | 7 | |a Informationsverarbeitung |0 (DE-588)4161678-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1986 |z Dublin |2 gnd-content | |
| 689 | 0 | 0 | |a Informationsverarbeitung |0 (DE-588)4161678-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Kugler, H.-J. |e Sonstige |4 oth | |
| 711 | 2 | |a World Computer Congress |n 10 |d 1986 |c Dublin |j Sonstige |0 (DE-588)801934-4 |4 oth | |
| 830 | 0 | |a International Federation for Information Processing: IFIP congress series. |v 10. |w (DE-604)BV001901067 |9 10. | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001395987&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001395987 | |
Datensatz im Suchindex
| _version_ | 1820868046099578880 |
|---|---|
| adam_text |
INFORMATION PROCESSING 86
Department of Computer Science
Trinity College
Dublin, Ireland
PROGRAMME COMMITTEE
D Bj0rner (Chairman)
D C Tzichritzis (Past Chairman), H -J Kugler (Editor),
J G Byrne (Organising Committee Liaison), V Kotov, U Montanari, B Dömölki,
H Hünke, R Mori, H Gallaire, A Furtado, A Danthine, J Vlietstra,
A I Wasserman, R Narasimhan
Proceedings of the IFIP 10th World Computer Congress
Dublin, Ireland
September 1-5,1986
BJ BLIOTrjEK
lnv::r iC-N~ :
Edited by
H -J KUGLER
1986
NORTH-HOLLAND
AMSTERDAM • NEW YORK • OXFORD • TOKYO
I
vii
I
CONTENTS
IFIP President’s Introduction v
Editor’s Foreword xvii
Programme Committee Chairman’s Foreword xix
Organising Committee Chairman’s Foreword xxi
Congress ’86 Organising Committee xxii
Congress ’86 Sponsors xxiii
Editor’s Notes xxiv
Opening Speech xxv
Keynote Speech xxix
PRAGMATIC ASPECTS OF COMPLEXITY THEORY (Panel)
J Gruska (Chairman) 1
J Hartmanis 3
J van Leeuwen 5
L G Valiant 7
PABX AND LANS (Panel)
L Pouzin (Chairman) 9
D A Twyver 11
0 Spaniol 13
GUIDELINES FOR DATA ADMINISTRATION (Invited Paper)
J B Grimson (Speaker) 15
A S^lvberg (Responder) 23
SOFTWARE TECHNOLOGIES AND PARADIGMS
Making Exceptions Simplify the Rule (and Justify their Handling)
D R Cheriton 27
Operational Specification of Process Control Systems: Execution of PROT Nets using 0PS5
G Bruno, A Elia 35
Proving Theorems by Construction of Valid Formulae
M Franova 41
EDUCATION AND TRAINING
Micropower: The Use of Computers in Pre-College Education
R M Aiken 47
Office Technology and User Satisfaction: An Improvement Programme
H Kaiser \ 53
Strategies for Manpower Development in Informatics in Developing Countries: Experience of the UN University
1 Wesley-Tanaskovic 57
DATA FLOW: ACHIEVEMENTS AND PROSPECTS (Invited Paper)
J Gurd (Speaker), C Kirkham 61
H Horikoshi (Responder), Y Inagami 69
viii
Contents
CAN DEVELOPING COUNTRIES COMPETE IN INFORMATION TECHNOLOGY? (Panel)
A C Lagman (Chairman) 73
F S Erber 75f
P P Gupta 77
B Raz 1081
ADVANCED MICROELECTRONICS AS A FOUNDATION FOR FUTURE COMPUTERS (Panel)
R Van Overstraeten (Chairman) 1083
K Asada 79
P B Denyer 81
SPECIFICATION METHODS
Data Abstraction in the Specification of Information Systems
A T Berztiss 83
A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling
A Olive 91
Data Bases and the Lambda-Calculus
J ZlatuSka 97
AI AND PROGRAMMING LANGUAGES (Invited Paper)
L Steels (Speaker) 105
A Yonezawa(Responder) Ill
SOFTWARE TECHNIQUES AND PARADIGMS
Designing a Persistent Information Space Architecture
M P Atkinson, R Morrison, G D Pratten 115
Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars
A Bicego, M Jacobone, M Maiocchi, U Poggi 121
Software Physics and Paradigms
J Krai 129
ROLE OF ABSTRACTION IN PROGRAM DEVELOPMENT (Invited Paper)
TSE Maibaum (Speaker) 135
F Orejas (Responder) 143
ELECTRONIC MESSAGE HANDLING FOR THE ’90s (Invited Paper)
J Pitteloud (Speaker) 147
R P Uhlig (Responder) 159
WOMEN, WORK AND COMPUTERISATION (Panel)
A P Kachru (Chairman) 163
I Josefson 165
Y Okada 167
C Zoltan de Torres 169
AUTOMATION IN SOFTWARE DEVELOPMENT (Panel)
S Crespi Reghizzi (Chairman) 171
M -C Gaudel 173
Wm A Wulf 175
ISDN AND X25 (Invited Paper)
E Raubold (Speaker) Ill
S Tomita (Responder) 185 t
P Schicker (Panelist) 1085
PROGRAM DEVELOPMENT AS A SOCIAL ACTIVITY (Invited Paper)
K Nygaard (Speaker) 189
t Paper not presented at congress
Contents ix
CAD TO SUPPORT CIM APPLICATIONS (Invited Paper)
C Kuo (Speaker) 1087
S P Mudur (Responder) 199
REQUIREMENTS COLLECTION AND ANALYSIS IN INFORMATION SYSTEMS DESIGN (Invited Paper)
S Ceri (Speaker) 205
E Mumford (Responder) 215f
THE FUTURE OF LOGIC PROGRAMMING (Invited Paper)
J A Robinson (Speaker) 219
E H Tyugu (Responder) 225
CONTROVERSIAL ISSUES IN CIM (CAD, CAM, CAE) (Panel)
J Vlietstra (Chairman) 1095
A Rolstadäs 1097
T J Williams 1099
H Yoshikawa 1101
UNIX™ AND ITS STANDARDISATION (Panel)
H Lycklama (Chairman) 229
G Lepicard 233
D Kevorkian 1103
EXPERT DESIGN TOOLS
Designing Database Applications in Logic Programming
M A Casanova, CMO Moura 235
An Expert System Approach to Information System Design
C Rolland, C Proix 241
SECSI: An Expert System Approach for Database Design
M Bouzeghoub, E Metais 251
THE TRANSPUTER AND OCCAM™ (Invited Paper)
I M Barron (Speaker) 259
INFORMATICS IN A DEVELOPING WORLD (Invited Paper)
D McL Lamberton (Speaker) 267
Wee Tew Lim (Responder) 1105
META INTERPRETERS FOR REAL (Invited Paper)
S Safra, E Shapiro (Speaker) 271
A Takeuchi (Responder) 279
LIVING IN THE NEXT GENERATION OPERATING SYSTEM (Invited Paper)
R Balzer (Speaker) 283
V Stenning (Responder) 1107
SOFTWARE MANAGEMENT
Deadline Pressure: How to Cope with Short Deadlines, Low Budgets and Insufficient Staffing Levels
T Gilb 293
Programming Language Standards: Not Language Definitions, but Specifications for Software Engineering Tools
B L Meek 301
Developing Project Management Skills through Computer Simulation
M Yamamoto, T Kuriyama 307
ENVIRONMENTS FOR THE DEVELOPMENT OF SPECIFICATIONS (Panel)
E Sandewall (Chairman) 313
B Lang 315
J Mylopoulos 317
X
Contents
STANDARDISATION OF FORMAL DESCRIPTION TECHNIQUES FOR COMMUNICATION PROTOCOLS
(Invited Paper)
C A Vissers (Speaker) 321
R Saracco (Responder) 329
COMPUTER UNDERSTANDING AND CREATIVITY (Invited Paper)
R Schank (Speaker), D B Leake 335
W Wahlster (Responder) 343
TOWARDS APPLICATIVE PROGRAMMING
Semantic Programming
S S Goncharov, Yr L Ershov, D I Sviridenko 1113
Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models
T Ito, T Tamura, S Wada 349
An Efficient Type System for Prolog
Ye Gang, Xie Zhiliang 355 f
VLSI ARCHITECTURE
Voxel-Based Architecture for Three-Dimensional Graphics
A Kaufman 361
A User-Adaptable VLSI Engine for Artificial Intelligence
S Kawasaki, T Nojiri, K Sakoda 367
VLSI Architectures for Back Substitution
Kam Hei Cheng, S Sahni 373
PROGRAMMER AS READER (Invited Paper)
A Goldberg (Speaker) 379
The Time Dimension in the Entity-Relationship Model
P P -S Chen 387 f
LOGIC AND COMPUTATION (Panel)
R Parikh (Chairman) 391
E Engeler 393
I Nemeti 395
S Takasu 397
EXPERIENCE WITH THE RELATIONAL DATABASE MODEL (Panel)
A F Cardenas (Chairman) 399
I G Macdonald 401
A Pirotte 403
S A Schuster 405
REASONING
Approximate Reasoning in a Rule-Based Expert System using Possibility Theory: A Case Study
H Farreny, H Prade, E Wyss 407
Partial Evaluation of Prolog Programs and its Application to Meta Programming
A Takeuchi, K Furukawa 415
A New Many-Valued Logic and its Application to Approximate Reasoning
S Di Zenzo 421
NATIONWIDE TEACHING THROUGH A NETWORK OF MICROCOMPUTERS (Invited Paper)
H A Maurer (Speaker) 429
CIM IN PRACTICE
Application of Solid CAD for Mold Design
Y Tanaka, E Hashimoto, T Ueda, K Itoh 433
Cost-Estimation in the Design Process within a CIM-Systems Environment
A -W Scheer 441
Artificial Intelligence and Simulation of Manufacturing Systems
J Harhen, M Ketcham, J Browne 447
Contents
xi
I? '?
►
DEALING WITH PARALLELISM AND REAL TIME
Transformations of Parallel Programs in Crystal
M C Chen 455
FDL: A Language for Designing Large Real Time Systems
I Jacobson 463
Programming Real-Time with Events and Data Flow
T Gautier, P Le Guernic, A Benveniste, P Boumai 469
CHUNKING AND PHRASING AND THE DESIGN OF HUMAN-COMPUTER DIALOGUES (Invited Paper)
W Buxton (Speaker) 475
D Novatchev (Responder) 481
EDUCATION AND TRAINING FOR INFORMATION SYSTEMS (Panel)
0, Barros (Chairman) 485
E Altmann 1121
R A Hirschheim 487
E J Neuhold, C Stary 489
ELECTRONIC MAIL AND THE PAPER SOCIETY (Panel)
1 M Cunningham (Chairman) 491
V Cerf 1123
J Palme 493
S Ramani 495
TECHNICAL DOCUMENT STORAGE AND RETRIEVAL (Invited Paper)
P A Penny (Speaker) 497
T Maruyama (Responder) 503
PROCESS CONSTRUCTORS AND INTERPRETATIONS (Invited Paper)
R Milner (Speaker) 507
W -P de Roever (Responder) 515
NON-LATIN AND NON-ALPHABETIC SCRIPTS (Panel)
P A MacKay (Chairman) 519
S S El-Dabi 521
N Izaki 523 f
RMK Sinha 525
VDM FROM RESEARCH TO PRACTICE (Invited Paper)
O N Oest (Speaker) 527
P Wegner (Responder) 535
MAKING EXPERT SYSTEMS EXPLICIT (Invited Paper)
J McDermott (Speaker) 539
R P van de Riet (Responder) 545
i
REASONING TECHNIQUES (Panel)
L Carlucci Aiello (Chairman) 549
D A Pospelov 1125
S E Savory 551
OSI AND UNIX™ (Panel)
S C Forge 553f
H Zimmermann 555
SUPERCOMPUTING IN JAPAN (Invited Paper)
K Miura (Speaker) 557
jHT Kung (Responder) 565
xii
Contents
SPECIFICATIONS AT DIFFERENT LEVELS OF ABSTRACTION
A Syntax-Directed Approach to the Semantics of Concurrent Languages
E Astesiano, G Reggio 571
Applying Event Based Analysis to Specification and Designs
J C Wileden 577
PPML: A General Formalism to Specify PrettyPrinting
E Morcos-Chounet, A Conchon 583
INFORMATION POLICY ISSUES IN DEVELOPING COUNTRIES (Invited Paper)
F C Kohli (Speaker) 591
N N Harfouch (Responder) 599
ADVANCED SOFTWARE TECHNOLOGY - DEVELOPMENT AND INTRODUCTION TO PRACTICE
(Invited Paper)
M M Lehman (Speaker) 605
T Denvir (Responder) 613
INFORMATION SYSTEM DESIGN: TECHNIQUES AND SOFTWARE SUPPORT (Invited Paper)
P C Lockemann (Speaker), H C Mayr 617
E Knuth (Responder), J Demetrovics, A Hernädi 635
FUTURE INFORMATION SYSTEMS (Panel)
A Sernadas (Chairman) 641
CHP Brookes 643
L Cholvy 645
L Kerschberg 647
COMPUTER SCIENCE
VLSI Algorithms for Combinatorial Problems
H N Djidjev 649
Congruent Representation of Standard Denotational Semantics
V Royer 655
The Conversion of Sequential Programs to Data Flow Ones
J Kwiatkowski 661
FOUNDATIONS FOR KNOWLEDGE-BASED SYSTEMS (Invited Paper)
R Reiter (Speaker) 663
J W Schmidt (Responder) 669
PROGRAMMING IN THE LARGE WITH ALGEBRAIC MODULE SPECIFICATIONS (Invited Paper)
H Ehrig (Speaker), H Weber 675
A Tarlecki (Responder) 685
THEORETICAL APPROACHES IN COMPUTER AIDED DESIGN (CAD) (Invited Paper)
H Yoshikawa (Speaker) 1127
J Encarna^ao (Responder) , 1133
POLICY ISSUES
Capacity Development for Informatics and its Socioeconomic Implications
B K Eres, B Raz 689
National High-Tech Policy : The U S Dilemma
S A Vadja 695
Small is Necessary: The Role of Information Technology in Development Communication
S Cooney 1135
UNDERSTANDING AND CONTROLLING SOFTWARE COSTS (Invited Paper)
B W Boehm (Speaker) 703
V Spiridonov (Responder) 715
Contents xiii
PERFORMANCE EVALUATION IN PERSPECTIVE (Panel)
H Kobayd amp;hi (Chairman) 719
D Ferrari 721
PJ Kuehn 1143
K C Sevcik 723
SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING: WHICH NEEDS THE OTHER MORE?
(Panel)
G Goos 1145
R Jacquart 725
R Worden 1147
ABSTRACTIONS FOR FAULT TOLERANCE IN DISTRIBUTED SYSTEMS (Invited Paper)
F B Schneider (Speaker) 727
A P Ravn (Responder) 735
INFORMATION SYSTEMS IN THE SMALL (Invited Paper)
C C Gotlieb (Speaker) 739
G Bracchi (Responder) 745
PRODUCTION MANAGEMENT SYSTEMS (Invited Paper)
A Rolstadas f Speaker J 749
G Doumeingts (Responder) 1149
ANDREW: CARNEGIE MELLON’S COMPUTING SYSTEM (Invited Paper)
J H Morris (Speaker), J Leong, D Nichols, M J West, M Satyanarayanan 757
INNOVATIVE INFORMATICS APPLICATIONS IN DEVELOPING COUNTRIES (Invited Paper)
H R Norman (Speaker), G Garriott 769
SPECIFICATION LANGUAGES VERSUS PROGRAMMING LANGUAGES (Partei)
O Roubine (Chairman) 1157
K Furukawa 775
M Wirsing 777
COMPUTER ARCHITECTURE
Architectural Evaluation and Improvement of a Universal Host Computer MUNAP
K Yamazaki, T Baba, K Okuda, H Kanai 779
Mechanical Vectorization of Multiply Nested DO Loops by Vector Indirect Addressing
T Tsuda, Y Kunieda 785
On Periodic Scheduling of Time-Critical Tasks
J S Deogun, M C Kong 791
LANGUAGES amp; ARCHITECTURES
LR02: Artificial Intelligence and Object Oriented Languages
C Roche, J P Laurent 797
Some Approaches to Parallel Implementation of Prolog
P Kacsuk 803
SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics
J -L Lauriere, M Vialatte 811
TRENDS TOWARDS COMPUTER-INTEGRATED MANUFACTURING (CIM) (Invited Paper)
D Kochan (Speaker) 8171
J P Crestin (Responder) 1159
xiv
Contents
NET THEORY AND APPLICATION (Invited Paper)
H J Genrich (Speaker) 823
R De Nicola (Responder) 833
THE WORKSTATION APPROACH FOR SOFTWARE ENGINEERING (Invited Paper)
W N Joy (Speaker) 1163
N Naffah (Responder) 1169
THE OLD WORLD, THE NEW WORLD AND THE LAND OF THE RISING SUN (Plenary Session)
•J -M Cadiou **
D Brandin **
H Aiso **
MACHINE LEARNING (Panel)
D Lenat (Chairman) 837
Y Kodratoff 839
S Ohlsson 841
METHODOLOGIES FOR COMPUTER ENGINEERING (Panel)
D Aspinall (Chairman) 1171
A L Davis 11731
E McQuade 1175
P Bakowski 843
D Morris 1177
SPECIFICATION AND DEVELOPMENT OF REACTIVE SYSTEMS (Invited Paper)
A Pnueli (Speaker) 845
J Sifakis (Responder) 1183
OPEN SYSTEM ENVIRONMENT
Construction of Asynchronous Concurrent Systems from their Behavioral Specifications
Zebo Peng 859
Open Systems Management - The Implications for Distributed Processing Architecture
A Langsford 865
Lotos in Practice
G Scollo, C A Vissers, A Di Stefano 869
ENGINEERING DATA
STREL: An Extended Relational Model for Structured Objects
R Demolombe 877
Temporary Storage of Derived Relations for Efficient Use of Relational DBMS in
Computer Integrated Manufacturing Systems
P Bourret 883*
On Extending the Realm of Application of Relational Systems
R A Lorie, J -J P Daudenarde 889
SOFTWARE TOOLS
Surveying Software Tools for a Method Driven Environment
K Ryan, J A Redmond, D O’Neill, B Mathews, A Hunot, M Lemoine, M Dausmann, K Wachsmuth 895
A Multilingual Modular Programming System for Describing Knowledge Information Processing Systems
T Chusho, H Haga 903
KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation
M Barioglio, G Capelia, I Lupo, L Petrone 909
* See also Erratum
**
For this panel no position papers are included in the proceedings
Contents
xv
ITHE “I” IN CUM (Invited Paper)
M A Melkanoff (Speaker)
915
WHICH LAN IN THE FACTORY? (Panel)
G Le Lann (Chairman) 921
D Heger 1189f
J F Meyer 923
M Tokoro 925
COMPUTER AIDED DESIGN AND ARTIFICIAL INTELLIGENCE (Panel)
T Uehara (Chairman) 927
B Lynch 1191
K Horninger 929
G Mazare 931
SUPER DATABASE COMPUTERS: HARDWARE AND SOFTWARE SOLUTIONS FOR EFFICIENT
PROCESSING OF VERY LARGE DATABASES (Invited Paper)
D K Hsiao (Speaker) 933
G Gardarin (Responder) 945
MULTI-MICRO PROCESSOR SYSTEMS (Invited Paper)
A V Kalyaev (Speaker) 949
D P Agrawal (Responder), J R Burke 955
INNOVATIVE APPLICATIONS
Multimedia Information Processing Based on a General Media Model
M Ohta, M Maekawa, T Arano, K Kawachiya, Y Noguchi 957
Smart-Cards for Network Services
E Piller 963
Theory and Practice of the Computerised Traditional Chinese Medicine
Luo Yunmo 969
ALGORITHMS AND MACHINES
On Models of Macroconveyor Computations
V S Mikhalevich, Ju V Kapitonova, A A Letichevsky 975
Recurrences in Vector Mode: Recursive (Cyclic) Reduction and Recursive Doubling
A Bossavit 981
On Hardware Algorithms for Geometrical Computation Problems
A Albrecht 989
ONE, NONE, A HUNDRED THOUSAND SPECIFICATION LANGUAGES (Invited Paper)
J A Goguen (Speaker) 995
G Levi (Responder) 1005
APPLICATIONS AND CASE STUDIES
Information Systems Requirements Definition: Key Factors and Situation in Brazilian Companies
D de Souza Dias 1009
The “Real World” of Disaster Recovery and Planning (Computer Systems Security)
B M Donner 1015
DATA COMMUNICATIONS
Cost-Benefit Analysis of Computer-Mediated Message Systems
J Palme 1021
ANNETTE: A Cheap, High Performance Local Network for Microcomputers
P O’Callaghan, G Broner 1025
Performance of Unslotted ALOHA with Capture
J Wozniak 1029
xvi
Contents
CIM - THE FUTURE TECHNOLOGY (Invited Paper)
G Halevi (Speaker) 1035
M Tomljanovich (Responder) 1193
IMPACT OF ALGORITHMS ON NEW COMPUTER ARCHITECTURE (Invited Paper)
V V Voyevodin (Speaker) 1043
J Miklosko (Responder) 1197
EXTENDED QUERY-ORIENTED ARCHITECTURES
A Unified Architecture for the Integration of Data Base Management and Information Retrieval Systems
V V Raghavan, L V Saxton, SKM Wong, S S Ting 1049
An Overview of a Natural Language-Assisted Database User Interface: ENLI
Y Kambayashi 1055
Some Steps towards a DBMS based KBMS
J Bocca, H Decker, J -M Nicolas, L Vieille, M Wallace 1061
NO SILVER BULLET - ESSENCE AND ACCIDENTS OF SOFTWARE ENGINEERING (Invited Paper)
F P Brooks (Speaker) 1069
W M Turski (Responder) 1077
Referees 1201
Country Abbreviations 1204
The International Federation for Information Processing 1205
Author Index 1205 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV002128850 |
| classification_rvk | SS 1986 |
| classification_tum | DAT 001f |
| ctrlnum | (OCoLC)246917725 (DE-599)BVBBV002128850 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000001cb4500</leader><controlfield tag="001">BV002128850</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000530</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1986 xx d||| |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444700773</subfield><subfield code="9">0-444-70077-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246917725</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002128850</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Information processing 86</subfield><subfield code="b">proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986</subfield><subfield code="c">ed. by H.-J. Kugler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXXVII, 1215 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">International Federation for Information Processing: IFIP congress series.</subfield><subfield code="v">10.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationsverarbeitung</subfield><subfield code="0">(DE-588)4161678-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1986</subfield><subfield code="z">Dublin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informationsverarbeitung</subfield><subfield code="0">(DE-588)4161678-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kugler, H.-J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">World Computer Congress</subfield><subfield code="n">10</subfield><subfield code="d">1986</subfield><subfield code="c">Dublin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)801934-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">International Federation for Information Processing: IFIP congress series.</subfield><subfield code="v">10.</subfield><subfield code="w">(DE-604)BV001901067</subfield><subfield code="9">10.</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001395987&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001395987</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1986 Dublin gnd-content |
| genre_facet | Konferenzschrift 1986 Dublin |
| id | DE-604.BV002128850 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:18:09Z |
| institution | BVB |
| institution_GND | (DE-588)801934-4 |
| isbn | 0444700773 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001395987 |
| oclc_num | 246917725 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-210 DE-11 DE-706 DE-384 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-210 DE-11 DE-706 DE-384 |
| physical | XXXVII, 1215 S. graph. Darst. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | North-Holland |
| record_format | marc |
| series | International Federation for Information Processing: IFIP congress series. |
| series2 | International Federation for Information Processing: IFIP congress series. |
| spelling | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 ed. by H.-J. Kugler Amsterdam u.a. North-Holland 1986 XXXVII, 1215 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International Federation for Information Processing: IFIP congress series. 10. Informationsverarbeitung (DE-588)4161678-9 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1986 Dublin gnd-content Informationsverarbeitung (DE-588)4161678-9 s DE-604 Informatik (DE-588)4026894-9 s Datenverarbeitung (DE-588)4011152-0 s Kugler, H.-J. Sonstige oth World Computer Congress 10 1986 Dublin Sonstige (DE-588)801934-4 oth International Federation for Information Processing: IFIP congress series. 10. (DE-604)BV001901067 10. HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001395987&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 International Federation for Information Processing: IFIP congress series. Informationsverarbeitung (DE-588)4161678-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4161678-9 (DE-588)4011152-0 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 |
| title_auth | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 |
| title_exact_search | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 |
| title_full | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 ed. by H.-J. Kugler |
| title_fullStr | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 ed. by H.-J. Kugler |
| title_full_unstemmed | Information processing 86 proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 ed. by H.-J. Kugler |
| title_short | Information processing 86 |
| title_sort | information processing 86 proceedings of the ifip 10 world computer congress dublin ireland sept 1 5 1986 |
| title_sub | proceedings of the IFIP 10. World Computer Congress, Dublin, Ireland, Sept. 1 - 5, 1986 |
| topic | Informationsverarbeitung (DE-588)4161678-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informationsverarbeitung Datenverarbeitung Informatik Konferenzschrift 1986 Dublin |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001395987&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001901067 |
| work_keys_str_mv | AT kuglerhj informationprocessing86proceedingsoftheifip10worldcomputercongressdublinirelandsept151986 AT worldcomputercongressdublin informationprocessing86proceedingsoftheifip10worldcomputercongressdublinirelandsept151986 |