Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering
SEKE, 1990.

@proceedings{SEKE-1990,
	address       = "Skokie, USA",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering}",
	year          = 1990,
}

Contents (45 items)

6 ×#design
6 ×#re-engineering
5 ×#development
5 ×#knowledge-based
5 ×#programming
4 ×#information management
4 ×#named
3 ×#automation
3 ×#database
3 ×#prototype

SEKE-1990-Blum #approach #knowledge-based #re-engineering

Knowledge-Based Software Engineering: A Different Approach (BIB), pp. 1–6.

SEKE-1990-Hurley #design #information management #interactive #re-engineering

Integrating Software Engineering and Knowledge Engineering to Design Interactive Systems (WDH), pp. 7–11.

SEKE-1990-Li #information management #re-engineering

Software Engineering Issues in Knowledge Engineering (XL), pp. 12–18.

SEKE-1990-EstevaR #induction #learning #reuse

Learning to Recognize Reusable Software by Induction (JCE, RGR), pp. 19–24.

SEKE-1990-SheuVH #execution #process

Integrated Process Description and Execution in Manufacturing Environments (PCYS, RV, SSH), pp. 25–32.

SEKE-1990-MohanK #framework #modelling

A Framework For Building Knowledge-Intensive Data Models (LM, RLK), pp. 33–38.

SEKE-1990-YangH #modelling #using

Modeling Software Objects Using Hypergraph (YY, FH), pp. 39–44.

SEKE-1990-ChengH #concept #development #object-oriented #programming

Conceptual Structores ot Object-Oriented Programming for Application Development (KYC, MSH), pp. 45–50.

SEKE-1990-BerztissL #implementation #prototype

The Prototyping Language SF and its Implementation (ATB, CTL), pp. 51–57.

SEKE-1990-RizmanR #agile #data flow #knowledge-based #prototype #specification #using

Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based System (KR, IR), pp. 58–63.

SEKE-1990-Smyrniotis #agile #development #prototype

Rapid Prototyping: A Practitioner’s Viewpoint in Software Development (CS), pp. 64–69.

SEKE-1990-DeckH #re-engineering #theory and practice

Cleanroom Software Engineering: Theory and Practice (MDD, PAH), pp. 71–77.

SEKE-1990-LakhotiaS #development

Program Development by Stepwise “Enhancement” (AL, LS), pp. 78–83.

SEKE-1990-StovskyW #design #re-engineering

The Role of Traditional Engineering Design Techniques in Software Engineering (MPS, BWW), pp. 84–89.

SEKE-1990-EichmannA #classification #design

Design of a Lattice-Based Faceted Classification System (DE, JA), pp. 90–97.

SEKE-1990-Venugopal #integration #knowledge-based

Plan Integration in Knowledge-Based Software Environments (VV), pp. 98–103.

SEKE-1990-VignolletA #knowledge base #testing

A Model for Testing Knowledge Bases (LV, MA), pp. 104–109.

SEKE-1990-HsuehL #knowledge-based #programming

Knowledge-Based Programming for Call Processing Program in Telecommunication Switching System (JCCH, DTL), pp. 110–115.

SEKE-1990-LeuY #automation #knowledge-based

Automatic Rule Base Inspection for Data-Access Oriented Knowledge-based Systems (FYL, CCY), pp. 116–121.

SEKE-1990-Sinohara #information management #knowledge base

KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base (YS), pp. 122–126.

SEKE-1990-TsaiZ #framework #testing #towards

Towards a Unified Framework for Testing Expert Systems (WTT, IAZ), pp. 127–134.

SEKE-1990-BairdS #aspect-oriented #programming language

Theoretical Aspects of the Universal Programming Language Genotype (JCB, SKS), pp. 135–140.

SEKE-1990-OngwisesphaiboonBEPG

Engineering An Expert System For Creativity Management (VO, IB, MWE, AP, MEG), pp. 141–146.

SEKE-1990-NurcanKL #database #paradigm #programming

Integrating Database Technology and iogic Programming Paradigm (SN, JK, LL), pp. 147–152.

SEKE-1990-Iyengar #execution #logic programming #source code

Intelligent Forward Execution in Logic Programs (SRI), pp. 153–158.

SEKE-1990-SaveantC #metalanguage #problem #representation

A Metalanguage for Representation and Control in Assumption-based Problem Solvers (PS, PC), pp. 159–164.

SEKE-1990-Mazurov #learning #parallel #process

Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines (VDM), p. 165.

SEKE-1990-WangYT #information management #named #representation

CKRL: A Connectionist Knowledge Representation Language (JW, YY, JT), pp. 166–170.

SEKE-1990-Bottcher #database #deduction #development #programming

Development and Programming of Deductive Databases with PROTOS-L (SB), pp. 171–176.

SEKE-1990-Al-SukairiH #compilation #independence #linear #recursion

Query-Independent Compilation of Linear Recursions (AAS, LJH), pp. 177–182.

SEKE-1990-PetersRU #design

Design of Knowiedge-Based Integrity Systems with ISL++ (JFP, SR, EAU), pp. 183–188.

SEKE-1990-LukZH #approach #database #named #relational

Path: An Approach to Incorporate List Processing in A Relational Database (WSL, WZ, JH), pp. 189–194.

SEKE-1990-ComoLV #design #evaluation #metric #quality

Evaluation of Characteristics of Design Quality Metrics (GC, FL, GV), pp. 195–201.

SEKE-1990-GatesC #automation #recognition

An Introduction To The Recognition of Iterative Structures by a CASE Tool (AQG, DEC), pp. 202–208.

SEKE-1990-Maim #named #representation

CRL: Common Representation Language (EM), pp. 209–215.

SEKE-1990-VolovikMT #re-engineering #what

What Software Engineering Can Learn From Practitioners (DV, RM, WTT), pp. 216–221.

SEKE-1990-ChungK #automation #programming #specification

An Automatic Programming Method of Nonprocedural / Procedural Program Specification (MDC, YTK), pp. 222–227.

SEKE-1990-KuoSHL #estimation

Applying DSS Techniques in Software Cost Estimation (SCK, GPS, SNH, YSL), pp. 228–233.

SEKE-1990-SunK #development

Graphics Application Development Under Window Environment (TSS, CYK), pp. 234–238.

SEKE-1990-MatetiD #data type #diagrams #linked data #open data

Aesthetics Rules in The Diagrams of Linked Data Structures (PM, CD), pp. 239–244.

SEKE-1990-KehL #design #hypermedia #named #petri net

HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer (HCK, TGL), pp. 245–250.

SEKE-1990-ShiM #requirements #towards #validation #verification

Toward Verification and Validation of Software Requirements (GMS, IM), pp. 251–259.

SEKE-1990-JeffreyM #petri net #set

A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.

SEKE-1990-Clark #predict

A State Space Model for Currency Exchange Rate Prediction (JC), pp. 267–271.

SEKE-1990-Bukovsky #evaluation #quality

Expert System Application in Software Quality Evaluation (NSB), p. 272–?.