Table of Contents

• Virus Removal Cost (VRC) MetricKuangnan Chang, Bobby Adkins. 469-473
• Towards an Extendable Software System for Information IntegrationPaul Whitney, Christian Posse, Xingye Lei. 474-481
• A Workbench for Learning Enterprise PatternsPaulo Sousa. 482-488
• Web Metrics: The way of improvement of quality of Non web-based systemsShazia Arshad, Muhammad Shoaib, Abad Shah. 489-495
• Effect of Human Behavior in SDLCAshmeet Kaur, Ritu Soni. 496-503
• On the Role of Software Metrics in Applying Design PatternsNiloofar Khedri, Masoud Rahgozar, Mahmoud Reza Hashemi. 504-510
• A Qualitative Study on PATT - A Project Assessment and Tracking ToolFabio Perez Marzullo, Geraldo Xexéo. 511-517
• Computations with Large NumbersWeihu Hong, Mingshen Wu. 518-526
• On the Effectiveness of Source Code Transformations for Binary ObfuscationMatias Madou, Bertrand Anckaert, Bruno De Bus, Koen De Bosschere, Jan Cappaert, Bart Preneel. 527-533
• Model Driven Development with Interactive Use Cases and UML ModelsPaul Nguyen, Robert Chun. 534-540
• Medical Informatics and Medical Databases Approach in Modeling Healthcare Education System with Unified Modeling Language (UML)Anil Khatri, Azene Zenebe, David Anyiwo. 541-546
• Model Transformation Based on Meta TemplatesHongming Liu, Lizhang Qin, Xiaoping Jia, Adam Steele. 547-553
• Using UML to Develop Verifiable Reactive SystemsFatemeh Alavizadeh, Marjan Sirjani. 554-561
• Developing Medical Information System with MDA and Web ServicesSimone A. B. Melo, Denivaldo Lopes, Zair Abdelouahab. 562-568
• UML Analysis Using State DiagramsMohammad Alanazi, Jason Belt, David Gustafson. 569-576
• Plugin-Based Systems with Self-Organized Hierarchical PresentationBoto Bako, Andreas Borchert, Norbert Heidenbluth, Johannes Mayer. 577-584
• Algorithms for Optimally Tracing Time Critical ProgramsSergej Alekseev. 585-591
• Assessment of Component-Based Systems with Distributed Object TechnologiesJiang Guo, Yuehong Liao, Xichun Pei. 592-598
• A Java Instrumentation-based Analysis Approach for the Dynamic Behaviors of J2EE ApplicationsYuehong Liao, Jiang Guo, Xichun Pei. 599-605
• SoCoEMo-COTS: A Software Economic Model for Commercial Off-the-shelf (COTS) Based Software DevelopmentSana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala. 606-612
• Conceptual Model for Integration of COTS ComponentsJames Tollerson, Hisham Haddad. 613-619
• Process Component Plug-in ApproachJin Myung Choi, Sung Yul Rhew. 620-628
• Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model CheckingVera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas. 629-635
• On a GUI-based Editor for Z Specifications and its ApplicationsHiroshi Ishikawa. 636-642
• A Formally Verified Geometric Modelling CoreCatherine Dubois, Jean-Marc Mota. 643-649
• Formal Verification of a Simple Automated Negotiation ProtocolGeorge Dimitoglou, Okan Duzyol, Lawrence Owusu. 650-656
• Re-Engineering BLUE Financial System Using Round-Trip Engineering and Java Language Conversion AssistantSalem Y. Al-Agtash, Tamer Al-Dwairy, Adnan El-Nasan, Bruce Mull, Mamdouh Barakat, Anas Shqair. 657-663
• A Base for Achieving Semantics for Prolog with Cut for Correct ObservablesLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai. 664-670
• Comparison of the Modeling Languages Alloy and UMLYujing He. 671-677
• Supporting Separation of Concerns to Automation of Code GenerationPaniti Netinant. 678-683
• A Software Specification Language for RNA PseudoknotsKeum-Young Sung. 684-687
• The Intelligent C Language DebuggerMing Wang, Robert Chun. 688-694
• Integrating User Centered Design in a Product Development Lifecycle Process: A Case StudyKarsten Nebe, Lennart Grötzbach, Ronald Hartwig. 695-701
• Learner-centered Technical Review in Programming CoursesHongxing Lu, Xiaohong (Sophie) Wang. 702-709
• Development of an Ant Script Builder with Thought to Usability and Best PracticesKalyana Gundamaraju, Michael Wainer. 710-716
• Service Learning, Software Engineering, and Hurricane Katrina - A Case StudyDonald Schwartz, Jonathan Spencer, Adam Huffman. 717-720
• Podcasts: Changing the Face of e-LearningSaby Tavales, Sotiris Skevoulis. 721-726
• Supporting Software Fault Tree Analysis Using a Key Node MetricDonald M. Needham, Sean Jones. 727-733
• Metrics in Risk Determination for Large-Scale Distributed Systems MaintenanceMaureen Ann Raley, Letha H. Etzkorn. 734-742
• Ontology-Driven Middleware for Next-Generation Train BackbonesStijn Verstichel, Sofie Van Hoecke, Matthias Strobbe, Steven Van den Berghe, Filip De Turck, Frederik Vermeulen, Piet Demeester. 743-749
• System Modeling for Systematic Development of Groupware ApplicationsManuel Noguera, Miguel González, José Luis Garrido, María Visitación Hurtado, María Luisa Rodríguez. 750-756
• Organization Modelling to Support Access Control for Collaborative SystemsFrancisco Luis Gutiérrez Vela, José Luis Isla Montes, Patricia Paderewski, Miguel Sanchez. 757-763
• An NFR-Based Framework for Aligning Software Architectures with System ArchitecturesNary Subramanian, Lawrence Chung. 764-770
• Architecture-Centric Program Transformation for Distributed SystemsChung-Horng Lung, Jianning Liu, Xiaoli Ling, Dan Jiang. 771-777
• Component-Aware System Architecting: A Software InteroperabilityWeimin Ma, Kendra Cooper, Lawrence Chung. 778-784
• Position Paper: From Enterprise Architectures to Software Architectures using Requirements EngineeringMatthias Galster, Armin Eberlein, Mahmood Moussavi. 785-789
• Helping to Meet the Security Needs of Enterprises: Using FDAF to Build RBAC into Software ArchitecturesLirong Dai, Kendra Cooper. 790-796
• Modeling of Evolution to Secure Application System: from Requirements Model to Software ArchitectureMichael Shin. 797-803
• An Enterprise Architecture Process ModelFrançois Coallier, Roger Champagne. 804-810
• A Model of Access Control for Data Materials Based on Ambient CalculusMasaki Murakami. 811-820
• A Fine-Grained Analysis of the Performance and Power Benefits of Compiler Optimizations for Embedded DevicesJason W. A. Selby, Mark Giesbrecht. 821-827
• Complexity of Data Flow Analysis for Non-Separable FrameworksBageshri Sathe, Uday P. Khedker. 828-836
• Experience in Testing Compiler Optimizers Using Comparison CheckingMasataka Sassa, Daijiro Sudosa. 837-843
• Deterministically Executing Concurrent Programs for Testing and DebuggingSteve MacDonald, Jun Chen, Diego Novillo. 844-850
• Compiler Generator for Creating MOF-compliant Source Code ModelsZoltán László, Tibor Sulyán. 851-857
• An Embedded Haskell Subset ImplementationIan Lewis. 858-865
• User-Friendly Methodology for Automatic Exploration of Compiler Options: A Case Study on the Intel XScale MicroarchitectureHaiping Wu, Eunjung Park, Long Chen, Juan del Cuvillo, Guang R. Gao. 866-872
• A User-Friendly Methodology for Automatic Exploration of Compiler OptionsHaiping Wu, Long Chen, Joseph Manzano, Guang R. Gao. 873-882
• Implementation of Tag Representation in Prolog Virtual MachineGuillaume Autran, Xining Li. 883-889
• XML Markup Languages Framework for Programming in 21st Century towards Managed Software EngineeringKhubaib Ahmed Qureshi, M. Zeeshan Ali Ansari. 890-895
• Improved Graph-Based Lambda LiftingMarco T. Morazán, Barbara Mucha. 896-902
• On Petri Nets and Predicate-Transition NetsAndrea Röck, Ray Kresman. 903-909
• IncH: An Incremental Compiler for a Functional LanguageJames Gil de Lamadrid, Jill Zimmerman. 910-915
• Extensible and Adaptable System SoftwarePaniti Netinant. 916-924
• Efficient and General On-Stack Replacement for Aggressive Program SpecializationSunil Soman, Chandra Krintz. 925-932
• Java Virtual Machine: the key for accurated memory prefetchingYolanda Becerra, Jordi Garcia, Toni Cortes, Nacho Navarro. 933-939
• Evaluation Issues in Generic Programming with Inheritance and Templates in C++Emil Vassev, Joey Paquet. 940-944
• String Concatenation Optimization on Java BytecodeYe Henry Tian. 945-951
• Aspects of Memory Management in Java and C++Emil Vassev, Joey Paquet. 952-958
• Increasing Fault Detection Effectiveness Using Layered Program AuralizationAndreas Stefik, Kelly Fitz, Roger Alexander. 959-965
• Change Risk Assessment: Understanding Risks Involved in Changing Software RequirementsByron J. Williams, Jeffrey Carver, Rayford B. Vaughn. 966-971
• Quantification Criteria for Optimization of Modules in OO DesignPradeep Bhatia, Yogesh Singh. 972-979
• SEN State Event Net, Proposal to Enrich the Arsenal of UML Dynamic DiagramBui Minh Duc. 980-987
• A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity DiagramsAmel Mammar. 988-994
• Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line ApproachJoaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash. 995-1001
• Context-broker Service Architecture for AmI Systems through Mobile-agents and OntologiesRamón Puigjaner, Carlos Juiz, Pere P. Sancho, Isaac Lera, Borja Miñano. 1002-1008
• A Framework for Assessing Data Quality - From a Business PerspectivePia Gustafsson, Åsa Lindström, Cecilia Jägerlind, Jevgenij Tsoi. 1009-1015
• An Improvement Algorithm for Safety-Critical SoftwareDonald M. Needham, Sean Jones. 1016-1022
• An Agent-Based Design Software: A CSCW Model for Software Design ToolPattarasinee Bhattarakosol, Warawut Pacharoen, Ladda Preechaveerakul. 1023-1028
• Towards Unmanaged Multimedia Adaptations using Automated Aspect WeavingMuhammad A. Khan, Stefan Fischer. 1029-1032
• Visualization of Data Structure on MVC FrameworkPei Li Zhou, B. Z. Xu. 1033-1040
• Reusable Parser Generation from Free and Open Source CompilersKazuaki Maeda. 1041