Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2003.

@proceedings{SEKE-2003,
	address       = "San Francisco Bay, California, USA",
	title         = "{Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2003,
}

Contents (104 items)

14 ×#information management
13 ×#architecture
10 ×#design
9 ×#framework
9 ×#using
8 ×#approach
7 ×#development
7 ×#distributed
7 ×#named
7 ×#re-engineering

SEKE-2003-Ginige #development #process #re-engineering

Re-engineering Software Development Process for eBusiness Application Development (AG), pp. 1–8.

SEKE-2003-JeenickeGK #prototype #requirements #web

Revealing Web User Requirements through e-Prototyping (MJ, WGB, RK), pp. 9–16.

SEKE-2003-TongrungrojanaL #modelling #web

WebML+: a Web modeling language for forming a bridge between business modeling and information modeling (RT, DBL), pp. 17–24.

SEKE-2003-CostagliolaMF #3d #developer #evaluation #perspective #web

An Evaluation of Web3d Technologies from Developer’s and End-User’s Point of View (GC, SDM, FF), pp. 25–32.

SEKE-2003-WangZ #database #evolution #query #representation #xml

Representing and Querying the Evolution of Databases and their Schemas in XML (FW, CZ), pp. 33–38.

SEKE-2003-FresaAF #case study #development #maintenance #process

Corrective Maintenance Process: a Case Study from a Telecom Software Development and Maintenance Organization (AF, MCA, FF), pp. 39–45.

SEKE-2003-Strelzoff #recognition #theory and practice

Revision Recognition for Scientific Computing: Theory and Application (AS), pp. 46–53.

SEKE-2003-NetiniantiE #approach #aspect-oriented #using #verification

Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach (PN, TE), pp. 54–60.

SEKE-2003-AnquetilODRM #maintenance

Knowledge for Software Maintenance (NA, KMdO, MGBD, MR, RdMM), pp. 61–68.

SEKE-2003-ThwinQ #maintenance #metric #network #object-oriented #using

Application of Neural Networks for Estimating Software Maintainability Using Object-Oriented Metrics (MMTT, TSQ), pp. 69–73.

SEKE-2003-BeaverS #data analysis #modelling #quality

Spatial Data Analysis as a Software Quality Modeling Technique (JMB, GAS), pp. 74–77.

SEKE-2003-GeneroRPC #metric #ontology #towards

Towards an Ontology for Software Measurement (MG, FR, MP, CC), pp. 78–84.

SEKE-2003-CaoLZD #analysis #design #information management

Open Giant Intelligent Information Systems and Its Agent-Oriented Analysis and Design (LC, CL, CZ, RD), pp. 85–89.

SEKE-2003-CiancariniPA #communication #design #ontology

An Ontology Driven Design Method for inter-Agent Communication (PC, VP, LA), pp. 90–94.

SEKE-2003-SariniS #coordination #design

From Actors to Applications: Interpreting User Centered Design of Coordination Supports (MS, CS), pp. 95–102.

SEKE-2003-DoKP #design #multi #social

Social Patterns for Designing Multiagent Systems (TTD, MK, AP), pp. 103–110.

SEKE-2003-HuangL #abstraction #automation #graph #similarity #visualisation

Automatic Abstraction of Graphs Based on Node Similarity for Graph Visualization (XH, WL), pp. 111–118.

SEKE-2003-JiangH #using

Exploring UDDI Registries Using Modified OFDAV Browser (BJ, MLH), pp. 119–123.

SEKE-2003-DongY #design pattern #diagrams #uml #visualisation

Extending UML to Visualize Design Patterns In Class Diagrams (JD, SY), pp. 124–131.

SEKE-2003-RenT #architecture #component #off the shelf #visualisation

Visualizing Software Architecture with Off-The-Shelf Components (JR, RNT), pp. 132–141.

SEKE-2003-FlakeM #constraints #ocl #semantics

Semantics of State-Oriented Expressions in the Object Constraint Language (SF, WM), pp. 142–149.

SEKE-2003-DongFH #diagrams #statechart

Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.

SEKE-2003-OwenM #lightweight #model checking #named

Lurch: a Lightweight Alternative to Model Checking (DO, TM), pp. 158–165.

SEKE-2003-BelliniGNR #c++ #implementation #logic #realtime

