Abstract is missing.
- Knowledge-Based Software Engineering: A Different ApproachBruce I. Blum. 1-6
- Integrating Software Engineering and Knowledge Engineering to Design Interactive SystemsW. David Hurley. 7-11
- Software Engineering Issues in Knowledge EngineeringXiaofeng Li. 12-18
- Learning to Recognize Reusable Software by InductionJuan Carlos Esteva, Robert G. Reynolds. 19-24
- Integrated Process Description and Execution in Manufacturing EnvironmentsPhillip C.-Y. Sheu, Ragu Venugopal, Shirley S. Huang. 25-32
- A Framework For Building Knowledge-Intensive Data ModelsLil Mohan, Rangasami L. Kashyap. 33-38
- Modeling Software Objects Using HypergraphYing Yang, Frances Hunt. 39-44
- Conceptual Structores ot Object-Oriented Programming for Application DevelopmentK. Y. Cheng, M. S. Hwu. 45-50
- The Prototyping Language SF and its ImplementationAlfs T. Berztiss, C. T. Liu. 51-57
- Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based SystemKrista Rizman, Ivan Rozman. 58-63
- Rapid Prototyping: A Practitioner s Viewpoint in Software DevelopmentChuck Smyrniotis. 64-69
- Cleanroom Software Engineering: Theory and PracticeMichael D. Deck, Philip A. Hausler. 71-77
- Program Development by Stepwise Enhancement Arun Lakhotia, Leon Sterling. 78-83
- The Role of Traditional Engineering Design Techniques in Software EngineeringMichael P. Stovsky, Bruce W. Weide. 84-89
- Design of a Lattice-Based Faceted Classification SystemDavid Eichmann, John Atkins. 90-97
- Plan Integration in Knowledge-Based Software EnvironmentsVasudevan Venugopal. 98-103
- A Model for Testing Knowledge BasesLaurence Vignollet, Marc Ayel. 104-109
- Knowledge-Based Programming for Call Processing Program in Telecommunication Switching SystemJohn C. C. Hsueh, D. T. Lee. 110-115
- Automatic Rule Base Inspection for Data-Access Oriented Knowledge-based SystemsFang-Yie Leu, Chien-Chiao Yang. 116-121
- KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge BaseYasusi Sinohara. 122-126
- Towards a Unified Framework for Testing Expert SystemsWei-Tek Tsai, Imran A. Zualkernan. 127-134
- Theoretical Aspects of the Universal Programming Language GenotypeJohn C. Baird, Sabastian K. Shaumyan. 135-140
- Engineering An Expert System For Creativity ManagementVipa Ongwisesphaiboon, Ilene Burnstein, Martha W. Evens, Anjali Puri, Martin E. Ginn. 141-146
- Integrating Database Technology and iogic Programming ParadigmSelmin Nurcan, Jacques Kouloumdjian, Lei Li. 147-152
- Intelligent Forward Execution in Logic ProgramsSudharsan R. Iyengar. 153-158
- A Metalanguage for Representation and Control in Assumption-based Problem SolversPierre Savéant, Philippe Codognet. 159-164
- Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron MachinesVladimir D. Mazurov. 165
- CKRL: A Connectionist Knowledge Representation LanguageJue Wang, Yiping Yang, Juwei Tai. 166-170
- Development and Programming of Deductive Databases with PROTOS-LStefan Böttcher. 171-176
- Query-Independent Compilation of Linear RecursionsAbdallah Al-Sukairi, Lawrence J. Henschen. 177-182
- Design of Knowiedge-Based Integrity Systems with ISL++James F. Peters, Sheela Ramanna, E. A. Unger. 183-188
- Path: An Approach to Incorporate List Processing in A Relational DatabaseW. S. Luk, Weining Zhang, Jiawei Han. 189-194
- Evaluation of Characteristics of Design Quality MetricsG. Como, Filippo Lanubile, Giuseppe Visaggio. 195-201
- An Introduction To The Recognition of Iterative Structures by a CASE ToolAnn Q. Gates, Daniel E. Cooke. 202-208
- CRL: Common Representation LanguageEnrico Maim. 209-215
- What Software Engineering Can Learn From PractitionersDmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai. 216-221
- An Automatic Programming Method of Nonprocedural / Procedural Program SpecificationMok-Dong Chung, Yung Taek Kim. 222-227
- Applying DSS Techniques in Software Cost EstimationShu-Cheen Kuo, Gu-Ping Shen, Su-Nu Huang, Yen-Sung Lee. 228-233
- Graphics Application Development Under Window EnvironmentTam Siu Sun, Chan Yiu Keung. 234-238
- Aesthetics Rules in The Diagrams of Linked Data StructuresPrabhaker Mateti, Chen Ding. 239-244
- HelpDez: Colored-Petri-Net-Based Hypermedia Help System DesignerHuan-Chao Keh, T. G. Lewis. 245-250
- Toward Verification and Validation of Software RequirementsG. M. Shi, I. Miyamoto. 251-259
- A High-Level Petri Net for a Subset of FGHCJohn Jeffrey, Tadao Murata. 260-266
- A State Space Model for Currency Exchange Rate PredictionJ. Clark. 267-271
- Expert System Application in Software Quality EvaluationNikolay S. Bukovsky. 272