Proceedings of the Seventh International Conference on Software Engineering and Knowledge Engineering
SEKE, 1995.

@proceedings{SEKE-1995,
	address       = "Rockville, Maryland, USA",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Proceedings of the Seventh International Conference on Software Engineering and Knowledge Engineering}",
	year          = 1995,
}

Contents (80 items)

13 ×#object-oriented
8 ×#specification
7 ×#design
6 ×#approach
6 ×#database
6 ×#modelling
6 ×#reuse
5 ×#information management
5 ×#named
5 ×#re-engineering

SEKE-1995-Al-SaadoonTE #approach #composition #named #object-oriented

AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users (OAAS, WTT, HEb), pp. 1–7.

SEKE-1995-MaidenSAJJNCS #distributed #requirements

Computational Mechanisms for Distributed Requirements Engineering (NAMM, AGS, PA, PJ, MJ, HWN, PC, GS), pp. 8–15.

SEKE-1995-ParkEP #modelling #requirements

Text-Based Requirements Modeling Support System (SP, RPE, JDP), pp. 16–22.

SEKE-1995-CiacciaCP #design #requirements

From Formal Requirements to Formal Design (PC, PC, WP), pp. 23–30.

SEKE-1995-Ferraris #information management #modelling #multi

Multi-Agent Models as Methodological Guide for Knowledge Acquisition (CF), pp. 31–38.

SEKE-1995-Schneider #re-engineering

Dynamic Pattern Knowledge in Software Engineering (KS), pp. 39–46.

SEKE-1995-Gattiker #functional #petri net #probability #representation

Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.

SEKE-1995-LiangT #domain model #learning #modelling

Apprenticeship Learning of Domain Models (YL, GT), pp. 54–62.

SEKE-1995-UrbanCCM #education #future of #re-engineering

The Future of Software Engineering Education (JEU, DEC, DLC, RTM), p. 63.

SEKE-1995-OussalahP #constraints

Combining Constraints and Objects (MCO, VP), pp. 64–71.

SEKE-1995-JiangC #concept #evolution

Class Transmutation and other Evolution Concepts (HJ, XC), pp. 72–79.

SEKE-1995-Stanbrough

An object view = methods + events (DS), pp. 80–86.

SEKE-1995-Pons #object-oriented #semantics

Formal Semantics for Object Oriented Systems (CP), pp. 87–94.

SEKE-1995-KhoslaD #architecture #integration

Integration of Task Level Architecture with O-O Technology (RK, TSD), pp. 95–97.

SEKE-1995-SchwerKB #concept

The Temporal Dimension of Conceptual Dimension Objects (SRS, NK, JB), pp. 98–102.

SEKE-1995-JaegerP #adaptation #coordination #representation

Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems (TJ, AP), pp. 103–105.

SEKE-1995-ZaitriC #communication #component #named

TCO: a Tool to map Communication components to Objects (NKZ, XC), pp. 106–108.

SEKE-1995-OhNB #development #object-oriented

A Development Methodology for KB/DB Coupling based on the Object-Oriented EA Model (SYO, CN, DKB), pp. 109–113.

SEKE-1995-LaliotiT #requirements #specification #validation #visual notation

Visual Scenarios for Validation of Requirements Specification (VL, BT), pp. 114–116.

SEKE-1995-Lin #protocol #verification

Formal Verification of the File Transfer Protocol (FL), pp. 117–122.

SEKE-1995-LiaoCS #framework #object-oriented #testing

An Integrated Testing Framework for Object-Oriented Programs-Work in Progress (SSL, KHC, SBS), pp. 123–125.

SEKE-1995-Westfechtel #graph #process

A Graph-Based Model for Dynamic Process Nets (BW), pp. 126–130.

SEKE-1995-Patsouris #approach #framework #information management #object-oriented #representation

A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach (PAP), pp. 131–135.

SEKE-1995-KugumiyaSOK #evaluation

Evaluation of Case-Oriented Planning Support System -SMAP- for Business System (NK, SS, TO, NK), pp. 136–139.

SEKE-1995-Kazimierczak #automation #information management #natural language #programming #representation

Knowledge Representation on the Level of Natural Language for Purposes of Automatic Programming (JK), pp. 140–143.

