Proceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering
SEKE, 1994.

@proceedings{SEKE-1994,
	address       = "Jurmala, Latvia",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Proceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering}",
	year          = 1994,
}

Contents (68 items)

10 ×#specification
8 ×#automation
8 ×#modelling
7 ×#development
5 ×#information management
5 ×#using
4 ×#analysis
4 ×#design
4 ×#logic
4 ×#named

SEKE-1994-Chang #visual notation

Visual Communications (SKC), p. 1.

SEKE-1994-AtchanE #behaviour #empirical #functional #modelling #requirements #specification

An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification (HMA, GCE), pp. 2–9.

SEKE-1994-Holm #communication #modelling #using

The COMMODIOUS method — COMmunication MODelling as an aid to Illustrate the Organisational Use of Software (PH), pp. 10–19.

SEKE-1994-KirikovaB #enterprise #modelling #requirements

Software requirements acquisition through enterprise modelling (MK, JABJ), pp. 20–27.

SEKE-1994-Rolland #approach #process #requirements

A contextual approach for the requirements engineering process (CR), pp. 28–35.

SEKE-1994-Abd-El-HafizB #comprehension #development

A tool for assisting the understanding and formal development of software (SKAEH, VRB), pp. 36–45.

SEKE-1994-BadrL #automation #concurrent #re-engineering

Automation support for concurrent software engineering (SB, L), pp. 46–53.

SEKE-1994-BarzdinsKPEAKKR #automation #development #information management

GRADE Windows: an integrated CASE tool for information system development (JB, AK, KP, IE, AJA, AK, PK, SR), pp. 54–61.

SEKE-1994-BreretonS #deduction #evolution #framework

A deductive infrastructure for exploratory software evolution (PB, PS), pp. 62–69.

SEKE-1994-ChengBG #development #distributed #information management #multi #object-oriented

The object-oriented development of a distributed multimedia environmental information system (BHCC, RHB, GCG), pp. 70–77.

SEKE-1994-Landes #design #knowledge-based #named

DesignKARL — A language for the design of knowledge-based systems (DL), pp. 78–85.

SEKE-1994-ParkP #automation #formal method #modelling #requirements

Automated support to system modeling from informal software requirements (SP, JDP), pp. 86–93.

SEKE-1994-PranevitchiusP #simulation #specification #tool support #validation

Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.

SEKE-1994-ArfaFMMS #process #verification

A process for verification based inspections (LBAR, MF, RM, AM, DRS), pp. 100–107.

SEKE-1994-Auguston #automation #debugging

A language for debugging automation (MA), pp. 108–115.

SEKE-1994-ZhuHM #information management #testing

Knowledge engineering helps testing protection software (HZ, PAVH, JHRM), pp. 116–123.

SEKE-1994-Pliuskeviciene #hoare #logic #recursion

Specialization of derivations in Hoare-like logic with recursive procedures (AP), pp. 124–130.

SEKE-1994-Alexander #generative #specification

Combining transformational and derivational analogy in Larch specification generation (PA), pp. 131–138.

SEKE-1994-DuranteSV #protocol #specification

A LOTOS specification of the SERCOS field-bus protocol (LD, RS, AV), pp. 139–147.

SEKE-1994-JacksonLP #automation #constraints #modelling #performance #specification #towards

Towards automatic building of performance models: Formal specification of performance constraints (KJ, AL, RP), pp. 148–155.

SEKE-1994-MiyakawaY #logic

Temporal logic extended with object creation and destruction (SM, NY), pp. 156–163.

SEKE-1994-AbranDMMS #analysis #hypermedia #learning #using

Structured hypertext for using and learning function point analysis (AA, JMD, DM, MM, DSP), pp. 164–171.

SEKE-1994-HauslerL #re-engineering

From software craft to software engineering: the Cleanroom method (PAH, RCL), pp. 172–179.

SEKE-1994-Meskens #analysis #knowledge-based #quality

A knowledge-based system for software quality analysis (NM), pp. 180–187.

SEKE-1994-ReynoldsZ #algorithm #learning #using

Learning to understand software from examples using cultural algorithms (RGR, EZ), pp. 188–192.

SEKE-1994-Hurley #user interface

Deducing structure in systems with separable user interfaces (WDH), pp. 193–200.

SEKE-1994-Kalnins

Extensions of GRAPES/4GL for Windows style input/output (AK), pp. 201–208.

SEKE-1994-KoskinenPS #dependence #hypermedia #using

Program text as hypertext: using program dependences for transient linking (JK, JP, AS), pp. 209–216.

SEKE-1994-ZajicekB #constraints #design #interactive #interface #resource management #specification #visual notation

Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system (MZ, KWB), pp. 217–224.

SEKE-1994-Berzins #modelling

Software merge: models and properties (VB), pp. 225–232.

SEKE-1994-CanforaLT #inheritance

Recovering object classes and inheritance relationships from existing code (GC, GADL, MT), pp. 233–240.

SEKE-1994-CheathamFS #compilation #evolution #multi

Supporting multiple evolving compilers (TC, AFF, DCS), pp. 241–248.

SEKE-1994-JarzabekL #modelling #re-engineering

Modeling in strategic reengineering (SJ, WML), pp. 249–256.

SEKE-1994-FigueiredoPC #analysis #fuzzy #petri net #realtime #using

Timing analysis of real-time software systems using fuzzy time Petri nets (JCAdF, AP, SKC), pp. 257–266.

SEKE-1994-Pliuskevicius #deduction #specification

Saturated deductive systems for temporal specifications (RP), pp. 267–273.

SEKE-1994-Sakalauskaite #branch #calculus #first-order #logic

A complete sequent calculus for a first order branching temporal logic (JS), pp. 274–280.

SEKE-1994-CairoGB #formal method #multi #representation

A formal methodology for acquiring and representing knowledge from multiple experts (OC, SG, TB), pp. 281–288.

SEKE-1994-CookeDGK #concurrent #linear #logic programming #source code

Bag languages, concurrency, Horn logic programs, and linear logic (DEC, RD, AQG, VK), pp. 289–297.

SEKE-1994-FarrellRT #exclamation #object-oriented

Giving KBS an OO! — object-oriented techniques and KADS (VF, DR, ST), pp. 298–305.

SEKE-1994-GuoSRD #database #optimisation #query #reduction #semantics

Semantic query optimization by class reference reduction in object- oriented databases (SG, WS, NR, YD), pp. 306–313.

SEKE-1994-KrogstieS

Extending a temporal rule language with deontic operators (JK, GS), pp. 314–321.

SEKE-1994-PachetP

Rule firing with metarules (FP, JFP), pp. 322–329.

SEKE-1994-ReinfeldsK #information management #representation #visualisation

Visualization and transformation of SGML knowledge representation structures (JR, KK), pp. 330–335.

SEKE-1994-RisheS #automation #database #design #pipes and filters

A pipeline CASE tool for database design (NR, WS), pp. 336–343.

SEKE-1994-ShiHB #named

Belief: updating vs. combining (SS, MECH, DAB), pp. 344–351.

SEKE-1994-VanthienenW #database #relational

Managing decision table knowledge in a relational database environment (JV, GW), pp. 352–357.

SEKE-1994-Verkamo #automation #development

Cooperation of KBS development environments and CASE environments (AIV), pp. 358–365.

SEKE-1994-VestliNS #knowledge-based

Developing well-structured knowledge-based systems (MV, IN, AS), pp. 366–373.

SEKE-1994-ElstHST #component #functional #reuse #specification

A functional specification of reusing software components (JvdE, FvH, GS, MT), pp. 374–381.

SEKE-1994-Ramachandran #knowledge base #reuse

Knowledge based support for reuse (MR), pp. 382–386.

SEKE-1994-SpanoudakisC #similarity

Measuring similarity between software artifacts (GS, PC), pp. 387–394.

SEKE-1994-SuzukiT #abstraction #behaviour #retrieval #using

Associative program retrieval using partially-ordered behavioral abstractions of a program (HS, NT), pp. 395–404.

SEKE-1994-AbbattistaLV #architecture #development

Open architecture for a process-centered development environment (FA, FL, GV), pp. 405–413.

SEKE-1994-ArndtGPT #execution #logic programming #source code #symbolic computation

Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.

SEKE-1994-AzemB #prolog #reliability #source code

Reliability determination of Prolog programs (AA, FB), pp. 422–429.

SEKE-1994-BelliJ #prolog #testing

A test environment for Prolog (FB, OJ), pp. 430–437.

SEKE-1994-ChauC #flexibility #logic #specification #visual notation

A visual logic specification of flexible manufacturing systems (HLC, KGC), pp. 438–445.

SEKE-1994-ChenU #design #implementation #knowledge base

Design and implementation of a knowledge based BPA/BPR tool: EUOBFE (YC, YU), pp. 446–453.

SEKE-1994-ChiangWBN #automation #documentation #named #programming #visual notation

DocFlow: an event-driven visual programming environment for office automation through document processing (SCYC, JTLW, MPB, PAN), pp. 454–461.

SEKE-1994-LuciaCTT #parallel

Program parallelization in WSDW (ADL, CDC, GT, MT), pp. 462–469.

SEKE-1994-Dunin-KepliczJLM #development #named

CAProDel: a system for computer aided program development (BDK, JJ, WL, EMB), pp. 470–477.

SEKE-1994-GirardiI #similarity

A similarity measure for retrieving software artifacts (MRG, BI), pp. 478–485.

SEKE-1994-JablonowskiM #development

Procedure handling in computer aided program development (JJ, EMB), pp. 486–492.

SEKE-1994-Kramer #modelling #petri net #process

Rule-enhanced Petri nets for software process modeling (BJK), pp. 493–500.

SEKE-1994-LuqiG #analysis #certification #synthesis

Suggestions for progress in software analysis, synthesis and certification (L, JAG), pp. 501–507.

SEKE-1994-Tovar #complexity #information management #metric

Applicability of McCabe’s complexity metric to knowledge engineering products (ET), pp. 508–515.

SEKE-1994-WillisP #reuse #safety #specification

Specification reuse for safety-critical software (CPW, DJP), pp. 516–523.

SEKE-1994-SheuY #deduction #program transformation

A deductive program transformation system (PCYS, SBY), pp. 524–531.