Table of Contents

• A Framework for Testing Distributed Healthcare ApplicationsRobert Snelick, Leonard Gebase, Gavin O Brien. 3-9
• Proving Properties of Programs with Theorem Provers - Experiments with Z3 and SimplifyRyszard Janicki, Ewa Romanowicz. 10-16
• Modular Analysis of Software Architecture ModelYujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li. 17-23
• InstantLocGen - Automatic Sub-Localization Generator for UI TestingElena Lidin. 24-30
• Automatic Test Generation for System using UML StatechartHyunseok Min, Jinyoung Choi. 31-37
• A Detailed Analysis of the Component Object ModelArif Muljadi, M. H. Samadzadeh. 38-43
• Modified Genetic Algorithm for Mutation-Based TestingOksana N. Myronovych, Yuri E. Boreisha. 44-49
• Analyzing Software Process Models using SAMLachana Ramingwong, A. S. M. Sajeev, Sakgasit Ramingwong, Xiaodi Huang. 50-54
• Software Engineering Concerns in Tools for Expressing and Exploring Combinatorial DataDaniel Korytina, Kenneth Anderson, Glenn Murray. 57-63
• An Eclipse Plug-In for Visualizing Java Code Dependencies on Relational DatabasesPaul L. Bergstein, Priyanka Gariba, Vaibhavi Pisolkar, Sheetal Subbanwad. 64-69
• finGAD: A Jar File Fingerprint Generator and DetectorMuhammad Shafique, Dwight Deugo. 70-76
• Software Engineering for Pinochle Game DevelopmentKevin Daimi, Laura Nowicki. 77-84
• TouchMouse: A Touch Sensitive Cursor to Facilitate Adaptation of Mouse-Based GUIs to Touch Screen TechnologyLeon-Chacon Luis, Velez-Rivera Bienvenido. 85-91
• Aspect Filter: A Metric Based Approach for Aspect MiningDipankar Majumdar, Swapan Bhattacharya. 92-98
• Benefits of Using Tabular Expressions in Planning Health ServicesVolodymyr Babiy, Ryszard Janicki, Tiffany Jingco, Tamar Kakiashvili, Waldemar W. Koczkodaj, Marc Woodbury-Smith. 99-102
• IBrowser: Realization of Direct Communication Between Mobile Devices and ComputersHiroaki Fukuda, Yoshikazu Yamamoto. 103-108
• A Complete Revolution in Software Engineering Based on Complexity ScienceJay Xiong, Jonathan Xiong. 109-115
• Speech Signals ComparisonAndrei Borziak. 116-117
• Architecting Human Operator Trust in Automation for Multiple Unmanned Aerial System (UAS) ControlAdam Lenfestey, Eric Cring, John Colombi. 121-127
• Development of a Range Control Center Information Display System For UAS Operations in North DakotaRonald Marsh, Kirk Ogaard, Micah Kary, John Nordlie. 128-133
• Real-Time Model Checking for Shill Detection in Live Online AuctionsHaiping Xu, Christopher K. Bates, Sol M. Shatz. 134-140
• Analysis of Participants Roles in Open Source Software Communities with Model-Based ClusteringHyunju Kim, Adanna Ezeala, Youngser Park. 141-146
• Assessing Approaches for Evaluating Remote Heterogeneous ApplicationsLeonard Gebase, Robert Snelick. 147-152
• Towards a Knowledge Base for a Reference Architecture Development of Complex Embedded SystemsLiliana Dobrica. 153-159
• State Machine Diagram Refactoring in MDA-based DevelopmentClaudia Pereira, Liliana Martinez, Liliana Favre. 160-166
• A Distributed Recommender System ArchitectureSerhiy Morozov, Hossein Saiedian. 167-171
• Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional ModelingChristoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel. 172-176
• One Employee and Several Applications: An Information Management Case StudyAaron Elliott, Scott Knight. 179-185
• An Empirical Study of the Effectiveness of Pairwise TestingJames D. McCaffrey, Jacek Czerwonka. 186-191
• An Experience Report on Systems Development and Design Using a Rapid, Non-Formal and By-Customer-Demand ApproachFelipe P. Vista IV, Kil To Chong 0001, Chang Goo Lee. 192-194
• Finding Answers: A Case Study on Communicating Knowledge within a Software Development TeamChandan Sarkar, Carlos Jensen. 195-201
• Factors Affecting Software Projects Budget - A Case StudyJie Liu, Feng Liu. 202-207
• Designing an Undergraduate Software Engineering Project to Include Software Security ConceptsCynthia Y. Lester, Frank Jamerson. 208-214
• Bridge Software Engineers in Global Software OutsourcingYaling Liu. 215-220
• A Taxonomy of MPI-Oriented Usage Models in Parallelized Scientific CodesRichard F. Barrett, S. Ahern, Mark R. Fahey, R. Hartman-Baker, J. K. Horner, Stephen W. Poole, Ramanan Sankaran. 223-229
• Object-Oriented Design Pattern: Access ProtectorHarri Hakonen, Ville Leppänen. 230-236
• Modular Prototyping of Systems and Environments Using Models Developed with Attributed Event GrammarKadir Alpaslan Demir. 237-243
• Graphical User Interface for Linux Based Distributed File Storage SystemNitin Chanderwal, Rohit Sharma, Abhishek Rai, Akansha Madan, Laxmi Lata Keshote, Parul Gupta. 244-249
• Modeling the Campus Content Management in a Student PerspectiveDavid Wilson, Justin Furiga, Sreela Sasi. 250-255
• The use of Group Dynamics in Teaming of Software DevelopersAzita Bahrami. 256-262
• eLeTK: Component Based Framework Used for Knowledge Discovery in e-Learning SystemsDumitru Dan Burdescu, Marian Cristian Mihaescu, Costel Marian Ionascu, Bogdan Logofatu. 263-269
• Unblocking Data Flow DiagramsSabah S. Al-Fedaghi. 270-273
• The Effect of Refactoring to Patterns on Cohesion MetricsMohammad Alshayeb. 274-277
• The Design and Implementation of Mandatory Running ControlKehe Wu, Tong Zhang, Gang Ma. 279-282
• Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA FormSilvian Calman. 283-287
• Inter-Model Consistency Between UML Use Case and Activity ModelsYoshiyuki Shinkawa. 288-294
• A Systematic Approach for Selecting a Suitable Software Architecture Evaluation MethodHuma Tauseef, Saima Farhan, Muhammad Abuzar Fahiem. 295-299
• A Systematic Quality Analysis of Software Architectures for Mobile Middleware ServicesLiliana Dobrica. 300-306
• Using Activity Diagrams for Function DesignKuang-Nan Chang. 307-312
• Software Production and Execution with GOP modelZongxia Du, Wenyi Zhang, Anqi Li. 313-319
• Evaluation Approach for Software ArchitectureOlfa Lamouchi, Amar Ramdane-Cherif, Nicole Lévy. 320-326
• A Comparison of Aspect-Oriented Approaches to Model Driven EngineeringDevon M. Simmonds, Y. Raghu Reddy, Eunjee Song, Emanuel S. Grant. 327-333
• Privacy Law and Software ArchitecturePeter Knoke. 334-337
• Complex Operators: The Correspondence between the Visitor and Builder Design PatternsJason Wilkins, Jeff Jenness. 338-341
• What We Can Learn From Biology - A Software Evolution PerspectiveZeeshan-ul-hassan Usmani, Fawzi A. Alghamdi. 342-345
• Dynamic Object Behaviours in Separation of Concerns Based SystemsHamid Mcheick, Mahdi Adda, Hafedh Mili, Mourad Badri. 349-354
• Exploiting use case slices for modeling access control policiesSatish Srinivasan, Cobra Rahmani, Mansour Zand. 355-360
• A Database Approach to Streamline Requirements TraceabilityAndy Kannenberg, Hossein Saiedian. 361-366
• Ascertaining Feasibility of Traceability-based Requirements InspectionQaiser S. Durrani, Farooq Ahmed. 367-373
• User-oriented Preparative Treatments for Requirements EngineeringFei He, Yoshiaki Fukazawa. 374-378
• Requirement Acquisition for Information Systems - A Meta-Modeling Approach Using OntologiesZhuozhi Chen, Rob Pooley. 379-385
• Experimental Evaluation of Interpretations for Local Cohesion MetricsSami Mäkelä, Ville Leppänen. 389-395
• Software Measurement Modelling and ImprovementKonstantina Georgieva, Reiner R. Dumke, Robert Neumann, Ayaz Farooq. 396-402
• Tabular Expressions vs Software Cost ReductionImen Bourguiba, Ryszard Janicki. 403-407
• An Experimental Approach to Prove Metrics PropertiesWei Li, Raouf Alomainy. 408-413
• The Impact of a Portable Programming Language PitHassan Reza, Leif Pedersen. 424-430
• Program Understanding Through IndentationHector M. Olague, Sampson Gholston. 431-436
• Identifying Domain Variables from Inter-Procedural Programs to Extract Business RuleXiaohu Yang, Weiwei Qiu, Xinyu Wang. 437-442
• Cognitector - A Source-Code Consistency Analysis ApplicationPeyman Taher, M. H. Samadzadeh. 443-445
• Analyzing the Heap Usage of Java ProgramsSeongyong Joo, Jang-Wu Jo. 446-448
• Process Improvement Using Causal NetworksReiner R. Dumke, Karsten Richter, Evan Asfoura, Konstantina Georgieva. 451-457
• A Framework for Resolving Mismatches that may Occur during System Integration Using COTS SoftwareHoratious Tanyi, Shmuel Rotenstreich. 458-464
• Combining Contract-Based Development and Test-Driven DevelopmentJohan Ofverberg, Martin Blom. 465-470
• An Action-Based Approach to Enhance Software Process MonitoringYu-Fang Yeh. 471-477
• Enhancement of Software Inspection Efforts Allocation using Fuzzy Control StrategyChing-Pao Chang. 478-484
• Improving Modularity of Multithreads Object-Oriented ProgrammingPaniti Netinant. 485-491
• A Business-driven Service IdentificationDongsu Kang, Chee-Yang Song, Doo-Kwon Baik. 492-496
• On Identifying and Representing AspectsSaqib Iqbal, Gary Allen. 497-501
• Good and Bad Sides of Agile Methods, Part 1Mira Kajko-Mattsson, Henry Ochenyi. 502-508
• Good and Bad Sides of Agile Methods, Part 2Mira Kajko-Mattsson, Henry Ochenyi. 509-515
• A Quality Attribute Driven Method for Software Process EvaluationTrent Kroeger, Neil Davidson. 516-522
• A New Approach to Adapting XP for Use in Medium to Large Complex ProjectsAlireza Boloorchi Tabrizi, Ahmad Abdollahzadeh Barforoush. 523-529
• The Agile Research PenultimatumThomas Way, Sandhya Chandrasekhar, Arun Murthy. 530-536
• A software approach for implementing a phone bookRicky Gogoi, Hidam Kumarjit Singh, Tulshi Bezboruah. 537-540
• Extending Goal Models with a Probability Model and Using Bayesian NetworksBorys Bradel. 543-549
• Role of Early Aspects in Software Maintenance ProjectsVarsha Rathod, Y. Raghu Reddy. 550-555
• Relating Types of Lines of Code for Predicting the Software Development Effort of Small Programs Using a Fuzzy Model: Economizing VariablesCuauhtémoc López Martín, Ivica Kalichanin-Balich, Arturo Chavoya-Pena, Maria Elena Meda-Campaña. 556-652
• Task-Based Visualization for Software MaintenanceTaegHyun Kang, Young Lee, Wei-Da Hao. 563-567
• Quality of Hotels WebsitesÁlvaro Rocha, Avelino Victor. 568-570
• Usability as a Dominant Quality AttributeArif Raza, Luiz Capretz. 571-575
• A Survey on Challenges of Software Project ManagementKadir Alpaslan Demir. 579-585
• Determinig the Standard Deviation for Cosmic Software Functional Size MeasurementPablo Rodríguez-Soria, Borja Martín-Herrera, Marian Fernández de Sevilla, Jose J. Martínez-Herraiz, Maria J. Domínguez-Alda, Alberto Lucendo-Patiño. 586-591
• Metrology and Quantitative Analysis in ISO 15939Alain Abran, Jean-Marc Desharnais, Juan Jose Cuadrado-Gallego. 592-598
• Mining and Clustering Textual Requirements to Measure Functional Size of Software with COSMICIshrar Hussain, Olga Ormandjieva, Leila Kosseim. 599-605
• The Cost of Development of a New System to Control Drivers using GPS Location and Identification Through the Electronic ID CardJosé Antonio Gutiérrez, Luis de Marcos, José-Javier Martínez, José María Gutiérrez, José Ramón Hilera, Salvador Otón, Roberto Barchino. 606-612
• Approaches for Measuring Software Project Management EffectivenessKadir Alpaslan Demir, James Bret Michael, John S. Osmundson. 613-619
• Organizational Software Engineering Methodology for Project Cost EstimationAbdulhameed Al-Elaiwi. 623-628
• Golden Rules for Contribution-Based Open-Source CommunitiesMasood Mortazavi. 629-635
• Interactive Systems Engineering: A Pattern-Orientedand Model-Driven ArchitectureMohamed Taleb, Ahmed Seffah, Alain Abran. 636-642
• Mining Components with Software Execution DataShaowen Qin, Bei-Bei Yin, Kai-Yuan Cai. 643-649
• Ontology Context Immigration for Distributed Information SharingPing Xie. 650-653
• WHElse Methodology: Facilitating Quick and Easy Identification of Objects and a Transformation from Procedural to Object Oriented WayManu Goel. 654-658
• SOA and use of System Requirements Design - SRD: An Era of SOA 3.0Atif Farid Mohammad. 659-666
• Components Selection for Applications Interconnection: A Genetic ApproachSoufiane Boulehouache, Zaïdi Sahnoun. 667-672
• Security Requirement PrioritizationShruti Jaiswal, Daya Gupta. 673-679