Table of Contents

• KeynoteJoe Urban. 1
• Constructing Self-Adaptive Systems with Polymorphic Software ArchitectureXiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu. 2-8
• Odyssey-MDA: A Transformational Approach to Component ModelsNatanael Maia, Ana Paula Terra Bacelo, Cláudia Maria Lima Werner. 9-14
• An Empirical Exporatory Study on Inferring Developpers Activities from Low-Level DataIrina Diana Coman, Alberto Sillitti. 15-18
• TRAP.NET: A Realization of Transparent Shaping in .NETSeyed Masoud Sadjadi, Fernando Trigoso. 19-24
• A Framework for Selecting Agile Practices and Defining Agile Software ProcessesPatricia Vilain, Priscila Basto Fagundes, Thiago Leao Machado. 25-28
• A Proposal to Delegate GUI Implementation using a Source Code based ModelMarco Monteiro, Paula Oliveira, Ramiro Gonçalves. 29-32
• Cost-based Analysis of Multiple Counter-ExamplesFlavian Vasile, Samik Basu. 33-38
• Common Coupling as a Measure of Reuse Effort in Kernel-Based SoftwareLiguo Yu, Stephen R. Schach, Kai Chen 0003. 39-44
• An Approach to Validating Translation Correctness From SAM to JavaYujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He. 45
• QSEE Project: An Experience in Outsourcing Software Development for Space ApplicationsValdivino A. Santiago, Maria de Fátima Mattiello-Francisco, Ricardo Costa, Wendell Pereira da Silva, Ana Maria Ambrosio. 51-56
• Broadening the Use of Process Patterns for Modeling ProcessesHanh Nhi Tran, Bernard Coulette, Dong Thi Bich Thuy. 57-62
• A Framework for Tailoring Software ProcessLisandra M. Fontoura, Roberto Tom Price. 63-66
• Analyzing Configuration Management Repository Data for Software Process ImprovementShihong Huang, Christopher Lo. 67
• Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component AdaptationYankui Feng, Xiaodong Liu, Jon M. Kerridge. 71-76
• Modular Specification of Aspect-oriented Systems and Aspect Conflicts DetectionHui Liang, Jing Sun. 77-80
• Avoiding Bad Smells in Aspect-Oriented SoftwareEduardo Kessler Piveta, Marcelo Hecht, Ana Moreira, Marcelo Soares Pimenta, João Araújo, Pedro Guerreiro, Roberto Tom Price. 81
• Metrics of Credibility and Interaction Quality: Design and EvaluationNilda María Pérez Otero, Claudio Marcelo Pérez Ibarra, Sandra A. Méndez, Adelina García, María del Pilar Gálvez Díaz, Viviana Elizabet Quincoces, Héctor Pedro Liberatori, Beatriz Fiorito, Cecilia María Lasserre. 87-92
• Predicting Order of Likelihood of Defective Software ModulesRattikorn Hewett, Phongphun Kijsanayothin, Alta van der Merwe. 93-98
• Automated Test Code Generation from UML Protocol State MachinesDianxiang Xu, Weifeng Xu, W. Eric Wong. 99-104
• Validating A Layered Decision Framework for Cost-Effective Network DefenseHuaqiang Wei, Jim Alves-Foss, Du Zhang. 105-110
• Toward Modeling and Analysis for Software Installation TestingJerry Zeyu Gao, Sujana Tirumalasetti, Chien-Pin Hsu, Yip Cheong, Anne Colendich, Todd Fitch. 111-116
• Automatic Test Generation for Database-Driven ApplicationsZhenyu Dai, Mei-Hwa Chen. 117-122
• Fault-Based Testing of Data SchemasMaria Cláudia Figueiredo Pereira Emer, Silvia Regina Vergilio, Mario Jino. 123-128
• NLForSpec: Translating Natural Language Descriptions into Formal Test Case SpecificationsDaniel Leitao, Dante Torres, Flávia de Almeida Barros. 129-134
• Enhanced Random Testing for Programs with High Dimensional Input DomainsFei-Ching Kuo, K. Y. Sim, Chang-ai Sun, Sau-Fun Tang, Zhiquan Zhou. 135-140
• On Test Case Distributions of Adaptive Random TestingTsong Yueh Chen, Fei-Ching Kuo, Huai Liu. 141-144
• Reducing the Number of Test Cases for Performance Evaluation of ComponentsJoão W. Cangussu, Kendra Cooper, W. Eric Wong. 145-150
• Combining Decorated Classification Trees with RCPS Stochastic Models to Gain New Valuable Insights into Software Project ManagementAntonio J. Alencar, Gelson Guedes Rodrigues, Eber A. Schmitz, Armando Leite Ferreira. 151-156
• Towards a Reference Architecture for Software Testing ToolsElisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado. 157-162
• Controlling Restricted Random Testing: An Examination of the Exclusion Ratio ParameterKwok Ping Chan, Tsong Yueh Chen, Dave Towey. 163-166
• An Approach to Software Testing of Machine Learning ApplicationsChris Murphy, Gail E. Kaiser, Marta Arias. 167
• Agile Methods and Quality Models: Towards an Integration in Requirements EngineeringAlexandre Lazaretti Zanatta, Patricia Vilain. 173-178
• A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow ModulesChangyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer. 179-184
• In the Requirements Lies the PowerRand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson. 185-190
• Data and Process Analyses of Data Warehouse RequirementsEstella Annoni, Franck Ravat, Olivier Teste. 191-196
• Requirement Analysis Evolution through PatternsLuca Vetti Tagliati, Roger Johnson, George Roussos. 197-202
• Automatic Generation of Use Case Diagrams from English Specifications DocumentNathalie Rose T. Lim, Christobal T. Cayaba, Joseph Astrophel E. Rodil. 203-208
• REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE ToolsSteven Kearney, James F. Power. 209-214
• FlexUML: A UML Profile for Flexible Process ModelingRicardo Martinho, Dulce Domingos, João Varajão. 215-220
• A Formal Specification for Product Configuration in Software Product LinesHuilin Ye, Yuqing Lin. 221-226
• Designing a Platform-Independent Use-Case for a Composite Application using a Reference ArchitectureHelge Hofmeister, Guido Wirtz. 227-231
• Synchronization of UML Based Refactoring with Graph TransformationY. Kosker, Ayse Basar Bener. 232-237
• Using Formal Composition of Use Cases in Requirements EngineeringRabeb Mizouni, Aziz Salah, Rachida Dssouli. 238
• Real-Time Trust Management in Agent Based Online Auction SystemsRinkesh Patel, Haiping Xu, Ankit Goel. 244-250
• Geometric Thumbnails For Web SearchingChris Dunn, Beomjin Kim. 251
• ADkwik: Web 2.0 Collaboration System for Architectural Decision EngineeringNelly Schuster, Olaf Zimmermann, Cesare Pautasso. 255-260
• Improving Usability of Web Systems with Similar Business ObjectivesRashid Ahmad, Zhang Li, Farooque Azam. 261-267
• Processing Manipulations of Context Information on the WebRoberto De Virgilio. 268-273
• A Tag-Level Web-Caching Scheme for Reducing Redundant Data TransfersSteven E. Cox, Du Zhang, Jinsong Ouyang. 274
• Methodology for Reusing Human Resources Management StandardsAsunción Gómez-Pérez, Jaime Ramírez, Boris Villazón-Terrazas. 280-285
• An Adaptive Resource Management Approach for a Healthcare SystemClaudia Raibulet, Luigi Ubezio, Stefano Mussino. 286-291
• Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development TeamsMarta Gómez, Silvia Teresita Acuña. 292
• Towards Constructing High-available Decentralized Systems via Self-adaptive ComponentsXi Sun, Li Zhou, Lei Zhuang, Wenpin Jiao, Hong Mei. 296-301
• SAFES: A Static Analysis for Field Security in Java ComponentsAiwu Shi, Gleb Naumovich. 302-307
• Reuse of Database Access Layer Components in JEE Product Lines: Limitations and a Possible Solution (Case Study)Ding Peng, Stan Jarzabek, Damith C. Rajapakse, Hongyu Zhang. 308-313
• Design of Wrapper for Self-Management of COTS ComponentsMichael Eonsuk Shin, Fernando Paniagua. 314-319
• QoS-Optimized Integration of Embedded Software Components with Multiple Modes of ExecutionZonghua Gu, Qingxu Deng. 320-325
• A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated EvolutionAndré Rodrigues, Hyggo Oliveira de Almeida, Angelo Perkusich. 326-331
• Representing Design Rationale to support ReuseAdriana Pereira de Medeiros, Daniel Schwabe. 332
• Telling Stories about System Use: Capturing Collective Tacit Knowledge for System MaintenanceAdriana Cristina de Oliveira, Renata Mendes de Araujo, Marcos R. S. Borges. 337-342
• Evolution and Runtime Monitoring of Software SystemsHui Liang, Jin Song Dong, Jing Sun. 343-348
• On Modern Debugging For Rule-Based SystemsValentin Zacharias, Andreas Abecker. 349-353
• Truth Eliciting Mechanisms for Trouble Ticket Allocation in Software Maintenance ServicesKarthik Subbian, Y. Narahari. 355
• Graphical Notation for Natural Language and Knowledge RepresentationMagda Ilieva. 361-367
• A Hybrid Approach for Natural Language Query TranslationPornpimon Teekayuphun, Ohm Sornil. 368-373
• Effective Fault Localization using BP Neural NetworksW. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, Jing Dong. 374-379
• Temporal Software Change Prediction Using Neural NetworksMehdi Amoui, Mazeiar Salehie, Ladan Tahvildari. 380-385
• Do Neural-Network Question-Answering Systems Have a Role to Play in the Deployment of Real World Information Systems?Antonio J. Alencar, Renata Chaomey Wo, Eber A. Schmitz, Armando Leite Ferreira. 386-391
• Knowledge Conversion in Software DevelopmentOlivier Gendreau, Pierre N. Robillard. 392-395
• A Language Facilitating Informal Reasoning about ProgramsJ. Nelson Rushton, Dwayne Towell. 396
• Towards Seamless Business Process and Dialogue SpecificationDirk Draheim. 402
• Evaluating the Efficiency of Retrieval Methods for Component RepositoriesOliver Hummel, Werner Janjic, Colin Atkinson. 404-409
• Benchmarking the RDF(S) Interoperability of Ontology ToolsRaul Garcia-Castro, Asunción Gómez-Pérez, York Sure. 410-415
• A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database ApplicationsRobson Leonardo Ferreira Cordeiro, Renata de Matos Galante, Nina Edelweiss, Clesio Saraiva dos Santos. 416-421
• Generating Linear Temporal Logic Formulas for Pattern-Based SpecificationsSalamah Salamah, Vladik Kreinovich, Ann Q. Gates. 422-427
• Ontology Based Classification Generating Method for Browsing-Based Component RetrievalGe Li, Lu Zhang, Bing Xie, Weizhong Shao. 428
• A Context-Dependent Semantic Distance MeasureAhmad El Sayed, Hakim Hacid, Djamel A. Zighed. 432-437
• A Semantical Change Detection Algorithm for XMLRodrigo Cordeirodos Santos, Carmem S. Hara. 438-443
• XML Schema Evolution by Context Free Grammar InferenceJulio C. T. da Silva, Martin A. Musicante, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio. 444
• Software Tradeoff Assistant: An Integrated Framework for Analytical Decision Making and Tradeoffs in Software DevelopmentRattikorn Hewett, Vikram Patankar. 450-455
• Improving Separation of Concerns in the Development of Scientific ApplicationsSeyed Masoud Sadjadi, J. Martínez, T. Soldo, L. Atencio, Rosa M. Badia, Jorge Ejarque. 456-461
• Pattern-based J2EE Application Deployment with Cost AnalysisNuyun Zhang, Gang Huang, Ling Lan, Hong Mei. 462-466
• Exploratory Design of Derivation Business Rules Using Query RewritingRoman Krenicky, David Willmor, Suzanne M. Embury. 467-472
• Classification of Design Pattern TraitsJing Dong, Yajing Zhao. 473
• A Proposal for a Conceptual Data Warehouse Quality ModelManuel A. Serrano, Rafael Romero, Jose-Norberto Mazón, Juan Trujillo, Mario Piattini. 477-482
• Integrating Complex Data into a Data WarehouseFranck Ravat, Olivier Teste, Ronan Tournier, Gilles Zurfluh. 483
• Learning from Software Quality Data with Class Imbalance and NoiseAndres Folleco, Taghi M. Khoshgoftaar, Jason Van Hulse, Chris Seiffert. 487
• Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures SpecificationAline Pires Vieira de Vasconcelos, Cláudia Maria Lima Werner. 494-499
• EvoSpaces: 3D Visualization of Software ArchitectureSazzadul Alam, Philippe Dugerdil. 500-505
• Ontobrowse: A Semantic Wiki for Sharing Knowledge about Software ArchitecturesHans-Jörg Happel, Stefan Seedorf. 506
• Building Business Considerations into Enterprise Application DesignsRattikorn Hewett, Aashay Thipse. 513-518
• Incremental Effort Prediction Models in Agile Development using Radial Basis FunctionsRaimund Moser, Witold Pedrycz, Giancarlo Succi. 519-522
• BASS: Business Application Support through Software ServicesMateus Barcellos Costa, Rodolfo F. Resende, Marcelo Eduardo Vieira Segatto, Eduardo Freire Nakamura, Nahur Fonseca. 523
• Using Model-Driven Pattern Matching to derive functionalities in ModelsIgnacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini. 529-534
• A Model-driven Approach to Architecting Secure SoftwareEbenezer A. Oladimeji, Sam Supakkul, Lawrence Chung. 535
• An Intelligent Agent of Automatically Notify ServicesShuo-Yan Hsu, William C. Chu. 541-545
• A Proposal for a Decentralized Multi-Agent Architecture for Virtual EnterprisesAndreas Grünert, Sven Kaffille, Guido Wirtz. 546-551
• Traceability for Agent-Oriented Design Models and CodeGilberto A. Cysneiros Filho, Andrea Zisman. 552-558
• ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain EngineeringRosario Girardi, Adriana Leite. 559-564
• A Three Level Multi-agent Architecture to Foster Knowledge ExchangeJuan Pablo Soto, Aurora Vizcaíno, Javier Portillo-Rodríguez, Mario Piattini. 565-569
• An Agent Based System for Search in Distributed EnvironmentsLi Sa, Yongsheng Ding. 570
• Tree Hash Under Concurrency ControlKyosuke Yasuda, Takao Miura. 574-579
• Query Processing in Paraconsistent Databases in the Presence of Integrity ConstraintsNavin Viswanath, Rajshekhar Sunderraman. 580-585
• An Object-Oriented Approach to Storage and Retrieval of RDF/XML DocumentsChing-Ming Chao. 586-591
• CXPath: a Query Language for Conceptual Models of Integrated XML DataDiego de Vargas Feijo, Cláudio Naoto Fuzitaki, Alvaro Freitas Moreira, Renata de Matos Galante, Carlos A. Heuser. 592
• OWLed: Extending Knowledge for Web Ontology LanguageHichem Zait, Aïcha Mokhtari. 598-603
• Using Ontologies to Represent Software Project Management AntipatternsDimitrios Settas, Ioannis Stamelos. 604-609
• Service Composition Using Planning and Case-Based ReasoningKuan-Hsian Huang, Alan Liu. 610-615
• MDA-based Ontology Development: A Study CaseEluzai Souza dos Santos, Célia Ghedini Ralha, Hervaldo S. Carvalho. 616-621
• Towards Domain-Centric Ontology Development and Maintenance FrameworksFaezeh Ensan, Weichang Du. 622-627
• Service Oriented Architecture Empirical StudyMohammad Abu-Matar, A. Jefferson Offutt. 628-631
• Semantic Support to Reformulate Public Services in Terms of Life EventsLuis Álvarez Sabucedo, Luis E. Anido-Rifón. 632-636
• A Component-Based Solution and Architecture for Dynamic Service-Based ApplicationsAlessio Colzi, Tommaso Martini, Paolo Nesi, Davide Rogai. 637
• Adequacy of Composite Parametric Software Reliability ModelsLance Fiondella, Swapna S. Gokhale. 643-648
• Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical StudyTereza G. Kirner, Erik R. da Cruz. 649
• Adjudicator: A Statistical Approach for Learning Ontology Concepts from Peer AgentsBehrouz Homayoun Far, Abdel Halim Elamy, Nora Houari, Mohsen Afsharchi. 654
• DALICA: Intelligent Agents for User Profile DeductionStefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza. 660
• An Approach to Multimodal Input Interpretation in Human-Computer InteractionFernando Ferri, Patrizia Grifoni, Stefano Paolozzi. 664-669
• Sketch Style Recognition in Human Computer InteractionDanilo Avola, Fernando Ferri, Patrizia Grifoni. 670-675
• Human-Computer Interaction for a Novel Arm-wrestling RobotChul-Goo Kang, Ho-yeon Kim. 676
• Managing XML Versions and Replicas in a P2P ContextDeise de Brum Saccol, Nina Edelweiss, Renata de Matos Galante, Carlo Zaniolo. 680
• Knowledge Sharing through a Simple Release Planning Method for Web Application DevelopmentSven Ziemer, Ilaria Canova Calori. 686-691
• Distributed BPEL ProcessesLuciano Baresi, Andrea Maurino, Stefano Modafferi. 692-697
• SAM: Semantic Advanced MatchmakerE. S. Ilhan, G. B. Akkus, Ayse Basar Bener. 698-703
• A Development Platform for Distributed User InterfacesAnders Larsson, Magnus Ingmarsson, Bo Sun. 704
• A Dynamical System Approach to Intrusion Detection Using System Call AnalysisNitin Kanaskar, Remzi Seker, Srinivasan Ramaswamy. 710-717
• Multi-level Anomaly Detection with Application-Level DataSwapna S. Gokhale, Jijun Lu. 718
• A Four-layered Semantic Grid ArchitectureCélia Ghedini Ralha, Jose Nelson C. Allemand, Alba Cristina Magalhaes Alves de Melo. 724
• Performance Analysis of the Active Object Pattern in MiddlewarePaul J. Vandal, Swapna S. Gokhale, Aniruddha S. Gokhale. 730-735
• Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement ProceduresNelly Condori-Fernández, Oscar Pastor. 736-739
• Software Documents: Comparison and MeasurementTom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford. 740
• Workflow Management and Service Oriented ArchitectureTheodorich Kopetzky, Dirk Draheim. 749-750
• Implementing Agile Development - More than Changing MethodologyChuck Fredrick. 751-754
• Knowledge Modelling using UMLA. J. Rhem. 755