TILCO Temporal Logic for Real-Time Systems Implementation in C++ (PB, AG, PN, DR), pp. 166–173.

SEKE-2003-MondragonGK #automation #specification

Automated Support for Property Specification Based on Patterns (OM, AQG, FK), pp. 174–181.

SEKE-2003-Wiederhold

The Product Flow Model (GW), pp. 182–186.

SEKE-2003-MichaudS #information management

The Role of Knowledge in Software Customization (JM, MADS), pp. 187–195.

SEKE-2003-SouzaORGR #consistency #detection #modelling #nondeterminism #re-engineering #using

Using Critiquing Systems for Inconsistency Detection in Software Engineering Models (CRBdS, HLRO, CRPdR, KMG, DFR), pp. 196–203.

SEKE-2003-ChenXCYZ #scalability #slicing #source code

Partial Slicing for Large Programs (ZC, BX, WCC, HY, JZ), pp. 204–207.

SEKE-2003-KiewkanyaJPM #design #metric

Constructing Understandability Model from Design Metrics (MK, NJ, NP, PM), pp. 208–215.

SEKE-2003-BlakeW #database #information management #navigation #process

Developmental and Operational Processes for Agent-Oriented Database Navigation for Knowledge Discovery (MBB, ABW), pp. 216–223.

SEKE-2003-PeriniS #design #using

Dealing with software design issues using an Agent-Oriented methodology (AP, AS), pp. 224–231.

SEKE-2003-BarberL #architecture #framework #specification #using

Specifying and Analyzing Agent Architectures using the Agent Competency Framework (KSB, DNL), pp. 232–239.

SEKE-2003-BaumgartenBH

Tree-Growth based Sequential and Associative Pattern Discovery (MB, AGB, JGH), pp. 240–244.

SEKE-2003-RafiqueA #information management #performance

An Efficient Knowledge Management Technique for finding Association Rules (FR, AA), pp. 245–249.

SEKE-2003-Agren #concept #database #named #performance

CHiC: A Fast Concept Hierarchy Constructor for Discrete or Mixed Mode Databases (OÅ), pp. 250–258.

SEKE-2003-LaiSF #mining #realtime

Real-Time Mining of Partial Periodic Patterns (CL, LS, MF), pp. 259–266.

SEKE-2003-ZhangJ #approach #development #product line

An XVCL-based Approach to Software Product Line Development (HZ, SJ), pp. 267–275.

SEKE-2003-NeelamkavilK #documentation

Extracting Knowledge from Technical Documents (JN, MK), pp. 276–280.

SEKE-2003-Fernandez-CondeG #framework

Case-based Framework Instantiation (CFC, PAGC), pp. 281–288.

SEKE-2003-GomesPPSCFB #design pattern #reuse #using

Selection and Reuse of Software Design Patterns Using CBR and WordNet (PG, FCP, PP, NS, PC, JLF, CB), pp. 289–296.

SEKE-2003-AggourP #architecture #named #reuse

ROADS: A Reusable, Optimizable Architecture for Decision Systems (KSA, MP), pp. 297–305.

SEKE-2003-SongPLGCM #e-commerce #uml #verification

Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.

SEKE-2003-LavazzaO #modelling #uml #verification

Simulation-based Verification of UML models (LL, GO), pp. 314–321.

SEKE-2003-KendalAC #development #hybrid #information management #overview

A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information Systems (SLK, KA, XC), pp. 322–326.

SEKE-2003-Lavazza #requirements #uml

Rigorous Description of Software Requirements with UML (LL), pp. 327–334.

SEKE-2003-GomesPPSCFB03a #diagrams #reuse #uml #using

Case-Based Reuse of UML Diagrams (PG, FCP, PP, NS, PC, JLF, CB), pp. 335–339.

SEKE-2003-CookeD #re-engineering

Software Engineering as Technology Transfer (DEC, JD), pp. 340–345.

SEKE-2003-WangBY #architecture #development #quality #relational

Relational Program Architecture for High Quality Software Development (DW, FBB, ILY), pp. 346–353.

SEKE-2003-YanYR #distributed #peer-to-peer #workflow

A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow Systems (JY, YY, GKR), pp. 354–358.

SEKE-2003-Schobel-Theuer #on the

On Variants of Genericity (TST), pp. 359–365.

SEKE-2003-NiaziWZ #design #effectiveness #framework #implementation #process

