4. SEKE 1992: Capri, Italy
SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy.
Knowledge Systems Institute 1992 BibTeX
Methodologies
Knowledge Engineering for SoAware Engineering
Knowledge Representation Systems
Software Engineering for Knowledge Engineering
Reuse and Reverse Engineering
Tools for SEKE
- Lars Bendix:
Automatic Configuration Management in a General Object-Based Environment.
186-193
Electronic Edition (link) BibTeX
- Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Prototyping in the GEDBLOG System.
194-199
Electronic Edition (link) BibTeX
- Bruce I. Blum:
TEDIUM's Window into Design.
200-205
Electronic Edition (link) BibTeX
- I. Watson, M. Norman:
ProTest: A Knowledge Analysis Tool for the Development of Expert Systems.
206-212
Electronic Edition (link) BibTeX
- Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci:
The Software Development Workbench WSDW.
213-221
Electronic Edition (link) BibTeX
- Shengru Tu, Wei Sun:
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.
222-226
Electronic Edition (link) BibTeX
- Jin-Kao Hao, F. Trousset, Jean Jacques:
Prototyping an Inconsistency Checking Tool for Software Process Models.
227-234
Electronic Edition (link) BibTeX
- Frederick Hayes-Roth, Lee D. Erman, A. Terry, Barbara Hayes-Roth:
Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications.
235-244
Electronic Edition (link) BibTeX
- K. Sugihara, K. Yamamoto, I. Miyamoto:
Automatic Layout of Diagrams for Software Specification.
245-252
Electronic Edition (link) BibTeX
- Andrew M. Olson:
An Object-Oriented Analysis Model of an Iconic Interface to Macsyma.
253-260
Electronic Edition (link) BibTeX
- V. V. Sotiropoulou, Theodore S. Papatheodorou:
A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE's).
261-268
Electronic Edition (link) BibTeX
- Anna Hac, Raghavendra Rao Loka:
A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application.
269-275
Electronic Edition (link) BibTeX
Specification
Expert Systems
- Giovanna Avellis, L. Borzacchini:
A Blackboard Model to Design Integrated Intelligent Software Maintenance Environment.
325-332
Electronic Edition (link) BibTeX
- Bryan S. Todd, Richard Stamper:
Formal Specification of a Rule-Based Expert System.
333-340
Electronic Edition (link) BibTeX
- Richard Stamper, Bryan S. Todd, P. M. MacPherson:
A Software Engineering Approach to the Design of a Medical Expert System.
341-348
Electronic Edition (link) BibTeX
- Michael Weiss, Franz Stetter:
A Hierarchical Blackboard Architecture for Distributed AI Systems.
349-355
Electronic Edition (link) BibTeX
- I. Watson, P. Brandon, Andrew Basden:
The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance.
356-363
Electronic Edition (link) BibTeX
- Francisco Alcaraz, Marlon Núñez, Alberto Hernández, José L. Blazquez:
Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges.
364-369
Electronic Edition (link) BibTeX
Object-Oriented Methodologies
Applications
- Vincenzo Loia, Giuseppe Cattaneo, Michel Quaggetto:
Incremental, High Level Implementation of Prolog in an Open System Framework.
394-403
Electronic Edition (link) BibTeX
- Emilio Bertolotti:
Opportunistic Production Planning Through Interactive Problem Solving.
404-411
Electronic Edition (link) BibTeX
- Yu Chung Wong:
Using Version Spaces to Support Incremental Searches in a Software Library.
412-419
Electronic Edition (link) BibTeX
- Shankar Subramaniam, David K. Tcheng, K. Hu, Harish Ragavan, Larry A. Rendell:
Knowledge Engineering for Protein Structure and Motifs: Design of a Prototype System.
420-435
Electronic Edition (link) BibTeX
- P. Flauto, S. Musella:
Quality Control Within an Expert System Prototype Development.
435-442
Electronic Edition (link) BibTeX
- C. Caporaso, G. De Rosa, G. Fortunato, F. A. Marra, A. Pierri:
CASE Approach in Telecom Software Development.
443-454
Electronic Edition (link) BibTeX
Languages For SEKE
- Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
Software Processes Representation Languages: Survey and Assessment.
455-462
Electronic Edition (link) BibTeX
- Tak-Wai Chan, Wei-Ren Hwang:
Towards Integrating Logic, Object, Frame, and Production.
463-469
Electronic Edition (link) BibTeX
- Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini:
Querying and Analysis of Software Specifications.
470-478
Electronic Edition (link) BibTeX
- Denise E. Cooke, A. Gutierrez:
An Introduction to BagL.
479-486
Electronic Edition (link) BibTeX
- Alfs T. Berztiss:
Operational Construction of Integrity Constraints.
487-494
Electronic Edition (link) BibTeX
- K. Takeda, David N. Chin, I. Miyamoto:
MERA: Meta Language for Software Engineering.
495-502
Electronic Edition (link) BibTeX
- M. Sato, M. Hashimoto:
A Constraint Satisfaction System on the Entity and Relationship Model.
503-510
Electronic Edition (link) BibTeX
- Wei Sun, Sha Guo, Farah Arafi, Shengru Tu:
Supporting Inheritance in Relational Database Systems.
511-518
Electronic Edition (link) BibTeX
- Giorgio Bruno, Gianpaolo Macario, Alvise Grammatica:
A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems.
519-533
Electronic Edition (link) BibTeX
- Andrea Sohn, Jean-Luc Gaudiot, Michel Guyot:
Parallelism Profiling of an Ops5 Production System Interpreter.
534-543
Electronic Edition (link) BibTeX
- Naoufel Kraïem, Joël Brunet:
Mapping of Conceptual Specifications into Object-Oriented Programs.
624-639
Electronic Edition (link) BibTeX
CASE
Software Process Management
- Maria Letizia Jaccheri, Jens-Otto Larsen, Reidar Conradi:
Software Process Modeling and Evolution in EPOS.
574-581
Electronic Edition (link) BibTeX
- Atsuo Hazeyama, Seiichi Komiya:
A Process Model for Software Process Management.
582-589
Electronic Edition (link) BibTeX
- Filippo Lanubile, Giuseppe Visaggio:
Maintainability via Structure Models and Software Metrics.
590-599
Electronic Edition (link) BibTeX
- Matthias Rauterberg:
An Iterative-Cyclic Software Process Model.
600-607
Electronic Edition (link) BibTeX
- Jochen Ludewig, Thomas Bassler, Marcus Deininger, Kurt Schneider, Jürgen Schwille:
SESAM - Simulating Software Projects.
608-615
Electronic Edition (link) BibTeX
- Wen-Ran Zhang, Wenhua Wang Wang, Angela Guercio:
An Open System Protocol for Agent-Oriented Programming.
616-623
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:37:25 2009
by Michael Ley (ley@uni-trier.de)
