SEKE C

46 papers

YearTitle / Authors
1990A Framework For Building Knowledge-Intensive Data Models.
Lil Mohan, Rangasami L. Kashyap
1990A High-Level Petri Net for a Subset of FGHC.
John Jeffrey, Tadao Murata
1990A Metalanguage for Representation and Control in Assumption-based Problem Solvers.
Pierre Savéant, Philippe Codognet
1990A Model for Testing Knowledge Bases.
Laurence Vignollet, Marc Ayel
1990A State Space Model for Currency Exchange Rate Prediction.
J. Clark
1990Aesthetics Rules in The Diagrams of Linked Data Structures.
Prabhaker Mateti, Chen Ding
1990An Automatic Programming Method of Nonprocedural / Procedural Program Specification.
Mok-Dong Chung, Yung-Taek Kim
1990An Introduction To The Recognition of Iterative Structures by a CASE Tool.
Ann Q. Gates, Daniel E. Cooke
1990Applying DSS Techniques in Software Cost Estimation.
Shu-Cheen Kuo, Gu-Ping Shen, Su-Nu Huang, Yen-Sung Lee
1990Automatic Rule Base Inspection for Data-Access Oriented Knowledge-based Systems.
Fang-Yie Leu, Chien-Chiao Yang
1990CKRL: A Connectionist Knowledge Representation Language.
Jue Wang, Yiping Yang, Juwei Tai
1990CRL: Common Representation Language.
Enrico Maim
1990Cleanroom Software Engineering: Theory and Practice.
Michael D. Deck, Philip A. Hausler
1990Conceptual Structores ot Object-Oriented Programming for Application Development.
K. Y. Cheng, M. S. Hwu
1990Design of Knowiedge-Based Integrity Systems with ISL++.
James F. Peters, Sheela Ramanna, Elizabeth A. Unger
1990Design of a Lattice-Based Faceted Classification System.
David Eichmann, John Atkins
1990Development and Programming of Deductive Databases with PROTOS-L.
Stefan Böttcher
1990Engineering An Expert System For Creativity Management.
Vipa Ongwisesphaiboon, Ilene Burnstein, Martha W. Evens, Anjali Puri, Martin E. Ginn
1990Evaluation of Characteristics of Design Quality Metrics.
Giuseppe Como, Filippo Lanubile, Giuseppe Visaggio
1990Expert System Application in Software Quality Evaluation.
Nikolay S. Bukovsky
1990Graphics Application Development Under Window Environment.
Tam Siu Sun, Chan Yiu Keung
1990HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer.
Huan Chao Keh, Ted G. Lewis
1990Integrated Process Description and Execution in Manufacturing Environments.
Phillip C.-Y. Sheu, Ragu Venugopal, Shirley S. Huang
1990Integrating Database Technology and iogic Programming Paradigm.
Selmin Nurcan, Jacques Kouloumdjian, Lei Li
1990Integrating Software Engineering and Knowledge Engineering to Design Interactive Systems.
W. David Hurley
1990Intelligent Forward Execution in Logic Programs.
Sudharsan R. Iyengar
1990KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base.
Yasusi Sinohara
1990Knowledge-Based Programming for Call Processing Program in Telecommunication Switching System.
John C. C. Hsueh, D. T. Lee
1990Knowledge-Based Software Engineering: A Different Approach.
Bruce I. Blum
1990Learning to Recognize Reusable Software by Induction.
Juan Carlos Esteva, Robert G. Reynolds
1990Modeling Software Objects Using Hypergraph.
Ying Yang, Frances Hunt
1990Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines.
Vladimir D. Mazurov
1990Path: An Approach to Incorporate List Processing in A Relational Database.
W. S. Luk, Weining Zhang, Jiawei Han
1990Plan Integration in Knowledge-Based Software Environments.
Vasudevan Venugopal
1990Program Development by Stepwise 'Enhancement'.
Arun Lakhotia, Leon Sterling
1990Query-Independent Compilation of Linear Recursions.
Abdallah Al-Sukairi, Lawrence J. Henschen
1990Rapid Prototyping: A Practitioner's Viewpoint in Software Development.
Chuck Smyrniotis
1990SEKE'90, Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 21-23, 1990
1990Software Engineering Issues in Knowledge Engineering.
Xiaofeng Li
1990The Prototyping Language SF and its Implementation.
Alfs T. Berztiss, C. T. Liu
1990The Role of Traditional Engineering Design Techniques in Software Engineering.
Michael P. Stovsky, Bruce W. Weide
1990Theoretical Aspects of the Universal Programming Language Genotype.
John C. Baird, Sabastian K. Shaumyan
1990Toward Verification and Validation of Software Requirements.
G. M. Shi, Isao Miyamoto
1990Towards a Unified Framework for Testing Expert Systems.
Wei-Tek Tsai, Imran A. Zualkernan
1990Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based System.
Krista Rizman, Ivan Rozman
1990What Software Engineering Can Learn From Practitioners.
Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai