Table of Contents

• Automation-Enabled Code ConversionAndrew J. McAllister. 11-17
• An Expert System for Recommending Seismic Retrofits to Homeowners in HawaiiH. Keith Edwards, Kohei Miyagi, Matthew Greenway, Don Thomas. 18-24
• The Viability of UML Models in Small Web ApplicationsJason Dudley, Devon Simmonds. 25-31
• Gesture Browser: Realization of Customizable Gesture Interfaces in Mobile DeviceYuki Tanaike, Hiroaki Fukuda, Yoshikazu Yamamoto. 32-37
• GED: A Graphical Element Diagram - UML for Interface developmentMartin Svensson, Linn Gustavsson Christiernin, Stefan Mankefors-Christiernin. 38-44
• Extending The UML Semantics For A Better Support of Model Driven Software DevelopmentDominik Gessenharter. 45-51
• Modeling and Analyzing Web-based Information SystemSriharsha Jasti, Yujian Fu, Priyanka Koneru. 52-57
• Foundations for QVT TransformationLiliana Favre. 58-64
• CBSE and MDE: Approaches Combination OpportunitiesFatma Messaoud, Sihem Ben Sassi, Henda Ben Ghézala. 65-71
• Software Visualization: Replacing Tab in Python Programming with Cell Block in SpreadsheetHyung Jun Yoo, Young Lee. 76-82
• Requirements Engineering for Home Health Care Software SystemsKevin Daimi, Luming Li, Xiaodan Lu, Nazar El-Nazeer. 83-91
• Framework for Domain Analysis of Teleteaching System: A Semiformal ApproachAnimesh Datta, Imon Banerjee, Shrutilipi Bhattacharjee, Ranjan Dasgupta, Swapan Bhattacharya. 92-98
• Towards a Holistic Requirements Engineering MethodTom Wanyama, Behrouz Homayoun Far. 99-104
• Traceability Link for Product Line with RAS based RepresentationYusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda. 105-110
• Domain Specific Languages for Software Requirements CaptureJ. Guadalupe Ramos, Josep Silva, Heriberto Flores, Margarita Torres, Laura E. Mendoza, Juan C. Solorio. 111-116
• Evaluating ESB for C4I Architecture Framework Using Analytic Hierarchy ProcessAbdullah Sharaf Alghamdi, Iftikhar Ahmad, Muhammad Nasir. 117-123
• A Review of the Role of Document Engineers in Information Systems DevelopmentJosé Antonio Gutiérrez, José Ramón Hilera, Eva García, Antonio García-Cabot, Luis de Marcos, José-Javier Martínez. 124-132
• A Business Rules Approach to Self-healing Software ArchitectureAmelia Estwick, Shmuel Rotenstreich. 133-139
• An Approach to Designing Modularity Architecture for Multithread ProgrammingPaniti Netinant. 140-146
• Model Driven Architecture for Round-Trip Engineering: A Conceptual FrameworkLiliana Favre. 147-153
• Design Pattern Recovery based on Pattern FeaturesGhulam Rasool, Patrick Maeder, Ilka Philippow. 154-160
• Transformation Rules in POMA ArchitectureMohamed Taleb, Ahmed Seffah, Alain Abran. 161-166
• A Comparison of Software Architectural Styles Using AspectsMaziar Boddoohi, Devon Simmonds. 174-179
• A Fault Tolerant Architecture Using AADLs and Error Model Annexfor for Unmanned Aircraft Systems (UAS)Hassan Reza, Ron Marsh, Mark Askelson. 180-184
• Mining for Patterns in Program Dependence GraphsImran Afzal, Mansur H. Samadzadeh. 185-191
• Modeling Software Architecture with MDAJavier Elizondo, Jorge Luis Risco Becerra. 192-197
• Architectural Driven Approach for Software Product Line TestingMohammad Tanhaei, Shahrouz Moaven, Jafar Habibi, Seyed Hassan Mirian. 198-204
• An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path CoverageGarrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt. 205-211
• Validation Against Actual Behavior: Still a Challenge for Testing ToolsDave Arnold, Jean-Pierre Corriveau, Wei Shi. 212-218
• Testing Environments for Assessing Conformance and InteroperabilityRobert Snelick, Len Gebase. 219-225
• Enterprise Mashups - Usefulness and Relevance Put to the TestRobert Neumann, Reiner R. Dumke, Andreas Schmietendorf. 226-232
• VERDICTS : Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of SoftwareS. Kanat Bolazar, James W. Fawcett. 233-239
• Software Testing and Semantic Service Oriented Architecture for E-Health Software ServicesDinesh Kumar Saini, Wail M. Omar, Nirmal Gupta. 240-246
• Genetic Algorithm and Mutation Analysis for Software TestingOksana N. Myronovych, Yuri E. Boreisha. 247-252
• Developing a New Method to Improve Software Test Process based on ISTQB Test SuiteRamin Nassiri, Fatemeh Ghanaati, Gholamreza Latif Shabgahi. 253-259
• Path Selection Strategy for Regression TestingShailesh Tiwari, K. K. Mishra, Anoj Kumar, A. K. Misra. 260-265
• Applying Critical Edge to Test Data GeneratorFaezeh Sadat Babamir, Alireza Hatamizadeh, Seyed Mehrdad Babamir, Mehdi Dabbaghian, Vahid Azadehgan. 266-269
• Test Documentation Tools and CBR Reduce the Cost of TestingGolnoosh Abaee, Pooria M. Yaghini. 270-276
• Detection of Unintentional Change in In-use Data for Concurrent WorkflowsThi Thanh Huyen Phan, Koichiro Ochimizu. 277-283
• Sub-clones: Considering the Part Rather than the WholeRobert Tairas, Jeffrey G. Gray. 284-290
• Statistical Analysis of the Relevance of Lines of Code MeasuresAdrian Barb, Colin Neill, Raghvinder Sangwan, Michael Piovoso. 291-299
• System Maintenance in Academia: Using Agile Model Driven DesignJoo Tan. 300-304
• Speeding up the Algorithms for the Subset-Sum Problem with the Bitset ClassXiaodong Wang, Lei Wang, Yingjie Wu. 305-309
• Exploratory Analysis of Software Reliability DataPeter Keiller, Ronald Leach, William Jones, Andy Umana. 310-316
• Research of Component Composition Using Formal SemanticsMin Ma, Quansheng Wu. 317-326
• Space Situation Awareness Human Effectiveness Research TrendsDenise Aleva, John Ianni, Vincent Schmidt. 327-332
• A Survey of 3D Display Technologies for Multispectral Visualization of SpacecraftGeorge Reis. 333-338
• Learning Automata Swarm for Adaptive Space Situational AwarenessDuong Nguyen. 339-348
• Role Explosion: Acknowledging the ProblemAaron Elliott, Scott Knight. 349-355
• Research of Software Process Metrics Based on CMMIQuansheng Wu, Min Ma. 356-362
• Software Process Improvement (iSPA) Model Evaluation based on Critical Success Factors of Successful Software ProjectsRaja Zurina Raja Mohamed Ali, Suhaimi Ibrahim. 363-369
• Identifying Architectural Changes Using Software MetricsYoung Lee, Jeong Yang. 370-375
• Achieving Capability Maturity Model Integration(CMMI) Maturity Level 2 by Implementing FEAF Reference ModelRamin Nassiri, Fatemeh Kafili Kasmaee, Gholamreza Latif Shabgahi. 376-384
• Real-Time Workflow Modeling and Analysis in Emergency ResponseJiacun Wang, William M. Tepfenhart. 385-391
• Performance Evaluation of Personnel Assignments in Software EngineeringLuis Daniel Otero, Carlos E. Otero, William Arrasmith. 392-296
• Design Methods For Safety Critical Computer SystemsV. S. Subramanyeswara Rao Kadiyam, Seetha Ramaiah Panchumarthy, Amarnath J.. 397-402
• Development of a Mobile Ganged Phase Array Radar - Risk Mitigation System for UAS Operations in North DakotaRonald Marsh, Micah Kary, Kirk Ogaard, John Nordlie. 403-410
• Applying MCDC to Large DNF Logic ExpressionsGarrett Kent Kaminski, Paul Ammann. 411-417
• Evaluation of Interaction with Commercial Educational Games when Used by Children with AutismJessica Prytz, Linn Gustavsson Christiernin. 418-424
• Managing License Incompatibilities Distributing Eclipse Application StacksSamrat Dhillon, Dwight Deugo. 425-431
• Software Development Effort Estimation Applying a Fuzzy Logic Model Involving Programming Language ExperienceCuauhtémoc López Martín, Arturo Chavoya-Pena, Maria Elena Meda-Campaña. 432-438
• Capturing Software Project Management Knowledge with PROMOL: Project Management Modeling LanguageKadir Alpaslan Demir. 439-445
• On-campus Collaborative Project Experience for Software Engineering CourseXiaohong (Sophie) Wang, Don Spickler, Barbara Wainwright. 446-451
• A Simple Framework for Project CommunicationsKadir Alpaslan Demir. 452-458
• Multi-Agent System Supporting Security Requirements EngineeringEsmiralda Moradian, Anne Håkansson, Jan Olof Andersson. 459-465
• Towards an Intelligent User Centered Search Engine for COTS ComponentsNacim Yanes, Sihem Ben Sassi, Henda Hajjami Ben Ghézala. 466-472
• Designing Transaction Management System in Component Based Network Model for Secured Component TransmissionPuneet Goswami, Pradeep Kumar. 473-480
• SOA and Security of Loosely Coupled Services in the Cloud using SOA 3.0Atif Farid Mohammad, Assion Lawson-Body, Emanuel S. Grant. 481-487
• Reusability and Adaptability Using Aspect-Oriented FrameworkPaniti Netinant. 488-494
• Towards Automatic Integration of Or-BAC Security Policies Using AspectsYliès Falcone, Mohamad Jaber. 495-499
• Relating Software Coupling Attribute and Security Vulnerability AttributeVaradachari Ayanam, Frank Tsui, Sheryl Duggins, Andy Wang. 500-506
• Model Checking of Software Design in State Transition MatrixTomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda. 507-513
• Towards Validation of E-Services Composition: Transforming eFlow to Petri-NetsHossein Nematzadeh, Radziah Mohamad. 514-521
• Semi-Automated Verification and Removal of Open Redirect Vulnerabilities in Web ApplicationsLwin Khin Shar, Hee Beng Kuan Tan. 522-528
• An Analysis of the Significance of MDD for IndustryPedro Fernández, Antonio Navarro. 529-533
• Model Checking LOOP ProgramsZining Cao. 534-542
• Psychological-based Measurement of Personnel PerformanceKonstantina Georgieva, Robert Neumann, Reiner R. Dumke. 543-546
• Accuracy of Measurements with IFPUG: The Measurer ImpactJuan Jose Cuadrado-Gallego, Pablo Rodríguez-Soria, Dacil Castelo, Alfonso González. 547-552
• A Standards-Based Model for the Specification of Portability RequirementsKhalid T. Al-Sarayreh, Alain Abran, Juan Jose Cuadrado-Gallego. 553-559
• A Comparison of Project Management Software Tools (PMST)Halil Cicibas, Omer Unal, Kadir Alpaslan Demir. 560-565
• Methodologies Supporting the Management of Business Software Systems Development and Enhancement Projects Functional ScopeBeata Czarnacka-Chrobot. 566-574
• SET4SCRUM: Security Enhanced Metric Taxonomy for SCRUMChris Simmons, Linda B. Sherrell. 575-581
• Data Warehouse Engineering Process: An Unified Software Development Process ApproachVenkata Vampugani Subrahmanyam, Mohammad Najam Doja. 582-588
• Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical RankingYun Zhai, Ryszard Janicki. 589-592
• Designing an SOA-Based Earthquake Forewarning System using BPMNTamirat Abegaz, Xiaohong Yuan. 593-598
• Improvement of Quality Evaluation of Embedded Software DevelopmentChing-Pao Chang, Ko-Li Cheng. 599-604
• Assisting Specification and Consistency-Check of Temporal Requirements for Critical SystemsMohamed Ghazel, Ahmed Mekki. 605-611
• Streamlined Feature Dependency Representation in Software Product LinesHuilin Ye, Yuqing Lin, Wendy Zhang. 612-618
• Toward Model Based Testing: Combining AADLS with High Level Petri NetsHassan Reza, Feifei Gu, Bahram Shafai. 619-623
• Role of DEMAIC Methodology in Success of Six Sigma Projects of IT IndustryAbid Farooq Gorsi, Aakif Nazeer Khan, Muhammad Usman Mirza, Saleem Zubair Ahmed. 624-630
• The Additive Problem in Software MeasurementKehinde Jolayemi, Austin Melton. 631-634
• A Study and Categorization of Pervasive Systems Architectures Towards Specifying a Software Product LineMostafa Hamza, Sherif Aly. 635-641
• A Kind of Geographic Query System Based on RIA and REST ArchitectureDongmei Huang, Zedong Hou, Shengqi He, Minghua Zhang. 642-646
• Semantic Matching of Software Project Documents Using OntologyManojkumar Deshpande, Sunil Bhirud. 647