Proceedings of the Fourth International Conference on Software Engineering and Knowledge Engineering
SEKE, 1992.

@proceedings{SEKE-1992,
	address       = "Capri, Italy",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Proceedings of the Fourth International Conference on Software Engineering and Knowledge Engineering}",
	year          = 1992,
}

Contents (80 items)

9 ×#design
6 ×#development
6 ×#information management
6 ×#knowledge-based
6 ×#modelling
6 ×#process
6 ×#specification
5 ×#approach
5 ×#automation
5 ×#reuse

SEKE-1992-Ameur #evaluation

Formal Program Developments Directed by Operational Properties Evaluation (YAA), pp. 1–8.

SEKE-1992-WangG #algorithm #concurrent #transaction

An Optomized Concurrency Control Algorithm for Transaction Brocessing (SW, UOG), pp. 9–16.

SEKE-1992-SatoMI #refinement #using

Program Refinement Using Generic Object (YS, YM, TI), pp. 18–25.

SEKE-1992-JacquesSGL #knowledge-based #user interface

A Knowledge-Based Method for Engineering Navigational Capability into User Interface Software (MSJ, DS, JG, LL), pp. 26–31.

SEKE-1992-Hwang #information management #validation

Knowledge Acquisition and Validation for Implicit Expertise (GJH), pp. 32–39.

SEKE-1992-Semmel #database #design #query

An Integrated System for Query Formulation and Database Design (RDS), pp. 40–46.

SEKE-1992-Maim #constraints

Recognizing Objects from Constraints (EM), pp. 47–54.

SEKE-1992-KarssenT #architecture #information management

A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench (ZK, CT), pp. 55–62.

SEKE-1992-KimH #database #deduction #evaluation #parallel #recursion

Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment (KK, LJH), pp. 63–70.

SEKE-1992-HarandiL #design #knowledge-based

A Support Envimnment for Knowledge-Based Software Design (MTH, HYL), pp. 71–79.

SEKE-1992-AkhrasM #generative #knowledge-based #process #towards

Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance (FNA, SSSM), pp. 79–86.

SEKE-1992-Antoniou #composition #knowledge base #logic

Modularity for Logical Knowledge Bases (GA), pp. 87–93.

SEKE-1992-Chen #information management #nondeterminism

Uncertain Temporal Knowledge Management (ZC), pp. 94–100.

SEKE-1992-VranesS #framework #multi #paradigm

Multiparadigm Blackboard Framework (SV, MS), p. 101.

SEKE-1992-Huai #knowledge base #term rewriting

A Knowledge Base Management System on Relation Model and Term Rewriting (JH), pp. 102–108.

SEKE-1992-ChunH #approach #compilation #knowledge base #query

Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach (JC, LJH), pp. 109–115.

SEKE-1992-Schaschinger #analysis #information management #object-oriented

Expert-Supported Object-Oriented Analysis in Knowledge Engineering (HS), pp. 116–122.

SEKE-1992-DoyleV #metric #rule-based

Applying Metrics to Rule-Based Systems (PD, RV), pp. 123–130.

SEKE-1992-ReynoldsMZ #induction #using

Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system (RGR, JIM, EZ), pp. 131–139.

SEKE-1992-Cimitile #re-engineering #reuse #towards

Towards Reuse Reengineering of Old Software (AC), pp. 140–149.

SEKE-1992-Macchini #evolution #repository #reuse

Reusing Software with ESTRO (Evolving Software Repository) (BM), pp. 150–157.

SEKE-1992-MillerQ #approach #knowledge-based #modelling #reuse #simulation #source code #using

A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs (LM, AQ), pp. 158–163.

SEKE-1992-Eichmann #multi #repository #reuse

Supporting Multiple Domains in a Single Reuse Repository (DE), pp. 164–169.

SEKE-1992-LiKL #architecture #design #reuse #using

The Reuse of Software Design and Software Architecture (HL, JvK, AML), pp. 170–177.

SEKE-1992-HuangSM #modelling #reverse engineering #rule-based #source code #visual notation

