4. SEKE 1992: Capri, Italy

Methodologies

• Yamine Aït Ameur:
  Formal Program Developments Directed by Operational Properties Evaluation. 1-8
  
• Shiwei Wang, Ugo O. Gagliardi:
  An Optomized Concurrency Control Algorithm for Transaction Brocessing. 9-16
  
• Junbo Liu, Owen Traynor, Bernd Krieg-Brückner:
  Knowledge-Based Transfonnational Programming. 632-639
  
• Yasuomi Sato, Yasuhiko Morimoto, Tadao Ichikawa:
  Program Refinement Using Generic Object. 18-25
  

Knowledge Engineering for SoAware Engineering

• Michael St. Jacques, Delano Stevens, J. Getchius, L. Lau:
  A Knowledge-Based Method for Engineering Navigational Capability into User Interface Software. 26-31
  
• Gwo-Jen Hwang:
  Knowledge Acquisition and Validation for Implicit Expertise. 32-39
  
• Ralph D. Semmel:
  An Integrated System for Query Formulation and Database Design. 40-46
  
• Enrico Maim:
  Recognizing Objects from Constraints. 47-54
  
• Zeger Karssen, Catherine Toussaint:
  A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench. 55-62
  
• K. Kim, Lawrence J. Henschen:
  Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. 63-70
  
• Mehdi T. Harandi, Hing-Yan Lee:
  A Support Envimnment for Knowledge-Based Software Design. 71-79
  
• Fabio N. Akhras, S. S. S. Melnikoff:
  Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance. 79-86
  

Knowledge Representation Systems

• Grigoris Antoniou:
  Modularity for Logical Knowledge Bases. 87-93
  
• Ziqiang Chen:
  Uncertain Temporal Knowledge Management. 94-100
  
• Sanja Vranes, Mladen Stanojevic: Multiparadigm Blackboard Framework. 101
• Jinpeng Huai:
  A Knowledge Base Management System on Relation Model and Term Rewriting. 102-108
  

Software Engineering for Knowledge Engineering

• Jonghoon Chun, Lawrence J. Henschen:
  Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. 109-115
  
• Harald Schaschinger:
  Expert-Supported Object-Oriented Analysis in Knowledge Engineering. 116-122
  
• P. Doyle, R. Verbruggen:
  Applying Metrics to Rule-Based Systems. 123-130
  
• Robert G. Reynolds, Jonathan I. Maletic, Elena Zannoni:
  Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system. 131-139
  

Reuse and Reverse Engineering

• Aniello Cimitile:
  Towards Reuse Reengineering of Old Software. 140-149
  
• B. Macchini:
  Reusing Software with ESTRO (Evolving Software Repository). 150-157
  
• Lawrence Miller, Alex Quilici:
  A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs. 158-163
  
• David Eichmann:
  Supporting Multiple Domains in a Single Reuse Repository. 164-169
  
• H. Li, Jan van Katwijk, A. M. Levy:
  The Reuse of Software Design and Software Architecture. 170-177
  
• Hai Huang, Kazuo Sugihara, Isao Miyamoto:
  A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models. 178-185
  

Tools for SEKE

• Lars Bendix:
  Automatic Configuration Management in a General Object-Based Environment. 186-193
  
• Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
  Prototyping in the GEDBLOG System. 194-199
  
• Bruce I. Blum:
  TEDIUM's Window into Design. 200-205
  
• I. Watson, M. Norman:
  ProTest: A Knowledge Analysis Tool for the Development of Expert Systems. 206-212
  
• Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci:
  The Software Development Workbench WSDW. 213-221
  
• Shengru Tu, Wei Sun:
  Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach. 222-226
  
• Jin-Kao Hao, F. Trousset, Jean Jacques:
  Prototyping an Inconsistency Checking Tool for Software Process Models. 227-234
  
• 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
  
• K. Sugihara, K. Yamamoto, I. Miyamoto:
  Automatic Layout of Diagrams for Software Specification. 245-252
  
• Andrew M. Olson:
  An Object-Oriented Analysis Model of an Iconic Interface to Macsyma. 253-260
  
• 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
  
• Anna Hac, Raghavendra Rao Loka:
  A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application. 269-275
  

Specification

• Wolfgang Reif:
  Correctness of Full First-Order Specifications. 276-283
  
• Xiaofeng Li, O. Shigo:
  A Simulation-Based SDL Support System. 284-291
  
• Teruhiro Shimura, Jorge Lobo, Tadao Murata:
  A Petri Net Semantics for Logic Programs with Negation. 292-299
  
• Jung-Hong Kao, Lawrence J. Henschen:
  A Graph Proof Procedure for Real Time Logic. 300-306
  
