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, 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 S. 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 T. Boloorchi, 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 Fernández 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
Last update Sun May 19 23:34:00 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page