SERP 2009:
Las Vegas,
Nevada,
USA
Hamid R. Arabnia, Hassan Reza (Eds.):
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, SERP 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes.
CSREA Press 2009, ISBN 1-60132-129-5 
Testing + Validation + Verification
- Robert Snelick, Leonard Gebase, Gavin O'Brien:
A Framework for Testing Distributed Healthcare Applications.
3-9
- Ryszard Janicki, Ewa Romanowicz:
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.
10-16
- Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li:
Modular Analysis of Software Architecture Model.
17-23
- Elena Lidin:
InstantLocGen - Automatic Sub-Localization Generator for UI Testing.
24-30
- Hyunseok Min, Jinyoung Choi:
Automatic Test Generation for System using UML Statechart.
31-37
- Arif Muljadi, M. H. Samadzadeh:
A Detailed Analysis of the Component Object Model.
38-43
- Oksana N. Myronovych, Yuri E. Boreisha:
Modified Genetic Algorithm for Mutation-Based Testing.
44-49
- Lachana Ramingwong, A. S. M. Sajeev, Sakgasit Ramingwong, Xiaodi Huang:
Analyzing Software Process Models using SAM.
50-54
Software Techniques and Methodologies
- Daniel Korytina, Kenneth Anderson, Glenn Murray:
Software Engineering Concerns in Tools for Expressing and Exploring Combinatorial Data.
57-63
- Paul L. Bergstein, Priyanka Gariba, Vaibhavi Pisolkar, Sheetal Subbanwad:
An Eclipse Plug-In for Visualizing Java Code Dependencies on Relational Databases.
64-69
- Muhammad Shafique, Dwight Deugo:
finGAD: A Jar File Fingerprint Generator and Detector.
70-76
- Kevin Daimi, Laura Nowicki:
Software Engineering for Pinochle Game Development.
77-84
- Leon-Chacon Luis, Velez-Rivera Bienvenido:
TouchMouse: A Touch Sensitive Cursor to Facilitate Adaptation of Mouse-Based GUIs to Touch Screen Technology.
85-91
- Dipankar Majumdar, Swapan Bhattacharya:
Aspect Filter: A Metric Based Approach for Aspect Mining.
92-98
- Volodymyr Babiy, Ryszard Janicki, Tiffany Jingco, Tamar Kakiashvili, Waldemar W. Koczkodaj, Marc Woodbury-Smith:
Benefits of Using Tabular Expressions in Planning Health Services.
99-102
- Hiroaki Fukuda, Yoshikazu Yamamoto:
IBrowser: Realization of Direct Communication Between Mobile Devices and Computers.
103-108
- Jay Xiong, Jonathan Xiong:
A Complete Revolution in Software Engineering Based on Complexity Science.
109-115
- Andrei Borziak:
Speech Signals Comparison.
116-117
Real-Time and Safety Critical Systems
- Adam Lenfestey, Eric Cring, John Colombi:
Architecting Human Operator Trust in Automation for Multiple Unmanned Aerial System (UAS) Control.
121-127
- Ronald Marsh, Kirk Ogaard, Micah Kary, John Nordlie:
Development of a Range Control Center Information Display System For UAS Operations in North Dakota.
128-133
- Haiping Xu, Christopher K. Bates, Sol M. Shatz:
Real-Time Model Checking for Shill Detection in Live Online Auctions.
134-140
- Hyunju Kim, Adanna Ezeala, Youngser Park:
Analysis of Participants' Roles in Open Source Software Communities with Model-Based Clustering.
141-146
- Leonard Gebase, Robert Snelick:
Assessing Approaches for Evaluating Remote Heterogeneous Applications.
147-152
- Liliana Dobrica:
Towards a Knowledge Base for a Reference Architecture Development of Complex Embedded Systems.
153-159
- Claudia Pereira, Liliana Martinez, Liliana Favre:
State Machine Diagram Refactoring in MDA-based Development.
160-166
- Serhiy Morozov, Hossein Saiedian:
A Distributed Recommender System Architecture.
167-171
- Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling.
172-176
Case Studies and Experimental Reports + Educational and Legal + Technological Implications
Software Architecture,
Design and Evaluation + Modeling
- Richard F. Barrett, S. Ahern, Mark R. Fahey, R. Hartman-Baker, J. K. Horner, Stephen W. Poole, Ramanan Sankaran:
A Taxonomy of MPI-Oriented Usage Models in Parallelized Scientific Codes.
223-229
- Harri Hakonen, Ville Leppänen:
Object-Oriented Design Pattern: Access Protector.
230-236
- Kadir Alpaslan Demir:
Modular Prototyping of Systems and Environments Using Models Developed with Attributed Event Grammar.
237-243
- Nitin Chanderwal, Rohit Sharma, Abhishek Rai, Akansha Madan, Laxmi Lata Keshote, Parul Gupta:
Graphical User Interface for Linux Based Distributed File Storage System.
244-249
- David Wilson, Justin Furiga, Sreela Sasi:
Modeling the Campus Content Management in a Student Perspective.
250-255
- Azita Bahrami:
The use of Group Dynamics in Teaming of Software Developers.
256-262
- Dumitru Dan Burdescu, Marian Cristian Mihaescu, Costel Marian Ionascu, Bogdan Logofatu:
eLeTK: Component Based Framework Used for Knowledge Discovery in e-Learning Systems.
263-269
- Sabah S. Al-Fedaghi:
Unblocking Data Flow Diagrams.
270-273
- Mohammad Alshayeb:
The Effect of Refactoring to Patterns on Cohesion Metrics.
274-277
- Kehe Wu, Tong Zhang, Gang Ma:
The Design and Implementation of Mandatory Running Control.
279-282
- Silvian Calman:
Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA Form.
283-287
- Yoshiyuki Shinkawa:
Inter-Model Consistency Between UML Use Case and Activity Models.
288-294
- Huma Tauseef, Saima Farhan, Muhammad Abuzar Fahiem:
A Systematic Approach for Selecting a Suitable Software Architecture Evaluation Method.
295-299
- Liliana Dobrica:
A Systematic Quality Analysis of Software Architectures for Mobile Middleware Services.
300-306
- Kuang-Nan Chang:
Using Activity Diagrams for Function Design.
307-312
- Zongxia Du, Wenyi Zhang, Anqi Li:
Software Production and Execution with GOP model.
313-319
- Olfa Lamouchi, Amar Ramdane-Cherif, Nicole Lévy:
Evaluation Approach for Software Architecture.
320-326
- Devon M. Simmonds, Y. Raghu Reddy, Eunjee Song, Emanuel Grant:
A Comparison of Aspect-Oriented Approaches to Model Driven Engineering.
327-333
- Peter Knoke:
Privacy Law and Software Architecture.
334-337
- Jason Wilkins, Jeff Jenness:
Complex Operators: The Correspondence between the Visitor and Builder Design Patterns.
338-341
- Zeeshan-ul-hassan Usmani, Fawzi A. Alghamdi:
What We Can Learn From Biology - A Software Evolution Perspective.
342-345
Software Requirements Engineering
Software Metrics
Theoretic Approaches and Programming Languages
Software Process and Methodologies
- Reiner R. Dumke, Karsten Richter, Evan Asfoura, Konstantina Georgieva:
Process Improvement Using Causal Networks.
451-457
- Horatious Tanyi, Shmuel Rotenstreich:
A Framework for Resolving Mismatches that may Occur during System Integration Using COTS Software.
458-464
- Johan Ofverberg, Martin Blom:
Combining Contract-Based Development and Test-Driven Development.
465-470
- Yu-Fang Yeh:
An Action-Based Approach to Enhance Software Process Monitoring.
471-477
- Ching-Pao Chang:
Enhancement of Software Inspection Efforts Allocation using Fuzzy Control Strategy.
478-484
- Paniti Netinant:
Improving Modularity of Multithreads Object-Oriented Programming.
485-491
- Dongsu Kang, Chee-Yang Song, Doo-Kwon Baik:
A Business-driven Service Identification.
492-496
- Saqib Iqbal, Gary Allen:
On Identifying and Representing Aspects.
497-501
- Mira Kajko-Mattsson, Henry Ochenyi:
Good and Bad Sides of Agile Methods, Part 1.
502-508
- Mira Kajko-Mattsson, Henry Ochenyi:
Good and Bad Sides of Agile Methods, Part 2.
509-515
- Trent Kroeger, Neil Davidson:
A Quality Attribute Driven Method for Software Process Evaluation.
516-522
- Alireza Boloorchi Tabrizi, Ahmad Abdollahzadeh Barforoush:
A New Approach to Adapting XP for Use in Medium to Large Complex Projects.
523-529
- Thomas Way, Sandhya Chandrasekhar, Arun Murthy:
The Agile Research Penultimatum.
530-536
- Ricky Gogoi, Hidam Kumarjit Singh, Tulshi Bezboruah:
A software approach for implementing a phone book.
537-540
Software Reliability,
Maintenance,
and Usability Engineering
Software Projects and Products Measurement
- Kadir Alpaslan Demir:
A Survey on Challenges of Software Project Management.
579-585
- Pablo Rodríguez-Soria, Borja Martín-Herrera, Marian Fernandez de Sevilla, Jose J. Martínez-Herraiz, Maria J. Domínguez-Alda, Alberto Lucendo-Patiño:
Determinig the Standard Deviation for Cosmic Software Functional Size Measurement.
586-591
- Alain Abran, Jean-Marc Desharnais, Juan Jose Cuadrado-Gallego:
Metrology and Quantitative Analysis in ISO 15939.
592-598
- Ishrar Hussain, Olga Ormandjieva, Leila Kosseim:
Mining and Clustering Textual Requirements to Measure Functional Size of Software with COSMIC.
599-605
- José Antonio Gutiérrez, Luis de Marcos, José-Javier Martínez, José María Gutiérrez, José Ramón Hilera, Salvador Otón, Roberto Barchino:
The Cost of Development of a New System to Control Drivers using GPS Location and Identification Through the Electronic ID Card.
606-612
- Kadir Alpaslan Demir, James Bret Michael, John S. Osmundson:
Approaches for Measuring Software Project Management Effectiveness.
613-619
Late Papers
Copyright © Sat Nov 21 00:46:07 2009
by Michael Ley (ley@uni-trier.de)
