Proceedings of the Fourth International Conference on Software Engineering and Knowledge Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

KER
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.