SEKE-1995-Debenham #analysis #approach #design #knowledge-based #requirements #specification

A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems (JKD), p. 144.

SEKE-1995-AyacheF #database #generative #object-oriented #process

A Generation Process of Object-Oriented Databases From E/R Schemas (MA, AF), pp. 147–149.

SEKE-1995-PerkusichPS #database #design #object-oriented #realtime

Integrated Design of Object-Oriented Real-Time Control and Database Systems (MLBP, AP, US), pp. 150–152.

SEKE-1995-Miur #optimisation #query #visual notation

Optimizing Complex Objects Queries in A Visual Data Manipulation Language (TM), pp. 153–157.

SEKE-1995-ConstantinidisZ #concept #database #design #using

Engineering an Ingres Active Database using Conceptual Design Knowledge Elements (VC, ABZ), pp. 158–160.

SEKE-1995-BarzdinsBK #approach #modelling #rule-based

Rule-Based Approach to Business Modeling (JB, GB, AK), pp. 161–165.

SEKE-1995-Cooke #migration #process

Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration (DEC), pp. 166–172.

SEKE-1995-He #formal method #petri net

PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.

SEKE-1995-Ait-AmeurBGPP #metaprogramming #specification

Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.

SEKE-1995-FarCK #design #reuse #specification #using

Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts’ Knowledge in Software Design (BHF, HC, ZK), pp. 189–196.

SEKE-1995-JainSK #behaviour #reuse #towards #usability

Towards Reusability Based Upon Similar Computational Behavior (AJ, LS, MK), pp. 197–203.

SEKE-1995-Borstler #classification #feature model #reuse

Feature-Oriented Classification for Software Reuse (JB), pp. 204–211.

SEKE-1995-Dai #approach #re-engineering #reuse

A Software Engineering Approach to Buildling Reusable Expert System (WD), pp. 212–219.

SEKE-1995-RamachandranLS #framework #reuse

A Framework for Analysing Reuse Knowledge (MR, IS), pp. 220–225.

SEKE-1995-CostagliolaLOT #data flow #graph #parsing #performance

Efficient Parsing of Data-Flow Graphs (GC, ADL, SO, GT), pp. 226–233.

SEKE-1995-BernardeschiFP #architecture #correctness #interactive #specification #user interface

Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications (CB, AF, FP), pp. 234–243.

SEKE-1995-BrownseyZ #functional #programming #specification #user interface #using

From Specification to Building a GUI using Functional Programming (KB, MZ), pp. 244–251.

SEKE-1995-ChauC #semantics #syntax #visual notation

Visual Language Syntax and Semantics for Complex Reactive System (HLC, KFC), pp. 252–259.

SEKE-1995-WolffBS #information management

Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring (SW, CB, AS), pp. 260–267.

SEKE-1995-TchounikineC #experience #fault #prototype

Fault diagnosis expert system for robots: a knowledge level prototyping experience (PT, CC), pp. 268–274.

SEKE-1995-NourO #approach #information management #representation

An Approach Based on “Frames” for Knowledge Representation and Scenes Interpretation in a Robot-Vision System (MN, KO), pp. 275–282.

SEKE-1995-PerkusichF #design #object-oriented #on the

On the Object Oriented Design of a Track-Vehicle System (AP, JCAdF), pp. 283–290.

SEKE-1995-Roman #named #visualisation

Panelists: Software Visualization through Active Presentation (GCR), p. 292.

SEKE-1995-Eick #scalability #visualisation

Software Visualization For Large Systems (SGE), p. 293.

SEKE-1995-Stasko #visualisation

Software Visualization in the Year 2000 (JTS), p. 294–?.

SEKE-1995-MiyaoC #towards

Toward Uniform Presentation of Software Dynamics (JM, SKC), p. 295.

SEKE-1995-LinL #message passing #model checking #protocol #verification

Formal Verification of a Message-Passing Protocol with Model Checking (AL, FL), pp. 296–302.

SEKE-1995-YoonG #debugging #framework

A Cognitive Framework of Debugging (BdY, ONG), pp. 304–311.

SEKE-1995-LanubileLV #component #identification #modelling