• Arthur H. M. ter Hofstede, T. F. Verhoef, E. R. Nieuwland, G. M. Wijers:
  Integrated Specification of Method and Graphic Knowledge. 307-316
  
• Francesco Parisi-Presicce, Alfonso Pierantonio:
  System Design as Derivation via Rewriting. 317-324
  

Expert Systems

• Giovanna Avellis, L. Borzacchini:
  A Blackboard Model to Design Integrated Intelligent Software Maintenance Environment. 325-332
  
• Bryan S. Todd, Richard Stamper:
  Formal Specification of a Rule-Based Expert System. 333-340
  
• Richard Stamper, Bryan S. Todd, P. M. MacPherson:
  A Software Engineering Approach to the Design of a Medical Expert System. 341-348
  
• Michael Weiss, Franz Stetter:
  A Hierarchical Blackboard Architecture for Distributed AI Systems. 349-355
  
• I. Watson, P. Brandon, Andrew Basden:
  The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance. 356-363
  
• 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
  

Object-Oriented Methodologies

• Ilkka Tervonen:
  Quality-Driven Validation: A Link Between Four Research Traditions. 370-377
  
• Chi-Ming Chung, Ming-Chi Lee:
  Object-Oriented Programming Testing Methodology. 378-385
  
• Yi Deng, Shi-Kuo Chang:
  Unifying Multi-Paradigms in Software System Design. 386-393
  

Applications

• Vincenzo Loia, Giuseppe Cattaneo, Michel Quaggetto:
  Incremental, High Level Implementation of Prolog in an Open System Framework. 394-403
  
• Emilio Bertolotti:
  Opportunistic Production Planning Through Interactive Problem Solving. 404-411
  
• Yu Chung Wong:
  Using Version Spaces to Support Incremental Searches in a Software Library. 412-419
  
• 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
  
• P. Flauto, S. Musella:
  Quality Control Within an Expert System Prototype Development. 435-442
  
• C. Caporaso, G. De Rosa, G. Fortunato, F. A. Marra, A. Pierri:
  CASE Approach in Telecom Software Development. 443-454
  

Languages For SEKE

• Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
  Software Processes Representation Languages: Survey and Assessment. 455-462
  
• Tak-Wai Chan, Wei-Ren Hwang:
  Towards Integrating Logic, Object, Frame, and Production. 463-469
  
• Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini:
  Querying and Analysis of Software Specifications. 470-478
  
• Denise E. Cooke, A. Gutierrez:
  An Introduction to BagL. 479-486
  
• Alfs T. Berztiss:
  Operational Construction of Integrity Constraints. 487-494
  
• K. Takeda, David N. Chin, I. Miyamoto:
  MERA: Meta Language for Software Engineering. 495-502
  
• M. Sato, M. Hashimoto:
  A Constraint Satisfaction System on the Entity and Relationship Model. 503-510
  
• Wei Sun, Sha Guo, Farah Arafi, Shengru Tu:
  Supporting Inheritance in Relational Database Systems. 511-518
  
• Giorgio Bruno, Gianpaolo Macario, Alvise Grammatica:
  A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems. 519-533
  
• Andrea Sohn, Jean-Luc Gaudiot, Michel Guyot:
  Parallelism Profiling of an Ops5 Production System Interpreter. 534-543
  
• Naoufel Kraïem, Joël Brunet:
  Mapping of Conceptual Specifications into Object-Oriented Programs. 624-639
  

CASE

• Patricia A. Lynch, Thomas A. Cooper:
  The SEAR Tool Suite: CASE for Expert System Development in OPSS. 545-550
  
• Johann Wagner:
  The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE). 551-559
  
• Timothy Arndt, Angela Guercio:
  Decomposition of Data Flow Diagrams. 560-566
  
• K. P. Ta, T. C. Tan:
  Layout Algorithms for DFD Processors. 567-573
  

Software Process Management

• Maria Letizia Jaccheri, Jens-Otto Larsen, Reidar Conradi:
  Software Process Modeling and Evolution in EPOS. 574-581
  
• Atsuo Hazeyama, Seiichi Komiya:
  A Process Model for Software Process Management. 582-589
  
• Filippo Lanubile, Giuseppe Visaggio:
  Maintainability via Structure Models and Software Metrics. 590-599
  
• Matthias Rauterberg:
  An Iterative-Cyclic Software Process Model. 600-607
  
• Jochen Ludewig, Thomas Bassler, Marcus Deininger, Kurt Schneider, Jürgen Schwille:
  SESAM - Simulating Software Projects. 608-615
  
• Wen-Ran Zhang, Wenhua Wang, Angela Guercio:
  An Open System Protocol for Agent-Oriented Programming. 616-623
  

Last update Sat May 18 19:44:10 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page