A Framework for Guiding the Design of Effective Implementation Strategies for Software Process Improvement (MN, DW, DZ), pp. 366–371.

SEKE-2003-BoselliPD #information management #retrieval

Knowledge Organization and Retrieval in the MILK System (RB, FDP, RD), pp. 372–376.

SEKE-2003-MunchHD #clustering

A Practical Way to Use Clustering and Context Knowledge for Software Project Planning (JM, JH, AD), pp. 377–384.

SEKE-2003-BahetiWDC #identification #information management #on the

On Identifying Deficiencies in a Knowledge Management System (PB, LAW, AD, AC), pp. 385–392.

SEKE-2003-GoldmannHR #information management #re-engineering

Knowledge Management for Project Planning and Enactment in Software Engineering (SG, HH, MMR), pp. 393–397.

SEKE-2003-RezaH #architecture

An Integrated Method to Software Architecture (HR, XH), pp. 398–405.

SEKE-2003-Cebulla #adaptation #architecture #reasoning #using #variability

Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic Architectures (MC), pp. 406–413.

SEKE-2003-LongoAFG #architecture #multi

A Layered Architecture to Manage Complex Multimedia Services (ML, PA, AF, NG), pp. 414–421.

SEKE-2003-MicucciT #behaviour #component #framework

A Pattern-like Framework to Dynamically Change Components Behaviour (DM, AT), pp. 422–426.

SEKE-2003-JiehanL

Relative Index Term Frequency (RITF) Method (ZJ, HL), pp. 427–431.

SEKE-2003-RichterAMF #information management #traceability

Tagging Knowledge Acquisition Sessions to Facilitate Knowledge Traceability (HR, GDA, CAM, HF), pp. 432–439.

SEKE-2003-LimpiyakornB #comprehension #knowledge-based

Integrating Signature Matching into Knowledge-Based Program Understanding (YL, IB), pp. 440–444.

SEKE-2003-ChenJ #fuzzy #induction #information management #learning #multi #named

MFILM: a multi-dimensional fuzzy inductive learning method for knowledge acquisition (YTC, BJ), pp. 445–449.

SEKE-2003-YuHGD #architecture #design #distributed #formal method

Formal Software Architecture Design of Secure Distributed Systems (HY, XH, SG, YD), pp. 450–457.

SEKE-2003-DingZSA #architecture #fault tolerance #specification #validation

Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model (HD, CZ, LS, GA), pp. 458–466.

SEKE-2003-WangBY03a #automation #design

Automated Software Design of Process-Control Systems (DW, FBB, ILY), pp. 467–474.

SEKE-2003-GambleGD #assessment #component

Defining Change Management Properties for Component Interoperability Assessment (MTG, RFG, LAD), pp. 475–482.

SEKE-2003-AbdullahS #framework #security #towards

A Step toward building Dynamic Security Infrastructure (ISA, EHS), pp. 483–488.

SEKE-2003-Komi-SirvioT #challenge #development #distributed #industrial #overview

Great Challenges and Opportunities of Distributed Software Development — An Industrial Survey (SKS, MT), pp. 489–496.

SEKE-2003-AversanoLGR #distributed #flexibility #named #overview #re-engineering

GENESIS: A Flexible and Distributed Environment for Cooperative Software Engineering (LA, ADL, MG, PR), pp. 497–502.

SEKE-2003-TrentiniFT #approach #architecture #distributed #documentation #workflow

A Distributed Document Management Approach for Workflow Support in the DBSA Architecture (AT, FAF, FT), pp. 503–509.

SEKE-2003-ChakiFGJKV #framework #mobile #platform

Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (SC, PF, HCG, SJ, EK, HV), pp. 510–517.

SEKE-2003-MaLCCZ #approach #architecture #distributed #implementation

A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture (XM, JL, JC, ATSC, KZ), pp. 518–525.

SEKE-2003-ChangKG #distributed #elicitation #requirements

Agent-assisted Distributed Requirements Elicitation and Management (CFC, AK, AKG), pp. 526–533.

SEKE-2003-MaierS #information management #named

Infotop — A Shared-context Information Workspace (RM, JS), pp. 534–541.

SEKE-2003-DongSWLL #alloy #case study #ontology #web

Analysing Web Ontology in Alloy: A Military Case Study (JSD, JS, HHW, CHL, HBL), pp. 542–546.

