SEKE C

81 papers

YearTitle / Authors
1992A Blackboard Model to Design Integrated Intelligent Software Maintenance Environment.
Giovanna Avellis, L. Borzacchini
1992A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE's).
V. V. Sotiropoulou, Theodore S. Papatheodorou
1992A Constraint Satisfaction System on the Entity and Relationship Model.
Masakazu Sato, Masaaki Hashimoto
1992A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application.
Anna Hac, Raghavendra Rao Loka
1992A Graph Proof Procedure for Real Time Logic.
Jung-Hong Kao, Lawrence J. Henschen
1992A Hierarchical Blackboard Architecture for Distributed AI Systems.
Michael Weiss, Franz Stetter
1992A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench.
Zeger Karssen, Catherine Toussaint
1992A Knowledge Base Management System on Relation Model and Term Rewriting.
Jinpeng Huai
1992A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs.
Lawrence Miller, Alex Quilici
1992A Knowledge-Based Method for Engineering Navigational Capability into User Interface Software.
Michael St. Jacques, Delano Stevens, J. Getchius, L. Lau
1992A Petri Net Semantics for Logic Programs with Negation.
Teruhiro Shimura, Jorge Lobo, Tadao Murata
1992A Process Model for Software Process Management.
Atsuo Hazeyama, Seiichi Komiya
1992A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models.
Hai Huang, Kazuo Sugihara, Isao Miyamoto
1992A Simulation-Based SDL Support System.
Xiaofeng Li, O. Shigo
1992A Software Engineering Approach to the Design of a Medical Expert System.
Richard Stamper, Bryan S. Todd, P. M. MacPherson
1992A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems.
Giorgio Bruno, Gianpaolo Macario, Alvise Grammatica
1992A Support Envimnment for Knowledge-Based Software Design.
Mehdi T. Harandi, Hing-Yan Lee
1992An Integrated System for Query Formulation and Database Design.
Ralph D. Semmel
1992An Introduction to BagL.
Daniel E. Cooke, Aida Gutierrez
1992An Iterative-Cyclic Software Process Model.
Matthias Rauterberg
1992An Object-Oriented Analysis Model of an Iconic Interface to Macsyma.
Andrew M. Olson
1992An Open System Protocol for Agent-Oriented Programming.
Wen-Ran Zhang, Wenhua Wang, Angela Guercio
1992An Optomized Concurrency Control Algorithm for Transaction Brocessing.
Shiwei Wang, Ugo O. Gagliardi
1992Applying Metrics to Rule-Based Systems.
P. Doyle, R. Verbruggen
1992Automatic Configuration Management in a General Object-Based Environment.
Lars Bendix
1992Automatic Layout of Diagrams for Software Specification.
Kazuo Sugihara, Kazunari Yamamoto, Isao Miyamoto
1992CASE Approach in Telecom Software Development.
C. Caporaso, G. De Rosa, G. Fortunato, F. A. Marra, A. Pierri
1992Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach.
Jonghoon Chun, Lawrence J. Henschen
1992Correctness of Full First-Order Specifications.
Wolfgang Reif
1992Decomposition of Data Flow Diagrams.
Timothy Arndt, Angela Guercio
1992Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications.
Frederick Hayes-Roth, Lee D. Erman, Allan Terry, Barbara Hayes-Roth
1992Expert-Supported Object-Oriented Analysis in Knowledge Engineering.
Harald Schaschinger
1992Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system.
Robert G. Reynolds, Jonathan I. Maletic, Elena Zannoni
1992Formal Program Developments Directed by Operational Properties Evaluation.
Yamine Aït Ameur
1992Formal Specification of a Rule-Based Expert System.
Bryan S. Todd, Richard Stamper
1992Incremental, High Level Implementation of Prolog in an Open System Framework.
Vincenzo Loia, Giuseppe Cattaneo, Michel Quaggetto
1992Integrated Specification of Method and Graphic Knowledge.
Arthur H. M. ter Hofstede, T. F. Verhoef, E. R. Nieuwland, G. M. Wijers
1992Knowledge Acquisition and Validation for Implicit Expertise.
Gwo-Jen Hwang
1992Knowledge Engineering for Protein Structure and Motifs: Design of a Prototype System.
Shankar Subramaniam, David K. Tcheng, K. Hu, Harish Ragavan, Larry A. Rendell
1992Knowledge-Based Transfonnational Programming.
Junbo Liu, Owen Traynor, Bernd Krieg-Brückner
1992Layout Algorithms for DFD Processors.
K. P. Ta, T. C. Tan
1992Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.
Shengru Tu, Wei Sun
1992MERA: Meta Language for Software Engineering.
Koji Takeda, David N. Chin, Isao Miyamoto
1992Maintainability via Structure Models and Software Metrics.
Filippo Lanubile, Giuseppe Visaggio
1992Mapping of Conceptual Specifications into Object-Oriented Programs.
Naoufel Kraïem, Joël Brunet
1992Modularity for Logical Knowledge Bases.
Grigoris Antoniou
1992Multiparadigm Blackboard Framework.
Sanja Vranes, Mladen Stanojevic
1992Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment.
K. Kim, Lawrence J. Henschen
1992Object-Oriented Programming Testing Methodology.
Chi-Ming Chung, Ming-Chi Lee
1992Operational Construction of Integrity Constraints.
Alfs T. Berztiss
1992Opportunistic Production Planning Through Interactive Problem Solving.
Emilio Bertolotti
1992Parallelism Profiling of an Ops5 Production System Interpreter.
Andrea Sohn, Jean-Luc Gaudiot, Michel Guyot
1992ProTest: A Knowledge Analysis Tool for the Development of Expert Systems.
Ian Watson, Margaret Norman
1992Program Refinement Using Generic Object.
Yasuomi Sato, Yasuhiko Morimoto, Tadao Ichikawa
1992Prototyping an Inconsistency Checking Tool for Software Process Models.
Jin-Kao Hao, François Trousset, Jean-Jacques Chabrier
1992Prototyping in the GEDBLOG System.
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
1992Quality Control Within an Expert System Prototype Development.
Pasquale Flauto, Salvatore Musella
1992Quality-Driven Validation: A Link Between Four Research Traditions.
Ilkka Tervonen
1992Querying and Analysis of Software Specifications.
Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini
1992Recognizing Objects from Constraints.
Enrico Maim
1992Reusing Software with ESTRO (Evolving Software Repository).
B. Macchini
1992SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy
1992SESAM - Simulating Software Projects.
Jochen Ludewig, Thomas Bassler, Marcus Deininger, Kurt Schneider, Jürgen Schwille
1992Software Process Modeling and Evolution in EPOS.
Letizia Jaccheri, Jens-Otto Larsen, Reidar Conradi
1992Software Processes Representation Languages: Survey and Assessment.
Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti
1992Supporting Inheritance in Relational Database Systems.
Wei Sun, Sha Guo, Farah Arafi, Shengru Tu
1992Supporting Multiple Domains in a Single Reuse Repository.
David Eichmann
1992System Design as Derivation via Rewriting.
Francesco Parisi-Presicce, Alfonso Pierantonio
1992TEDIUM's Window into Design.
Bruce I. Blum
1992The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance.
Ian Watson, Peter Brandon, Andrew Basden
1992The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE).
Johann Wagner
1992The Reuse of Software Design and Software Architecture.
H. Li, Jan van Katwijk, A. M. Levy
1992The SEAR Tool Suite: CASE for Expert System Development in OPSS.
Patricia A. Lynch, Thomas A. Cooper
1992The Software Development Workbench WSDW.
Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci
1992Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance.
Fabio N. Akhras, S. S. S. Melnikoff
1992Towards Integrating Logic, Object, Frame, and Production.
Tak-Wai Chan, Wei-Ren Hwang
1992Towards Reuse Reengineering of Old Software.
Aniello Cimitile
1992Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges.
Francisco Alcaraz, Marlon Núñez, Alberto Hernández, José L. Blazquez
1992Uncertain Temporal Knowledge Management.
Ziqiang Chen
1992Unifying Multi-Paradigms in Software System Design.
Yi Deng, Shi-Kuo Chang
1992Using Version Spaces to Support Incremental Searches in a Software Library.
Yu Chung Wong