Comparing models for identifying fault-prone software components (FL, AL, GV), pp. 312–319.

SEKE-1995-ChungWS #object-oriented #testing

A Hierarchy Testing of Object-Oriented Program Structure (CMC, CCW, TKS), pp. 320–327.

SEKE-1995-KuhnSG #composition #slicing

The Decomposition Slice Display System (BMK, DJS, KBG), pp. 328–333.

SEKE-1995-GallKM #reverse engineering

Pattern-Driven Reverse Engineering (HCG, RK, RM), pp. 334–341.

SEKE-1995-Balmas #comprehension #source code

Classifying Programs: a Key For program Understanding (FB), pp. 342–349.

SEKE-1995-ElstTH #component #modelling #reuse

Modelling software components for reuse (JvdE, MT, FvH), pp. 350–357.

SEKE-1995-YoonK #database #deduction #object-oriented #query #semantics

Semantic Query Processing in Deductive Object-Oriented Databases (SCY, CSK), pp. 358–365.

SEKE-1995-PanY #database #named #object-oriented #query

EQL: A Learn-Easy and Use-Easy Query Language for Object-Oriented Databases (WWP, WPY), pp. 366–373.

SEKE-1995-ChangDL #concept #knowledge base #logic #object-oriented #relational

Knowledge Based System for Transforming an Object Oriented Conceptual Model into a Relational Logical Model (EC, TSD, AL), pp. 374–382.

SEKE-1995-GatesC #constraints #re-engineering #using

The Use of Integrity Constraints in Software Engineering (AQG, DEC), pp. 383–390.

SEKE-1995-ChenP #adaptation #distributed

Event Adaption for Integrating Distributed Applications (CC, JMP), pp. 392–401.

SEKE-1995-LuD #analysis #distributed #object-oriented #simulation #specification

An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems (SL, YD), pp. 402–410.

SEKE-1995-FigueiredoPC #distributed #fault #realtime

Antecipated Faults in Real-Time Distributed Systems (JCAdF, AP, BSKC), pp. 411–418.

SEKE-1995-Sliva #synthesis

A G-Net Module Synthesis Method for Software Applications (VPS), pp. 419–426.

SEKE-1995-ReynoldsBRB #evolution #re-engineering

Evolution Based Approaches to Software Engineering: Culturing Software (RGR, VRB, VR, NGB), p. 427.

SEKE-1995-Rosca #generative #synthesis #towards

Towards a New Generation of Program Synthesis Approaches (JPR), p. 428.

SEKE-1995-VerkamoL #development #problem #tool support

Problems in Interfacing Tools of Different Development Environments (AIV, GL), pp. 429–437.

SEKE-1995-ArefiMW #automation #editing #graph

The Graph Editor of EdGen, A Tool to Aid the Automated Construction of Customized Graph Editors (FA, MM, AW), pp. 438–445.

SEKE-1995-Lapujade #automation

Contraints, Rules and Modelisation in a Meta-CASE Tool (AL), pp. 446–453.

SEKE-1995-SchaferW #development

Cooperation Patterns for process-centred Software Development Environments (WS, SW), pp. 454–463.

SEKE-1995-Jent #execution #named #specification

DODAN/2: An Executable Specification Language for OS/2 (SAJ), pp. 464–469.

SEKE-1995-Lee #execution #logic programming #parallel #source code

Parallel Execution of Logic Programs with Breadth-first Search (WSL), pp. 470–477.

SEKE-1995-CanforaCT #maintenance #prolog

Prolog for Software Maintenance (GC, AC, MT), pp. 478–486.

SEKE-1995-Junkermann #design #process

A Dedicated Process Design Language based on EER-models, Statecharts and Tables (GJ), pp. 487–496.

SEKE-1995-WangCCCP #database #documentation #pattern matching #tool support

An Integrated Toolkit for Pattern Matching and Pattern Discovery in Scientific, Program, and Document databases (JTLW, GWC, CYC, GJSC, KP), p. 497.

SEKE-1995-BerzineLS #prototype

Computer Aided Prototyping System (VB, L, MtS), p. 499.

SEKE-1995-Auguston #compilation #programming language

Programming language RIGAL as a compiler writing tool (MA), p. 500.