SEKE-2003-SuzukiT #information management #set #web

Path Set Operations for Clipping of Parts of Web Pages and Information Extraction from Web pages (TS, TT), pp. 547–554.

SEKE-2003-Pittarello #3d #information management

3D Time-pillars: an information access metaphor for the TV Domain (FP), pp. 555–560.

SEKE-2003-BarberHB #architecture #multi #performance

Early Multi-Level Software Architecture Performance Evaluations (KSB, JH, GB), pp. 561–569.

SEKE-2003-SpanoudakisGZ #approach #machine learning #requirements #traceability

Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach (GS, ASdG, AZ), pp. 570–577.

SEKE-2003-AstesianoMMR #execution #multi #prototype #specification

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques (EA, MM, VM, GR), pp. 578–585.

SEKE-2003-Ngo-TheR #nondeterminism #requirements

Requirements Negotiation under Incompleteness and Uncertainty (ANT, GR), pp. 586–593.

SEKE-2003-LiWQ #algorithm #performance #recognition

A Fast Binary Tree Based Face Recognition Algorithm (HL, SW, FQ), pp. 594–598.

SEKE-2003-ShaoC

Management of the Growing Book as Generalized Objects (SS, SKC), pp. 599–606.

SEKE-2003-MenziesLM #analysis #fault

Better Analysis of Defect Data at NASA (TM, RRL, ICM), pp. 607–611.

SEKE-2003-LetelierCS #development #programming

Working with Extreme Programming in a Software Development Laboratory (PL, JHCC, EAS), pp. 612–615.

SEKE-2003-Sheng #algorithm

The Algorithm Tutor (EYS), pp. 616–620.

SEKE-2003-YanZZ #independence

A Database-Independent Strategy for Confidence Determination (XY, CZ, SZ), pp. 621–625.

SEKE-2003-ChapinK #data mining #metric #mining #re-engineering

Validative measurement in software engineering: a data mining example (NC, MKM), pp. 626–633.

SEKE-2003-WuS #approach #data mining #mining

A Data Mining Approach for Dynamic Software Project Plan Tracking (CSW, DBS), pp. 634–638.

SEKE-2003-Ochs #assessment #off the shelf #requirements #risk management #using

Using Software Risk Management for Deriving Method Requirements for Risk Mitigation in COTS Assessment and Selection (MO), pp. 639–646.

SEKE-2003-MeshkatFC #traceability

Traceability and Decision Capture in Semi-structured Contexts (LM, MSF, SLC), pp. 647–654.

SEKE-2003-MenziesKF #automation #re-engineering #reduction #tool support

Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools (TM, JDK, MSF), pp. 655–662.

SEKE-2003-GrigoriCG #named #process

COO-flow: a Process Technology to Support Cooperative Processes (DG, FC, CG), pp. 663–670.

SEKE-2003-JengBCC #framework #process

A Holonic Framework for Business Activity Management (JJJ, SJB, HC, JYC), pp. 671–678.

SEKE-2003-LaiLB #data access #database #mining #object-oriented

Mining Access Patterns for Enhancing Navigational Access in Object-Oriented Database (CL, SL, JB), pp. 679–684.

SEKE-2003-DaiD

Software Warehouse and Its Management Strategies (HD, WD), pp. 685–690.

SEKE-2003-LiuKMS #framework #information management

An Integrated Framework for Knowledge Management and Discovery of Tropical Cyclone Movements (JNKL, RWMK, MW, DKYS), pp. 691–698.

SEKE-2003-LoC #architecture #clustering #component #design

Application of Clustering Techniques to Component Architecture Design (ScL, JhC), pp. 699–705.

SEKE-2003-Morasca #approach #evaluation #testing

A Bayesian Approach to Software Testing Evaluation (SM), pp. 706–713.

SEKE-2003-CanforaCPT #approach #case study #implementation

A Tool for Decision Support Implementing OFNWA Approach: A Case Study (GC, LC, RP, LT), pp. 714–720.

SEKE-2003-CiancariniM #evaluation #framework #quality #towards #web

Towards a Framework for Web Sites Quality Evaluation (PC, RM), pp. 721–725.

SEKE-2003-ColeT #analysis #concept

Conceptual Analysis of Software Structure (RC, TT), pp. 726–733.