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
Methodologies
export record as
dblp key:
Yamine Aït Ameur :
Formal Program Developments Directed by Operational Properties Evaluation.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Knowledge Engineering for SoAware Engineering
export record as
dblp key:
export record as
dblp key:
Gwo-Jen Hwang :
Knowledge Acquisition and Validation for Implicit Expertise.
32-39
export record as
dblp key:
Ralph D. Semmel :
An Integrated System for Query Formulation and Database Design.
40-46
export record as
dblp key:
Enrico Maim :
Recognizing Objects from Constraints.
47-54
export record as
dblp key:
K. Kim ,
Lawrence J. Henschen :
Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment.
63-70
export record as
dblp key:
export record as
dblp key:
Knowledge Representation Systems
export record as
dblp key:
export record as
dblp key:
Ziqiang Chen :
Uncertain Temporal Knowledge Management.
94-100
export record as
dblp key:
export record as
dblp key:
Jinpeng Huai :
A Knowledge Base Management System on Relation Model and Term Rewriting.
102-108
Software Engineering for Knowledge Engineering
export record as
dblp key:
export record as
dblp key:
Harald Schaschinger :
Expert-Supported Object-Oriented Analysis in Knowledge Engineering.
116-122
export record as
dblp key:
export record as
dblp key:
Reuse and Reverse Engineering
export record as
dblp key:
export record as
dblp key:
B. Macchini :
Reusing Software with ESTRO (Evolving Software Repository).
150-157
export record as
dblp key:
export record as
dblp key:
David Eichmann :
Supporting Multiple Domains in a Single Reuse Repository.
164-169
export record as
dblp key:
export record as
dblp key:
Tools for SEKE
export record as
dblp key:
Lars Bendix :
Automatic Configuration Management in a General Object-Based Environment.
186-193
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
I. Watson ,
M. Norman :
ProTest: A Knowledge Analysis Tool for the Development of Expert Systems.
206-212
export record as
dblp key:
export record as
dblp key:
Shengru Tu ,
Wei Sun :
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.
222-226
export record as
dblp key:
export record as
dblp key:
conf/seke/Hayes-RothETH92
export record as
dblp key:
export record as
dblp key:
Andrew M. Olson :
An Object-Oriented Analysis Model of an Iconic Interface to Macsyma.
253-260
export record as
dblp key:
conf/seke/SotiropoulouP92
export record as
dblp key:
Specification
export record as
dblp key:
Wolfgang Reif :
Correctness of Full First-Order Specifications.
276-283
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/seke/Parisi-PresicceP92
Expert Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Object-Oriented Methodologies
export record as
dblp key:
Ilkka Tervonen :
Quality-Driven Validation: A Link Between Four Research Traditions.
370-377
export record as
dblp key:
export record as
dblp key:
Applications
export record as
dblp key:
export record as
dblp key:
Emilio Bertolotti :
Opportunistic Production Planning Through Interactive Problem Solving.
404-411
export record as
dblp key:
Yu Chung Wong :
Using Version Spaces to Support Incremental Searches in a Software Library.
412-419
export record as
dblp key:
conf/seke/SubramaniamTHRR92
export record as
dblp key:
export record as
dblp key:
Languages For SEKE
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
M. Sato ,
M. Hashimoto :
A Constraint Satisfaction System on the Entity and Relationship Model.
503-510
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
CASE
export record as
dblp key:
export record as
dblp key:
Johann Wagner :
The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE).
551-559
export record as
dblp key:
export record as
dblp key:
Software Process Management
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key: