• 
  Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. 2003

Keynote 1

• 
  Athula Ginige: Re-engineering Software Development Process for eBusiness Application Development. 1-8

Session 1A: Web Engineering

• 
  Martti Jeenicke, Wolf-Gideon Bleek, Ralf Klischewski: Revealing Web User Requirements through e-Prototyping. 9-16
• 
  Rachatrin Tongrungrojana, David Lowe: WebML+: a Web modeling language for forming a bridge between business modeling and information modeling. 17-24
• 
  Gennaro Costagliola, Sergio Di Martino, Filomena Ferrucci: An Evaluation of Web3d Technologies from Developer's and End-User's Point of View. 25-32
• 
  Fusheng Wang, Carlo Zaniolo: Representing and Querying the Evolution of Databases and their Schemas in XML. 33-38

Session 1B: Software Maintenance

• 
  Antonio Fresa, Maria Carmela Annosi, F. Forte: Corrective Maintenance Process: a Case Study from a Telecom Software Development and Maintenance Organization. 39-45
• 
  Andrew Strelzoff: Revision Recognition for Scientific Computing: Theory and Application. 46-53
• 
  Pantti Netinianti, Tzilla Elrad: Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach. 54-60
• 
  Nicolas Anquetil, Káthia Marçal de Oliveira, Márcio Greyck Batista Dias, Marcelo Ramal, Ricardo de Moura Meneses: Knowledge for Software Maintenance. 61-68

Session 2A: Software Measurements

• 
  Mie Mie Thet Thwin, Tong-Seng Quah: Application of Neural Networks for Estimating Software Maintainability Using Object-Oriented Metrics. 69-73
• 
  Justin M. Beaver, Guy A. Schiavone: Spatial Data Analysis as a Software Quality Modeling Technique. 74-77
• 
  Marcela Genero, Francisco Ruiz, Mario Piattini, Coral Calero: Towards an Ontology for Software Measurement. 78-84

Session 2B: Agent Systems 1

• 
  Longbing Cao, Chunsheng Li, Chengqi Zhang, Ruwei Dai: Open Giant Intelligent Information Systems and Its Agent-Oriented Analysis and Design. 85-89
• 
  Paolo Ciancarini, Valentina Presutti, Luca Abeti: An Ontology Driven Design Method for inter-Agent Communication. 90-94
• 
  Marcello Sarini, Carla Simone: From Actors to Applications: Interpreting User Centered Design of Coordination Supports. 95-102
• 
  T. Tung Do, Manuel Kolp, Alain Pirotte: Social Patterns for Designing Multiagent Systems. 103-110

Session 3A: Software Visualization and Comprehension 1

• 
  Xiaodi Huang, Wei Lai: Automatic Abstraction of Graphs Based on Node Similarity for Graph Visualization. 111-118
• 
  Biao Jiang, Mao Lin Huang: Exploring UDDI Registries Using Modified OFDAV Browser. 119-123
• 
  Jing Dong, Sheng Yang: Extending UML to Visualize Design Patterns In Class Diagrams. 124-131
• 
  Jie Ren, Richard N. Taylor: Visualizing Software Architecture with Off-The-Shelf Components. 132-141

Session 3B: Formal Methods

• 
  Stephan Flake, Wolfgang Müller: Semantics of State-Oriented Expressions in the Object Constraint Language. 142-149
• 
  Zhijiang Dong, Yujian Fu, Xudong He: Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. 150-157
• 
  David Owen, Tim Menzies: Lurch: a Lightweight Alternative to Model Checking. 158-165
• 
  Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai: TILCO Temporal Logic for Real-Time Systems Implementation in C++. 166-173
• 
  Oscar Mondragon, Ann Q. Gates, Fadi Kassem: Automated Support for Property Specification Based on Patterns. 174-181

Keynote 2

• 
  Gio Wiederhold: The Product Flow Model. 182-186

Session 3A: Software Visualization and Comprehension 2

• 
  Jeff Michaud, Margaret-Anne D. Storey: The Role of Knowledge in Software Customization. 187-195
• 
  Cleidson R. B. de Souza, Hamilton L. R. Oliveira, Cleber R. P. da Rocha, Kléder Miranda Gonçalves, David F. Redmiles: Using Critiquing Systems for Inconsistency Detection in Software Engineering Models. 196-203
• 
  Zhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao: Partial Slicing for Large Programs. 204-207
• 
  Matinee Kiewkanya, Nongyao Jindasawat, Nakornthip Prompoon, Pornsiri Muenchaisri: Constructing Understandability Model from Design Metrics. 208-215

Session 4B: Agent Systems 2

• 
  M. Brian Blake, Andrew B. Williams: Developmental and Operational Processes for Agent-Oriented Database Navigation for Knowledge Discovery. 216-223
• 
  Anna Perini, Angelo Susi: Dealing with software design issues using an Agent-Oriented methodology. 224-231
• 
  K. Suzanne Barber, Dung N. Lam: Specifying and Analyzing Agent Architectures using the Agent Competency Framework. 232-239

Session 5A: Data Mining Approach to SE and KE

• 
  Matthias Baumgarten, Alex G. Büchner, John G. Hughes: Tree-Growth based Sequential and Associative Pattern Discovery. 240-244
• 
  Farhan Rafique, A. Anwar: An Efficient Knowledge Management Technique for finding Association Rules. 245-249
• 
  Ola Ågren: CHiC: A Fast Concept Hierarchy Constructor for Discrete or Mixed Mode Databases. 250-258
• 
  Chih Lai, Lawrence Stephanie, Meng Fang: Real-Time Mining of Partial Periodic Patterns. 259-266

Session 5B: Software and Knowledge Reuse

• 
  Hongyu Zhang, Stan Jarzabek: An XVCL-based Approach to Software Product Line Development. 267-275
• 
  Joseph Neelamkavil, Michael Kernahan: Extracting Knowledge from Technical Documents. 276-280
• 
  Carlos Fernández-Conde, Pedro A. González-Calero: Case-based Framework Instantiation. 281-288
• 
  Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento: Selection and Reuse of Software Design Patterns Using CBR and WordNet. 289-296
• 
  Kareem S. Aggour, Marc Pavese: ROADS: A Reusable, Optimizable Architecture for Decision Systems. 297-305

Session 6A: UML

• 
  Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.: Extending UML to Specify and Verify E-commerce Systems. 306-313
• 
  Luigi Lavazza, Giuseppe Occorso: Simulation-based Verification of UML models. 314-321
• 
  S. L. Kendal, K. Ashton, X. Chen: A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information Systems. 322-326
• 
  Luigi Lavazza: Rigorous Description of Software Requirements with UML. 327-334
• 
  Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento: Case-Based Reuse of UML Diagrams. 335-339

Session 6B: Software Process and Architecture 1

• 
  Daniel E. Cooke, Jason Denton: Software Engineering as Technology Transfer. 340-345
• 
  Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Relational Program Architecture for High Quality Software Development. 346-353
• 
  Jun Yan, Yun Yang, Gitesh K. Raikundalia: A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow Systems. 354-358
• 
  Thomas Schöbel-Theuer: On Variants of Genericity. 359-365
• 
  Mahmood Niazi, David Wilson, Didar Zowghi: A Framework for Guiding the Design of Effective Implementation Strategies for Software Process Improvement. 366-371

Session 7A: Knowledge Retrieval and Management

• 
  Roberto Boselli, Flavio De Paoli, Riccardo Dondi: Knowledge Organization and Retrieval in the MILK System. 372-376
• 
  Jürgen Münch, Jens Heidrich, Alexandra Daskovska: A Practical Way to Use Clustering and Context Knowledge for Software Project Planning. 377-384
• 
  Prashant Baheti, Laurie A. Williams, Aldo Dagnino, Andrew Cordes: On Identifying Deficiencies in a Knowledge Management System. 385-392
• 
  Sigrid Goldmann, Harald Holz, Michael M. Richter: Knowledge Management for Project Planning and Enactment in Software Engineering. 393-397

Session 7B: Software Process and Architecture 2

• 
  Hassan Reza, Xudong He: An Integrated Method to Software Architecture. 398-405
• 
  Michael Cebulla: Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic Architectures. 406-413
• 
  Maurizio Longo, P. Asprino, Antonio Fresa, N. Gaito: A Layered Architecture to Manage Complex Multimedia Services. 414-421
• 
  Daniela Micucci, Andrea Trentini: A Pattern-like Framework to Dynamically Change Components Behaviour. 422-426

Session 8A: Knowledge Acquisition

• 
  Zhou Jiehan, Haiyang Lan: Relative Index Term Frequency (RITF) Method. 427-431
• 
  Heather Richter, Gregory D. Abowd, Christopher A. Miller, Harry Funk: Tagging Knowledge Acquisition Sessions to Facilitate Knowledge Traceability. 432-439
• 
  Yachai Limpiyakorn, Ilene Burnstein: Integrating Signature Matching into Knowledge-Based Program Understanding. 440-444
• 
  Yao-Tsung Chen, Bingchiang Jeng: MFILM: a multi-dimensional fuzzy inductive learning method for knowledge acquisition. 445-449

Session 8B: Integrity, Security and Fault-Tolerance

• 
  Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Formal Software Architecture Design of Secure Distributed Systems. 450-457
• 
  Hui Ding, Can Zheng, Lui Sha, Gul Agha: Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. 458-466
• 
  Dongfeng Wang, Farokh B. Bastani, I-Ling Yen: Automated Software Design of Process-Control Systems. 467-474
• 
  M. Todd Gamble, Rose F. Gamble, Leigh A. Davis: Defining Change Management Properties for Component Interoperability Assessment. 475-482