A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models (HH, KS, IM), pp. 178–185.

SEKE-1992-Bendix #automation #configuration management

Automatic Configuration Management in a General Object-Based Environment (LB), pp. 186–193.

SEKE-1992-AquilinoAI #prototype

Prototyping in the GEDBLOG System (DA, PA, PI), pp. 194–199.

SEKE-1992-Blum #design

TEDIUM’s Window into Design (BIB), pp. 200–205.

SEKE-1992-WatsonN #analysis #development #named

ProTest: A Knowledge Analysis Tool for the Development of Expert Systems (IW, MN), pp. 206–212.

SEKE-1992-LuciaINTT #development

The Software Development Workbench WSDW (ADL, AI, MN, GT, MT), pp. 213–221.

SEKE-1992-TuS #approach #linear #petri net #programming #static analysis

Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.

SEKE-1992-HaoTJ #consistency #modelling #nondeterminism #process #prototype

Prototyping an Inconsistency Checking Tool for Software Process Models (JKH, FT, JJ), pp. 227–234.

SEKE-1992-Hayes-RothETH #concept #distributed #tool support

Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications (FHR, LDE, AT, BHR), pp. 235–244.

SEKE-1992-SugiharaYM #automation #diagrams #layout #specification

Automatic Layout of Diagrams for Software Specification (KS, KY, IM), pp. 245–252.

SEKE-1992-Olson #analysis #interface #object-oriented

An Object-Oriented Analysis Model of an Iconic Interface to Macsyma (AMO), pp. 253–260.

SEKE-1992-SotiropoulouP #case study #difference #equation #information management

A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE’s) (VVS, TSP), pp. 261–268.

SEKE-1992-HacL #algorithm #compilation #distributed #parallel

A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application (AH, RRL), pp. 269–275.

SEKE-1992-Reif #correctness #first-order #specification

Correctness of Full First-Order Specifications (WR), pp. 276–283.

SEKE-1992-LiS

A Simulation-Based SDL Support System (XL, OS), pp. 284–291.

SEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code

A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.

SEKE-1992-KaoH #graph #logic #proving #realtime

A Graph Proof Procedure for Real Time Logic (JHK, LJH), pp. 300–306.

SEKE-1992-HofstedeVNW #specification

Integrated Specification of Method and Graphic Knowledge (AHMtH, TFV, ERN, GMW), pp. 307–316.

SEKE-1992-Parisi-PresicceP #design

System Design as Derivation via Rewriting (FPP, AP), pp. 317–324.

SEKE-1992-AvellisB #design #maintenance

A Blackboard Model to Design Integrated Intelligent Software Maintenance Environment (GA, LB), pp. 325–332.

SEKE-1992-ToddS #rule-based #specification

Formal Specification of a Rule-Based Expert System (BST, RS), pp. 333–340.

SEKE-1992-StamperTM #approach #design #re-engineering

A Software Engineering Approach to the Design of a Medical Expert System (RS, BST, PMM), pp. 341–348.

SEKE-1992-WeissS #architecture #distributed

A Hierarchical Blackboard Architecture for Distributed AI Systems (MW, FS), pp. 349–355.

SEKE-1992-WatsonBB #development #knowledge-based #maintenance #predict

The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance (IW, PB, AB), pp. 356–363.

SEKE-1992-AlcarazNHB #maintenance #monitoring #realtime

Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges (FA, MN, AH, JLB), pp. 364–369.

SEKE-1992-Tervonen #quality #research #validation

Quality-Driven Validation: A Link Between Four Research Traditions (IT), pp. 370–377.

SEKE-1992-ChungL #object-oriented #programming #testing

Object-Oriented Programming Testing Methodology (CMC, MCL), pp. 378–385.

SEKE-1992-DengC #design #multi

Unifying Multi-Paradigms in Software System Design (YD, SKC), pp. 386–393.

SEKE-1992-LoiaCQ #framework #implementation #incremental #prolog

Incremental, High Level Implementation of Prolog in an Open System Framework (VL, GC, MQ), pp. 394–403.

