Abstract is missing.
- 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