


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