SEKE-1992-Bertolotti #interactive #problem

Opportunistic Production Planning Through Interactive Problem Solving (EB), pp. 404–411.

SEKE-1992-Wong #incremental #library #using

Using Version Spaces to Support Incremental Searches in a Software Library (YCW), pp. 412–419.

SEKE-1992-SubramaniamTHRR #design #information management #prototype #type system

Knowledge Engineering for Protein Structure and Motifs: Design of a Prototype System (SS, DKT, KH, HR, LAR), pp. 420–435.

SEKE-1992-FlautoM #development #prototype #quality

Quality Control Within an Expert System Prototype Development (PF, SM), pp. 435–442.

SEKE-1992-CaporasoRFMP #approach #automation #development

CASE Approach in Telecom Software Development (CC, GDR, GF, FAM, AP), pp. 443–454.

SEKE-1992-ArmeniseBGM #assessment #overview #process #representation

Software Processes Representation Languages: Survey and Assessment (PA, SB, CG, AM), pp. 455–462.

SEKE-1992-ChanH #logic #towards

Towards Integrating Logic, Object, Frame, and Production (TWC, WRH), pp. 463–469.

SEKE-1992-AbateDNP #analysis #query #specification

Querying and Analysis of Software Specifications (AFA, CD, GN, GP), pp. 470–478.

SEKE-1992-CookeG

An Introduction to BagL (DEC, AG), pp. 479–486.

SEKE-1992-Berztiss #constraints

Operational Construction of Integrity Constraints (ATB), pp. 487–494.

SEKE-1992-TakedaCM #named #re-engineering

MERA: Meta Language for Software Engineering (KT, DNC, IM), pp. 495–502.

SEKE-1992-SatoH #constraints

A Constraint Satisfaction System on the Entity and Relationship Model (MS, MH), pp. 503–510.

SEKE-1992-SunGAT #database #inheritance #relational

Supporting Inheritance in Relational Database Systems (WS, SG, FA, ST), pp. 511–518.

SEKE-1992-BrunoMG #modelling #re-engineering

A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems (GB, GM, AG), pp. 519–533.

SEKE-1992-SohnGG #interpreter #parallel #profiling

Parallelism Profiling of an Ops5 Production System Interpreter (AS, JLG, MG), pp. 534–543.

SEKE-1992-LynchC #automation #development

The SEAR Tool Suite: CASE for Expert System Development in OPSS (PAL, TAC), pp. 545–550.

SEKE-1992-Wagner #automation #reverse engineering

The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE) (JW), pp. 551–559.

SEKE-1992-ArndtG #composition #data flow #diagrams

Decomposition of Data Flow Diagrams (TA, AG), pp. 560–566.

SEKE-1992-TaT #algorithm #layout

Layout Algorithms for DFD Processors (KPT, TCT), pp. 567–573.

SEKE-1992-JaccheriLC #evolution #modelling #process

Software Process Modeling and Evolution in EPOS (MLJ, JOL, RC), pp. 574–581.

SEKE-1992-HazeyamaK #process

A Process Model for Software Process Management (AH, SK), pp. 582–589.

SEKE-1992-LanubileV #maintenance #metric #modelling

Maintainability via Structure Models and Software Metrics (FL, GV), pp. 590–599.

SEKE-1992-Rauterberg #process

An Iterative-Cyclic Software Process Model (MR), pp. 600–607.

SEKE-1992-LudewigBDSS #named #simulation

SESAM — Simulating Software Projects (JL, TB, MD, KS, JS), pp. 608–615.

SEKE-1992-ZhangWG #programming #protocol

An Open System Protocol for Agent-Oriented Programming (WRZ, WW, AG), pp. 616–623.

SEKE-1992-KraiemB #concept #object-oriented #source code #specification

Mapping of Conceptual Specifications into Object-Oriented Programs (NK, JB), pp. 624–639.

SEKE-1992-LiuTK #knowledge-based #programming

Knowledge-Based Transfonnational Programming (JL, OT, BKB), pp. 632–639.