default search action
2nd SEKE 1990: Skokie, USA
- SEKE'90, Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 21-23, 1990. Knowledge Systems Institute 1990
Methodology I
- Bruce I. Blum:
Knowledge-Based Software Engineering: A Different Approach. SEKE 1990: 1-6 - W. David Hurley:
Integrating Software Engineering and Knowledge Engineering to Design Interactive Systems. SEKE 1990: 7-11 - Xiaofeng Li:
Software Engineering Issues in Knowledge Engineering. SEKE 1990: 12-18 - Juan Carlos Esteva, Robert G. Reynolds:
Learning to Recognize Reusable Software by Induction. SEKE 1990: 19-24
Object-oriented Systems
- Phillip C.-Y. Sheu, Ragu Venugopal, Shirley S. Huang:
Integrated Process Description and Execution in Manufacturing Environments. SEKE 1990: 25-32 - Lil Mohan, Rangasami L. Kashyap:
A Framework For Building Knowledge-Intensive Data Models. SEKE 1990: 33-38 - Ying Yang, Frances Hunt:
Modeling Software Objects Using Hypergraph. SEKE 1990: 39-44 - K. Y. Cheng, M. S. Hwu:
Conceptual Structores ot Object-Oriented Programming for Application Development. SEKE 1990: 45-50
Rapid Prototyping
- Alfs T. Berztiss, C. T. Liu:
The Prototyping Language SF and its Implementation. SEKE 1990: 51-57 - Krista Rizman, Ivan Rozman:
Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based System. SEKE 1990: 58-63 - Chuck Smyrniotis:
Rapid Prototyping: A Practitioner's Viewpoint in Software Development. SEKE 1990: 64-69
Panel on Software Engineering and Al Research
Panelists: Jeffrey M. Harris, Helmut Korp, Susan McGill, Karen Petersen
Methodology II
- Michael D. Deck, Philip A. Hausler:
Cleanroom Software Engineering: Theory and Practice. SEKE 1990: 71-77 - Arun Lakhotia, Leon Sterling:
Program Development by Stepwise 'Enhancement'. SEKE 1990: 78-83 - Michael P. Stovsky, Bruce W. Weide:
The Role of Traditional Engineering Design Techniques in Software Engineering. SEKE 1990: 84-89 - David Eichmann, John Atkins:
Design of a Lattice-Based Faceted Classification System. SEKE 1990: 90-97
Knowledge-based Systems
- Vasudevan Venugopal:
Plan Integration in Knowledge-Based Software Environments. SEKE 1990: 98-103 - Laurence Vignollet, Marc Ayel:
A Model for Testing Knowledge Bases. SEKE 1990: 104-109 - John C. C. Hsueh, D. T. Lee:
Knowledge-Based Programming for Call Processing Program in Telecommunication Switching System. SEKE 1990: 110-115 - Fang-Yie Leu, Chien-Chiao Yang:
Automatic Rule Base Inspection for Data-Access Oriented Knowledge-based Systems. SEKE 1990: 116-121
Software Engineering of Expert Systems
- Yasusi Sinohara:
KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base. SEKE 1990: 122-126 - Wei-Tek Tsai, Imran A. Zualkernan:
Towards a Unified Framework for Testing Expert Systems. SEKE 1990: 127-134 - John C. Baird, Sabastian K. Shaumyan:
Theoretical Aspects of the Universal Programming Language Genotype. SEKE 1990: 135-140 - Vipa Ongwisesphaiboon, Ilene Burnstein, Martha W. Evens, Anjali Puri, Martin E. Ginn:
Engineering An Expert System For Creativity Management. SEKE 1990: 141-146 - Nikolay S. Bukovsky:
Expert System Application in Software Quality Evaluation. SEKE 1990: 272-
Logic Programming and Knowledge Representation
- Selmin Nurcan, Jacques Kouloumdjian, Lei Li:
Integrating Database Technology and iogic Programming Paradigm. SEKE 1990: 147-152 - Sudharsan R. Iyengar:
Intelligent Forward Execution in Logic Programs. SEKE 1990: 153-158 - Pierre Savéant, Philippe Codognet:
A Metalanguage for Representation and Control in Assumption-based Problem Solvers. SEKE 1990: 159-164 - Vladimir D. Mazurov:
Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines. SEKE 1990: 165 - Jue Wang, Yiping Yang, Juwei Tai:
CKRL: A Connectionist Knowledge Representation Language. SEKE 1990: 166-170
Database Systems
- Stefan Böttcher:
Development and Programming of Deductive Databases with PROTOS-L. SEKE 1990: 171-176 - Abdallah Al-Sukairi, Lawrence J. Henschen:
Query-Independent Compilation of Linear Recursions. SEKE 1990: 177-182 - James F. Peters, Sheela Ramanna, Elizabeth A. Unger:
Design of Knowiedge-Based Integrity Systems with ISL++. SEKE 1990: 183-188 - W. S. Luk, Weining Zhang, Jiawei Han:
Path: An Approach to Incorporate List Processing in A Relational Database. SEKE 1990: 189-194
Software Design
- Giuseppe Como, Filippo Lanubile, Giuseppe Visaggio:
Evaluation of Characteristics of Design Quality Metrics. SEKE 1990: 195-201 - Ann Q. Gates, Daniel E. Cooke:
An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE 1990: 202-208 - Enrico Maim:
CRL: Common Representation Language. SEKE 1990: 209-215 - Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai:
What Software Engineering Can Learn From Practitioners. SEKE 1990: 216-221 - Mok-Dong Chung, Yung-Taek Kim:
An Automatic Programming Method of Nonprocedural / Procedural Program Specification. SEKE 1990: 222-227 - Shu-Cheen Kuo, Gu-Ping Shen, Su-Nu Huang, Yen-Sung Lee:
Applying DSS Techniques in Software Cost Estimation. SEKE 1990: 228-233
Graphics and Graph Models
- Tam Siu Sun, Chan Yiu Keung:
Graphics Application Development Under Window Environment. SEKE 1990: 234-238 - Prabhaker Mateti, Chen Ding:
Aesthetics Rules in The Diagrams of Linked Data Structures. SEKE 1990: 239-244 - Huan Chao Keh, Ted G. Lewis:
HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer. SEKE 1990: 245-250 - G. M. Shi, Isao Miyamoto:
Toward Verification and Validation of Software Requirements. SEKE 1990: 251-259 - John Jeffrey, Tadao Murata:
A High-Level Petri Net for a Subset of FGHC. SEKE 1990: 260-266 - J. Clark:
A State Space Model for Currency Exchange Rate Prediction. SEKE 1990: 267-271
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.