Table of Contents

• Re-engineering Software Development Process for eBusiness Application DevelopmentAthula Ginige. 1-8
• Revealing Web User Requirements through e-PrototypingMartti Jeenicke, Wolf-Gideon Bleek, Ralf Klischewski. 9-16
• WebML+: a Web modeling language for forming a bridge between business modeling and information modelingRachatrin Tongrungrojana, David Lowe. 17-24
• An Evaluation of Web3d Technologies from Developer s and End-User s Point of ViewGennaro Costagliola, Sergio Di Martino, Filomena Ferrucci. 25-32
• Representing and Querying the Evolution of Databases and their Schemas in XMLFusheng Wang, Carlo Zaniolo. 33-38
• Corrective Maintenance Process: a Case Study from a Telecom Software Development and Maintenance OrganizationAntonio Fresa, Maria Carmela Annosi, F. Forte. 39-45
• Revision Recognition for Scientific Computing: Theory and ApplicationAndrew Strelzoff. 46-53
• Adding Verification Property of Inter-Processes Using Aspect-Oriented ApproachPantti Netinianti, Tzilla Elrad. 54-60
• Knowledge for Software MaintenanceNicolas Anquetil, Káthia Marçal de Oliveira, Márcio Greyck Batista Dias, Marcelo Ramal, Ricardo de Moura Meneses. 61-68
• Application of Neural Networks for Estimating Software Maintainability Using Object-Oriented MetricsMie Mie Thet Thwin, Tong-Seng Quah. 69-73
• Spatial Data Analysis as a Software Quality Modeling TechniqueJustin M. Beaver, Guy A. Schiavone. 74-77
• Towards an Ontology for Software MeasurementMarcela Genero, Francisco Ruiz, Mario Piattini, Coral Calero. 78-84
• Open Giant Intelligent Information Systems and Its Agent-Oriented Analysis and DesignLongbing Cao, Chunsheng Li, Chengqi Zhang, Ruwei Dai. 85-89
• An Ontology Driven Design Method for inter-Agent CommunicationPaolo Ciancarini, Valentina Presutti, Luca Abeti. 90-94
• From Actors to Applications: Interpreting User Centered Design of Coordination SupportsMarcello Sarini, Carla Simone. 95-102
• Social Patterns for Designing Multiagent SystemsT. Tung Do, Manuel Kolp, Alain Pirotte. 103-110
• Automatic Abstraction of Graphs Based on Node Similarity for Graph VisualizationXiaodi Huang, Wei Lai. 111-118
• Exploring UDDI Registries Using Modified OFDAV BrowserBiao Jiang, Mao Lin Huang. 119-123
• Extending UML to Visualize Design Patterns In Class DiagramsJing Dong, Sheng Yang. 124-131
• Visualizing Software Architecture with Off-The-Shelf ComponentsJie Ren, Richard N. Taylor. 132-141
• Semantics of State-Oriented Expressions in the Object Constraint LanguageStephan Flake, Wolfgang Müller 0003. 142-149
• Deriving Hierarchical Predicate/Transition Nets from Statechart DiagramsZhijiang Dong, Yujian Fu, Xudong He. 150-157
• Lurch: a Lightweight Alternative to Model CheckingDavid Owen, Tim Menzies. 158-165
• TILCO Temporal Logic for Real-Time Systems Implementation in C++Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai. 166-173
• Automated Support for Property Specification Based on PatternsOscar Mondragon, Ann Q. Gates, Fadi Kassem. 174-181
• The Product Flow ModelGio Wiederhold. 182-186
• The Role of Knowledge in Software CustomizationJeff Michaud, Margaret-Anne D. Storey. 187-195
• Using Critiquing Systems for Inconsistency Detection in Software Engineering ModelsCleidson R. B. de Souza, Hamilton L. R. Oliveira, Cleber R. P. da Rocha, Kléder Miranda Gonçalves, David F. Redmiles. 196-203
• Partial Slicing for Large ProgramsZhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao. 204-207
• Constructing Understandability Model from Design MetricsMatinee Kiewkanya, Nongyao Jindasawat, Nakornthip Prompoon, Pornsiri Muenchaisri. 208-215
• Developmental and Operational Processes for Agent-Oriented Database Navigation for Knowledge DiscoveryM. Brian Blake, Andrew B. Williams. 216-223
• Dealing with software design issues using an Agent-Oriented methodologyAnna Perini, Angelo Susi. 224-231
• Specifying and Analyzing Agent Architectures using the Agent Competency FrameworkK. Suzanne Barber, Dung N. Lam. 232-239
• Tree-Growth based Sequential and Associative Pattern DiscoveryMatthias Baumgarten, Alex G. Büchner, John G. Hughes. 240-244
• An Efficient Knowledge Management Technique for finding Association RulesFarhan Rafique, A. Anwar. 245-249
• CHiC: A Fast Concept Hierarchy Constructor for Discrete or Mixed Mode DatabasesOla Ågren. 250-258
• Real-Time Mining of Partial Periodic PatternsChih Lai, Lawrence Stephanie, Meng Fang. 259-266
• An XVCL-based Approach to Software Product Line DevelopmentHongyu Zhang, Stan Jarzabek. 267-275
• Extracting Knowledge from Technical DocumentsJoseph Neelamkavil, Michael Kernahan. 276-280
• Case-based Framework InstantiationCarlos Fernández-Conde, Pedro A. González-Calero. 281-288
• Selection and Reuse of Software Design Patterns Using CBR and WordNetPaulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento. 289-296
• ROADS: A Reusable, Optimizable Architecture for Decision SystemsKareem S. Aggour, Marc Pavese. 297-305
• Extending UML to Specify and Verify E-commerce SystemsMark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.. 306-313
• Simulation-based Verification of UML modelsLuigi Lavazza, Giuseppe Occorso. 314-321
• A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information SystemsS. L. Kendal, K. Ashton, X. Chen. 322-326
• Rigorous Description of Software Requirements with UMLLuigi Lavazza. 327-334
• Case-Based Reuse of UML DiagramsPaulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento. 335-339
• Software Engineering as Technology TransferDaniel E. Cooke, Jason Denton. 340-345
• Relational Program Architecture for High Quality Software DevelopmentDongfeng Wang, Farokh B. Bastani, I-Ling Yen. 346-353
• A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow SystemsJun Yan, Yun Yang, Gitesh K. Raikundalia. 354-358
• On Variants of GenericityThomas Schöbel-Theuer. 359-365
• A Framework for Guiding the Design of Effective Implementation Strategies for Software Process ImprovementMahmood Niazi, David Wilson, Didar Zowghi. 366-371
• Knowledge Organization and Retrieval in the MILK SystemRoberto Boselli, Flavio De Paoli, Riccardo Dondi. 372-376
• A Practical Way to Use Clustering and Context Knowledge for Software Project PlanningJürgen Münch, Jens Heidrich, Alexandra Daskovska. 377-384
• On Identifying Deficiencies in a Knowledge Management SystemPrashant Baheti, Laurie A. Williams, Aldo Dagnino, Andrew Cordes. 385-392
• Knowledge Management for Project Planning and Enactment in Software EngineeringSigrid Goldmann, Harald Holz, Michael M. Richter. 393-397
• An Integrated Method to Software ArchitectureHassan Reza, Xudong He. 398-405
• Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic ArchitecturesMichael Cebulla. 406-413
• A Layered Architecture to Manage Complex Multimedia ServicesMaurizio Longo, P. Asprino, Antonio Fresa, N. Gaito. 414-421
• A Pattern-like Framework to Dynamically Change Components BehaviourDaniela Micucci, Andrea Trentini. 422-426
• Relative Index Term Frequency (RITF) MethodZhou Jiehan, Haiyang Lan. 427-431
• Tagging Knowledge Acquisition Sessions to Facilitate Knowledge TraceabilityHeather Richter, Gregory D. Abowd, Christopher A. Miller, Harry Funk. 432-439
• Integrating Signature Matching into Knowledge-Based Program UnderstandingYachai Limpiyakorn, Ilene Burnstein. 440-444
• MFILM: a multi-dimensional fuzzy inductive learning method for knowledge acquisitionYao-Tsung Chen, Bingchiang Jeng. 445-449
• Formal Software Architecture Design of Secure Distributed SystemsHuiqun Yu, Xudong He, Shu Gao, Yi Deng. 450-457
• Specification and Validation of Fault-Tolerant Software Architectures Based on Actor ModelHui Ding, Can Zheng, Lui Sha, Gul Agha. 458-466
• Automated Software Design of Process-Control SystemsDongfeng Wang, Farokh B. Bastani, I-Ling Yen. 467-474
• Defining Change Management Properties for Component Interoperability AssessmentM. Todd Gamble, Rose F. Gamble, Leigh A. Davis. 475-482
• A Step toward building Dynamic Security InfrastructureIbrahim S. Abdullah, Edgar H. Sibley. 483-488
• Great Challenges and Opportunities of Distributed Software Development - An Industrial SurveySeija Komi-Sirviö, Maarit Tihinen. 489-496
• GENESIS: A Flexible and Distributed Environment for Cooperative Software EngineeringLerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato. 497-502
• A Distributed Document Management Approach for Workflow Support in the DBSA ArchitectureAndrea Trentini, Francesca Arcelli Fontana, Francesco Tisato. 503-509
• Integrating Publish/Subscribe into a Mobile Teamwork Support PlatformSagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith. 510-517
• A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software ArchitectureXiaoxing Ma, Jian Lu, Jiannong Cao, Alvin T. S. Chan, Kang Zhang. 518-525
• Agent-assisted Distributed Requirements Elicitation and ManagementChee Fon Chang, Aneesh Krishna, Aditya K. Ghose. 526-533
• Infotop - A Shared-context Information WorkspaceRonald Maier, Johannes Sametinger. 534-541
• Analysing Web Ontology in Alloy: A Military Case StudyJin Song Dong, Jun Sun 0001, Hai H. Wang, Chew Hung Lee, Hian Beng Lee. 542-546
• Path Set Operations for Clipping of Parts of Web Pages and Information Extraction from Web pagesTetsuya Suzuki, Takehiro Tokuda. 547-554
• 3D Time-pillars: an information access metaphor for the TV DomainFabio Pittarello. 555-560
• Early Multi-Level Software Architecture Performance EvaluationsK. Suzanne Barber, Jim Holt, Geoff Baker. 561-569
• Revising Rules to Capture Requirements Traceability Relations: A Machine Learning ApproachGeorge Spanoudakis, Artur S. d Avila Garcez, Andrea Zisman. 570-577
• From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented TechniquesEgidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio. 578-585
• Requirements Negotiation under Incompleteness and UncertaintyAn Ngo The, Günther Ruhe. 586-593
• A Fast Binary Tree Based Face Recognition AlgorithmHuaqing Li, Shaoyu Wang, Feihu Qi. 594-598
• Management of the Growing Book as Generalized ObjectsShuyi Shao, Shi-Kuo Chang. 599-606
• Better Analysis of Defect Data at NASATim Menzies, Robyn R. Lutz, Ines Carmen Mikulski. 607-611
• Working with Extreme Programming in a Software Development LaboratoryPatricio Letelier, José Hilario Canós Cerdá, Emilio A. Sánchez. 612-615
• The Algorithm TutorEugene Y. Sheng. 616-620
• A Database-Independent Strategy for Confidence DeterminationXiaowei Yan, Chengqi Zhang, Shichao Zhang. 621-625
• Validative measurement in software engineering: a data mining exampleNed Chapin, Mira Kajko-Mattsson. 626-633
• A Data Mining Approach for Dynamic Software Project Plan TrackingChing-Seh Wu, Dick B. Simmons. 634-638
• Using Software Risk Management for Deriving Method Requirements for Risk Mitigation in COTS Assessment and SelectionMichael Ochs. 639-646
• Traceability and Decision Capture in Semi-structured ContextsLeila Meshkat, Martin S. Feather, Steven L. Cornford. 647-654
• Improved Software Engineering Decision Support Through Automatic Argument Reduction ToolsTim Menzies, James D. Kiper, Martin S. Feather. 655-662
• COO-flow: a Process Technology to Support Cooperative ProcessesDaniela Grigori, François Charoy, Claude Godart. 663-670
• A Holonic Framework for Business Activity ManagementJun-Jang Jeng, Stephen J. Buckley, Henry Chang, Jen-Yao Chung. 671-678
• Mining Access Patterns for Enhancing Navigational Access in Object-Oriented DatabaseChih Lai, Szara Loring, Joe Breuer. 679-684
• Software Warehouse and Its Management StrategiesHonghua Dai, Wei Dai. 685-690
• An Integrated Framework for Knowledge Management and Discovery of Tropical Cyclone MovementsJames N. K. Liu, Raymond W. M. Kwong, Meng Wang, Danny K. Y. Sin. 691-698
• Application of Clustering Techniques to Component Architecture DesignShu-chuan Lo, Jia-hui Chang. 699-705
• A Bayesian Approach to Software Testing EvaluationSandro Morasca. 706-713
• A Tool for Decision Support Implementing OFNWA Approach: A Case StudyGerardo Canfora, Luigi Cerulo, Rosa Preziosi, Luigi Troiano. 714-720
• Towards a Framework for Web Sites Quality EvaluationPaolo Ciancarini, Rocco Moretti. 721-725
• Conceptual Analysis of Software StructureRichard Cole, Thomas Tilley. 726-733