• 
  Ibrahim S. Abdullah, Edgar H. Sibley: A Step toward building Dynamic Security Infrastructure. 483-488

Session 9A: Distributed Software Development

• 
  Seija Komi-Sirviö, Maarit Tihinen: Great Challenges and Opportunities of Distributed Software Development - An Industrial Survey. 489-496
• 
  Lerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato: GENESIS: A Flexible and Distributed Environment for Cooperative Software Engineering. 497-502
• 
  Andrea Trentini, Francesca Arcelli Fontana, Francesco Tisato: A Distributed Document Management Approach for Workflow Support in the DBSA Architecture. 503-509
• 
  Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith: Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. 510-517
• 
  Xiaoxing Ma, Jian Lu, Jiannong Cao, Alvin T. S. Chan, Kang Zhang: A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture. 518-525

Session 9B: Spatial Reasoning and Search

• 
  Chee Fon Chang, Aneesh Krishna, Aditya K. Ghose: Agent-assisted Distributed Requirements Elicitation and Management. 526-533
• 
  Ronald Maier, Johannes Sametinger: Infotop - A Shared-context Information Workspace. 534-541
• 
  Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee: Analysing Web Ontology in Alloy: A Military Case Study. 542-546
• 
  Tetsuya Suzuki, Takehiro Tokuda: Path Set Operations for Clipping of Parts of Web Pages and Information Extraction from Web pages. 547-554
• 
  Fabio Pittarello: 3D Time-pillars: an information access metaphor for the TV Domain. 555-560

Session 10A: Requirements Engineering

• 
  K. Suzanne Barber, Jim Holt, Geoff Baker: Early Multi-Level Software Architecture Performance Evaluations. 561-569
• 
  George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman: Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. 570-577
• 
  Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio: From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. 578-585
• 
  An Ngo-The, Günther Ruhe: Requirements Negotiation under Incompleteness and Uncertainty. 586-593
• 
  Huaqing Li, Shaoyu Wang, Feihu Qi: A Fast Binary Tree Based Face Recognition Algorithm. 594-598

Session 10B: Software Testing and Software Education

• 
  Shuyi Shao, Shi-Kuo Chang: Management of the Growing Book as Generalized Objects. 599-606
• 
  Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski: Better Analysis of Defect Data at NASA. 607-611
• 
  Patricio Letelier, José Hilario Canós Cerdá, Emilio A. Sánchez: Working with Extreme Programming in a Software Development Laboratory. 612-615
• 
  Eugene Y. Sheng: The Algorithm Tutor. 616-620

Session 11A: Data Mining for SE and KE 1

• 
  Xiaowei Yan, Chengqi Zhang, Shichao Zhang: A Database-Independent Strategy for Confidence Determination. 621-625
• 
  Ned Chapin, Mira Kajko-Mattsson: Validative measurement in software engineering: a data mining example. 626-633
• 
  Ching-Seh Wu, Dick B. Simmons: A Data Mining Approach for Dynamic Software Project Plan Tracking. 634-638

Session 11B: Software Engineering and Decision Support 1

• 
  Michael Ochs: Using Software Risk Management for Deriving Method Requirements for Risk Mitigation in COTS Assessment and Selection. 639-646
• 
  Leila Meshkat, Martin S. Feather, Steven L. Cornford: Traceability and Decision Capture in Semi-structured Contexts. 647-654
• 
  Tim Menzies, James D. Kiper, Martin S. Feather: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. 655-662
• 
  Daniela Grigori, François Charoy, Claude Godart: COO-flow: a Process Technology to Support Cooperative Processes. 663-670
• 
  Jun-Jang Jeng, Stephen J. Buckley, Henry Chang, Jen-Yao Chung: A Holonic Framework for Business Activity Management. 671-678

Session 12A: Data Mining for SE and KE 2

• 
  Chih Lai, Szara Loring, Joe Breuer: Mining Access Patterns for Enhancing Navigational Access in Object-Oriented Database. 679-684
• 
  Honghua Dai, Wei Dai: Software Warehouse and Its Management Strategies. 685-690
• 
  James N. K. Liu, Raymond W. M. Kwong, Meng Wang, Danny K. Y. Sin: An Integrated Framework for Knowledge Management and Discovery of Tropical Cyclone Movements. 691-698
• 
  Shu-chuan Lo, Jia-hui Chang: Application of Clustering Techniques to Component Architecture Design. 699-705

Session 12B: Software Engineering and Decision Support 2

• 
  Sandro Morasca: A Bayesian Approach to Software Testing Evaluation. 706-713
• 
  Gerardo Canfora, Luigi Cerulo, Rosa Preziosi, Luigi Troiano: A Tool for Decision Support Implementing OFNWA Approach: A Case Study. 714-720
• 
  Paolo Ciancarini, Rocco Moretti: Towards a Framework for Web Sites Quality Evaluation. 721-725
• 
  Richard Cole, Thomas Tilley: Conceptual Analysis of Software Structure. 726-733