SERP 2008:
Las Vegas, Nevada, USA
Hamid R. Arabnia, Hassan Reza (Eds.):
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes.
CSREA Press 2008, ISBN 1-60132-088-4 
Case Studies
Reliability
- Bradley L. Vinz, Letha H. Etzkorn:
Combined Code Understanding and Comment Understanding.
55-60
- Obeten O. Ekabua, Matthew O. Adigun:
A Framework and Associated Models for Determining Change Impact Analysis During Utility Service Provisioning in a Grid Environment.
61-66
- Massood Towhidnejad, Li Shen, Thomas B. Hilburn:
Application of Software Fault Tree Analysis to an Airport Ground Control System.
67-71
- Chandrasekhar Putcha, Prince Kalia, Frank Pizzano, Gordon Hoskins, Coy Newton, Kunal Kamdar:
Engineering Applications of Software and Hardware Relibility.
72-78
- Narendar Reddy Kancharla, Ananda Rao Akepogu, Gopi Chand Merugu, Kiran Kumar Jogu:
A Quantitative Method to Detect Design Defects and to Ascertain the Elimination of Design Defects after Refactoring.
79-85
- Abdallah Qaisi, Omar Albasheer, Ahmad Sharieh:
A Software Maintenance Process Model With Featured-Based Tool and Reliability Metrics.
86-91
Software Quality
Evaluation
- Len Gebase, Robert Snelick, Mark Skall:
Conformance Testing and Interoperability: A Case Study in Healthcare Data Exchange.
143-151
- Hassan Reza, Joel Carver, Emanuel S. Grant:
Assessing the Complexity of Software Architecture Using Coupling and Cohesion.
150-156
- Xuchang Zou, Raffaella Settimi, Jane Cleland-Huang:
Evaluating the Use of Project Glossaries in Automated Trace Retrieval.
157-163
- Justyna Zander-Nowicka, Xuezheng Xiong, Ina Schieferdecker:
Systematic Test Data Generation for Embedded Software.
164-170
- Yessine Hadj Kacem, Adel Mahfoudhi, Hedi Tmar, Mohamed Abid:
Towards the Automatic Generation of Real Time Operating Systems Applying UML/MDA.
171-177
- Ramin Nasiri, Ali Moeini, Pooya Khosravyan Dehkordy:
Applying BSUP to Optimize RiskIT Methodology Based on UML 2.0.
178-183
- Mohammad Alanazi, David Gustafson:
Error Detection in Multiple State Diagrams.
184-190
- Annie Abraham, Raghu Subramanian, Rose Neena Tom:
PADIC: Assessment and Measurement Based Framework to Improve Productivity and Predictability in Engineering Projects.
191-197
Testing and Validation
- Mohan Bheemasenarao, Mansur H. Samadzadeh:
An Integrated Test Environment Process Model to Control Software Failures.
201-207
- Dae-Woo Kim, Hyun-Min Lim, Jae-Hyoung Yoo, Sang-Ha Kim:
Empirical Efficiency Testing for OSS.
208-213
- Michael Maynard, George Dimitoglou:
A Service Oriented Architecture Complexity Metric, Based on Statistical Hypothesis Testing.
214-220
- Emanuel S. Grant, Hassan Reza:
Towards Model Driven Testing for Mission Critical Software Systems.
221-224
- Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Validating Specifications for Model-Based Testing.
225-231
- Carlos Acosta, Martine Ceberio, Christian Servin:
A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers.
232-237
- Iftikhar Hussain Shah, Mike Tedd, Muhammad Akram Naul:
A Comparison of Languages for Specifying Abstract Interfaces.
238-244
- Trent Kroeger, Fengdi Shu, Shaowen Qin:
A Defect Typology to Support Software Process Verification and Validation.
245-250
Software Techniques
- Hamid Mcheick, Aymen Sioud, Abdenour Bouzouane, Rakan Mcheik:
A Garbage Collector Prototype for C++ Applications Based on Mark and Compact Using Aspect Oriented Programming.
253-259
- Paniti Netinant:
Implementing Readers/Writers Problem Using Aspect-Oriented Framework.
260-266
- Chetankumar Patel, Muthu Ramachandran:
INSERT: an Improved Story Cards Based Requirement Engineering Practice for Extreme Programming.
267-271
- Stefan Kugele, Wolfgang Haberl:
Mapping Data-Flow Dependencies onto Distributed Embedded Systems.
272-278
- Koji Matsumoto, Martin Eggenberger:
Agile Intelligence - Principle Methods and Mechanics.
279-286
- Liliana Dobrica, Eila Niemelä:
An Approach to Reference Architecture Design for Different Domains of Embedded Systems.
287-293
- Agung Fatwanto, Clive Boughton:
Bridge Specifications for Separated Concerns.
294-300
- Mojtaba Samimi, Laya Parviz Sedghy, Morteza Adib:
A New Approach For Solar Analysis Of Buildings.
301-307
Web Applications
- Mahmood Doroodchi, Shima Dastgheib:
A Framework for Web Application Development.
311-316
- Chih-Hao Liu, Yong-Feng Lin, Jason Jen-Yen Chen:
Using Agent to Coordinate Web Services.
317-322
- Alberto Hernandez, Alvaro Zamudio, Jesus Escobedo, Genadiy Burlak, José Alfredo Hernández, David Juarez, Yoel Ledo, Victor Mendoza, Alberto Ochoa:
Remote Sensing and Control by Means of the Parallel Port, Java and Recycled e-waste.
323-327
- Dumitru Dan Burdescu, Marian Cristian Mihaescu, Bogdan Logofatu:
Managing Requirements for e-Learning Platforms.
328-333
- Habib Karimpour, Ayaz Isazadeh, Mohsen Heydarian:
Object-Oriented Hypermedia Design and J2EE Technology for Web-based Applications.
334-340
Software Evolution
Tools and Legacy Systems
- Martin Kunz, Niko Zenker, Steffen Mencke, Reiner R. Dumke:
Unit Metrics - A Tool to support Refactoring in Agile Software Development.
389-395
- Rafik Salama, Sherif Aly:
A Decision Making Tool for the Selection of Service Oriented-Based Legacy Systems Modernization Strategies.
396-402
- Carmen Avila, Guillermo Flores, Yoonsik Cheon:
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.
403-408
- Woo Yeol Kim, Hyun Seung Son, Young Bom Park, Byung Ho Park, C. Robert Carlson, Robert Young Chul Kim:
Automatic MDA (Model Driven Architecture) Transformations for Heterogeneous Embedded Systems.
409-414
- Chetankumar Patel, Muthu Ramachandran:
Story Cards Process Improvement Framework.
415-421
- Samina Jadoon, Kashif Hesham Khan, Ijaz Ahmad:
A Frame Work for Software Engineers to Support Collaboration.
422-427
Theoretic Approaches
- William C. Chu, Chih-Hung Chang, Chih-Wei Lu:
Model-based Object-oriented Requirement Engineering and its Support to Software Documents Integration.
431-436
- Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman:
Integrating Z in DEVS : a case study Lift Control System.
437-443
- Mostafa Madiesh, Guido Wirtz:
A Top-Down Method for B2B Process Design Using SOA.
444-450
- Harpreet Singh, Adam Mustapha, Arati Dixit, Kuldip Singh, Grant Gerhart:
Software Complexity for Computer Communication and Sensor Networks Using Binary Decision Diagrams.
451-456
- Kuang-Nan Chang:
Model Checking Consistency Between Sequence and State Diagrams.
457-461
- Shahram Rahimi, John Dillards, Bidyut Gupta:
An Expert System for Pi-Calculus and Api-Calculus Automated Reduction.
462-468
- Ishrat Sami, Brian Dupee:
Qualitative Comparison of B, VDM and Z in Specifying Requirements of Safety Critical Systems.
469-475
- Young-Joo Lee, Chan-Yeol Park, Sung-Jun Kim, Jin-Woo Sung, Sang-Dong Lee, Joong-Kwon Kim:
Queue Design and Implementation Based on Service Level of NQS.
476-479
Software Management
- Gavin O'Brien, Robert Snelick, Lynne Rosenthal:
Leveraging a Common Development Framework and Delivery Approaches through Effective Software Management.
483-488
- Ernest Cachia, Mark Micallef:
Towards an Information Driven Software Development Life Cycle.
489-495
- Xiaoping Jia, Hongming Liu, Lizhang Qin, Adam Steele:
Metamodel based Model Transformation Framework.
496-502
- Lachana Inchaiwong, A. S. M. Sajeev, Xiaodi Huang, Sakgasit Ramingwong:
A Comparison of Software Process Models.
503-509
- Agung Fatwanto, Clive Boughton:
Architecture Description for Model-Driven Development.
510-517
- Syeda Umema Hani, M. Mumtaz-ul-Imam, Gulam Qadir Memon:
Standardization of Software Cost Estimation Process for Outsourcing in Pakistan: Statistical Methods Used for Checking Accuracy of Model Prediction.
518-523
- Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala:
A Software Cost Estimation Meta-model for Systematic Reuse Approaches.
524-530
- Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy:
Modeling Software Safety for Safety-Critical Systems.
531-537
Product Management
- Tryggvi Björgvinsson, Helgi Thorbergsson:
Feasibility of User-Driven Development in a Corporate Environment.
541-547
- Waraporn Jirapanthong:
An Approach to Software Artefact Specification for Supporting Product Line Systems.
548-554
- Hassan Pournaghshband, Shahriar Movafaghi:
Accuracy of Software Cost Estimation.
555-558
- Alvin Jefferson, Michael Wainer:
Looking for Smells: Visualizing Java Code with Dotplots.
559-563
- Tom Peplow, Brian J. Dupée, Margaret R. Ross:
Ensuring the Maturity of Processes During Transition to SOA.
564-568
- Mark Elkins, Margaret Ross, Geoff Staples, Brian J. Dupée:
Internal Marketing to Elicit Conceptual Needs for Internal Software.
569-574
- Sana Khan, Jawad Hussain:
Risk Identification - Challenges and Cure.
575-579
- P. K. Suri, Manoj Wadhwa:
Integration of Proposed Software Risk Model in Waterfall Process.
580-586
- Samer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba:
Criteria-Based Requirements Prioritization for Software Product Management.
587-593
Integrating Human Factors in Computing Technologies
Late Papers
- Xudong He:
A Formal Framework for Software System Modeling, Analysis and Realization.
627-633
- Artur Tomusiak, Kai Qian, Taixi Xu:
Dynamical Proxy for Dynamic Services.
634-638
- Phillipa L. Bennett, Ezra Kaahwa Mugisa:
Towards a Formal Model for Software Component Composition using Whole-Part Theory.
639-644
- Henrique Shoiti Fugita, Kechi Hirama:
Method for Service-Oriented Analysis and Design.
645-651
- Puja Sakhuja:
Requirement Preparation Before Awarding The Work To Vendor.
652-655
- Eyton Ferguson, Ezra Kaahwa Mugisa:
An Approach for Incremental Certification of Software Components.
656-660
- Cong-Cong Xing:
Binary Methods and Parameterized Types in Java: A Conflicting point between Theory and Practice.
661-667
- Yuqin Li, David Helgesson:
Experiences on Requirement Management in Offshore Outsourcing.
668-674
- Kazuaki Maeda:
Experience of a Ruby-Syntax Representation for Structured Data.
675-680
- Harish Mittal, Pradeep Bhatia:
Estimation of Software Testing Costs and Risks Using Fuzzy Techniques.
681-687
- Matthias Baumgarten, Kieran Greer, Maurice D. Mulvenna, Kevin Curran, Chris D. Nugent:
Utilizing Concept Drift for Pervasive Supervision.
688-694
- Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali:
Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages.
695-701
- Sathya Ganeshan, Muthu Ramachandran:
Process Maturity Model for Software Product Lines for SMEs.
702-707
- Sathya Ganeshan, Muthu Ramachandran:
Domain Engineering Method for Product Line Development.
708-713
- Izzat Alsmadi, Hassan Najadat:
Using XML Trees to Represent GUI States.
714-717
- Atif Farid Mohammad:
Use of Data Recharging for Personal Information Environment.
718-724
- Kehinde Jolayemi, Austin Melton:
Software Measurement Needs Its Own Theory.
725-728
Last update Thu May 23 17:56:41 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
