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 BibTeX
Case Studies
Reliability
- Bradley L. Vinz, Letha H. Etzkorn:
Combined Code Understanding and Comment Understanding.
55-60 BibTeX
- 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 BibTeX
- Massood Towhidnejad, Li Shen, Thomas B. Hilburn:
Application of Software Fault Tree Analysis to an Airport Ground Control System.
67-71 BibTeX
- Chandrasekhar Putcha, Prince Kalia, Frank Pizzano, Gordon Hoskins, Coy Newton, Kunal Kamdar:
Engineering Applications of Software and Hardware Relibility.
72-78 BibTeX
- 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 BibTeX
- Abdallah Qaisi, Omar Albasheer, Ahmad Sharieh:
A Software Maintenance Process Model With Featured-Based Tool and Reliability Metrics.
86-91 BibTeX
Software Quality
Evaluation
- Len Gebase, Robert Snelick, Mark Skall:
Conformance Testing and Interoperability: A Case Study in Healthcare Data Exchange.
143-151 BibTeX
- Hassan Reza, Joel Carver, Emanuel Grant:
Assessing the Complexity of Software Architecture Using Coupling and Cohesion.
150-156 BibTeX
- Xuchang Zou, Raffaella Settimi, Jane Cleland-Huang:
Evaluating the Use of Project Glossaries in Automated Trace Retrieval.
157-163 BibTeX
- Justyna Zander-Nowicka, Xuezheng Xiong, Ina Schieferdecker:
Systematic Test Data Generation for Embedded Software.
164-170 BibTeX
- Yessine Hadj Kacem, Adel Mahfoudhi, Hedi Tmar, Mohamed Abid:
Towards the Automatic Generation of Real Time Operating Systems Applying UML/MDA.
171-177 BibTeX
- Ramin Nasiri, Ali Moeini, Pooya Khosravyan Dehkordy:
Applying BSUP to Optimize RiskIT Methodology Based on UML 2.0.
178-183 BibTeX
- Mohammad Alanazi, David Gustafson:
Error Detection in Multiple State Diagrams.
184-190 BibTeX
- Annie Abraham, Raghu Subramanian, Rose Neena Tom:
PADIC: Assessment and Measurement Based Framework to Improve Productivity and Predictability in Engineering Projects.
191-197 BibTeX
Testing and Validation
- Mohan Bheemasenarao, Mansur H. Samadzadeh:
An Integrated Test Environment Process Model to Control Software Failures.
201-207 BibTeX
- Dae-Woo Kim, Hyun-Min Lim, Jae-Hyoung Yoo, Sang-Ha Kim:
Empirical Efficiency Testing for OSS.
208-213 BibTeX
- Michael Maynard, George Dimitoglou:
A Service Oriented Architecture Complexity Metric, Based on Statistical Hypothesis Testing.
214-220 BibTeX
- Emanuel Grant, Hassan Reza:
Towards Model Driven Testing for Mission Critical Software Systems.
221-224 BibTeX
- Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Validating Specifications for Model-Based Testing.
225-231 BibTeX
- Carlos Acosta, Martine Ceberio, Christian Servin:
A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers.
232-237 BibTeX
- Iftikhar Hussain Shah, Mike Tedd, Muhammad Akram Naul:
A Comparison of Languages for Specifying Abstract Interfaces.
238-244 BibTeX
- Trent Kroeger, Fengdi Shu, Shaowen Qin:
A Defect Typology to Support Software Process Verification and Validation.
245-250 BibTeX
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 BibTeX
- Paniti Netinant:
Implementing Readers/Writers Problem Using Aspect-Oriented Framework.
260-266 BibTeX
- Chetankumar Patel, Muthu Ramachandran:
INSERT: an Improved Story Cards Based Requirement Engineering Practice for Extreme Programming.
267-271 BibTeX
- Stefan Kugele, Wolfgang Haberl:
Mapping Data-Flow Dependencies onto Distributed Embedded Systems.
272-278 BibTeX
- Koji Matsumoto, Martin Eggenberger:
Agile Intelligence - Principle Methods and Mechanics.
279-286 BibTeX
- Liliana Dobrica, Eila Niemelä:
An Approach to Reference Architecture Design for Different Domains of Embedded Systems.
287-293 BibTeX
- Agung Fatwanto, Clive Boughton:
Bridge Specifications for Separated Concerns.
294-300 BibTeX
- Mojtaba Samimi, Laya Parviz Sedghy, Morteza Adib:
A New Approach For Solar Analysis Of Buildings.
301-307 BibTeX
Web Applications
- Mahmood Doroodchi, Shima Dastgheib:
A Framework for Web Application Development.
311-316 BibTeX
- Chih-Hao Liu, Yong-Feng Lin, Jason Jen-Yen Chen:
Using Agent to Coordinate Web Services.
317-322 BibTeX
- Alberto Hernandez, Alvaro Zamudio, Jesus Escobedo, Genadiy Burlak, Jose Alfredo Hernandez, 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 BibTeX
- Dumitru Dan Burdescu, Marian Cristian Mihaescu, Bogdan Logofatu:
Managing Requirements for e-Learning Platforms.
328-333 BibTeX
- Habib Karimpour, Ayaz Isazadeh, Mohsen Heydarian:
Object-Oriented Hypermedia Design and J2EE Technology for Web-based Applications.
334-340 BibTeX
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 BibTeX
- Rafik Salama, Sherif Aly:
A Decision Making Tool for the Selection of Service Oriented-Based Legacy Systems Modernization Strategies.
396-402 BibTeX
- Carmen Avila, Guillermo Flores, Yoonsik Cheon:
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.
403-408 BibTeX
- 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 BibTeX
- Chetankumar Patel, Muthu Ramachandran:
Story Cards Process Improvement Framework.
415-421 BibTeX
- Samina Jadoon, Kashif Hesham Khan, Ijaz Ahmad:
A Frame Work for Software Engineers to Support Collaboration.
422-427 BibTeX
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 BibTeX
- Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman:
Integrating Z in DEVS : a case study Lift Control System.
437-443 BibTeX
- Mostafa Madiesh, Guido Wirtz:
A Top-Down Method for B2B Process Design Using SOA.
444-450 BibTeX
- Harpreet Singh, Adam Mustapha, Arati Dixit, Kuldip Singh, Grant Gerhart:
Software Complexity for Computer Communication and Sensor Networks Using Binary Decision Diagrams.
451-456 BibTeX
- Kuang-Nan Chang:
Model Checking Consistency Between Sequence and State Diagrams.
457-461 BibTeX
- Shahram Rahimi, John Dillards, Bidyut Gupta:
An Expert System for Pi-Calculus and Api-Calculus Automated Reduction.
462-468 BibTeX
- Ishrat Sami, Brian Dupee:
Qualitative Comparison of B, VDM and Z in Specifying Requirements of Safety Critical Systems.
469-475 BibTeX
- 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 BibTeX
Software Management
- Gavin O'Brien, Robert Snelick, Lynne Rosenthal:
Leveraging a Common Development Framework and Delivery Approaches through Effective Software Management.
483-488 BibTeX
- Ernest Cachia, Mark Micallef:
Towards an Information Driven Software Development Life Cycle.
489-495 BibTeX
- Xiaoping Jia, Hongming Liu, Lizhang Qin, Adam Steele:
Metamodel based Model Transformation Framework.
496-502 BibTeX
- Lachana Inchaiwong, A. S. M. Sajeev, Xiaodi Huang, Sakgasit Ramingwong:
A Comparison of Software Process Models.
503-509 BibTeX
- Agung Fatwanto, Clive Boughton:
Architecture Description for Model-Driven Development.
510-517 BibTeX
- 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 BibTeX
- 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 BibTeX
- Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy:
Modeling Software Safety for Safety-Critical Systems.
531-537 BibTeX
Product Management
- Tryggvi Björgvinsson, Helgi Thorbergsson:
Feasibility of User-Driven Development in a Corporate Environment.
541-547 BibTeX
- Waraporn Jirapanthong:
An Approach to Software Artefact Specification for Supporting Product Line Systems.
548-554 BibTeX
- Hassan Pournaghshband, Shahriar Movafaghi:
Accuracy of Software Cost Estimation.
555-558 BibTeX
- Alvin Jefferson, Michael Wainer:
Looking for Smells: Visualizing Java Code with Dotplots.
559-563 BibTeX
- Tom Peplow, Brian J. Dupée, Margaret R. Ross:
Ensuring the Maturity of Processes During Transition to SOA.
564-568 BibTeX
- Mark Elkins, Margaret Ross, Geoff Staples, Brian J. Dupée:
Internal Marketing to Elicit Conceptual Needs for Internal Software.
569-574 BibTeX
- Sana Khan, Jawad Hussain:
Risk Identification - Challenges and Cure.
575-579 BibTeX
- P. K. Suri, Manoj Wadhwa:
Integration of Proposed Software Risk Model in Waterfall Process.
580-586 BibTeX
- Samer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba:
Criteria-Based Requirements Prioritization for Software Product Management.
587-593 BibTeX
Integrating Human Factors in Computing Technologies
Late Papers
- Xudong He:
A Formal Framework for Software System Modeling, Analysis and Realization.
627-633 BibTeX
- Artur Tomusiak, Kai Qian, Taixi Xu:
Dynamical Proxy for Dynamic Services.
634-638 BibTeX
- Phillipa L. Bennett, Ezra Kaahwa Mugisa:
Towards a Formal Model for Software Component Composition using Whole-Part Theory.
639-644 BibTeX
- Henrique Shoiti Fugita, Kechi Hirama:
Method for Service-Oriented Analysis and Design.
645-651 BibTeX
- Puja Sakhuja:
Requirement Preparation Before Awarding The Work To Vendor.
652-655 BibTeX
- Eyton Ferguson, Ezra Kaahwa Mugisa:
An Approach for Incremental Certification of Software Components.
656-660 BibTeX
- Cong-Cong Xing:
Binary Methods and Parameterized Types in Java: A Conflicting point between Theory and Practice.
661-667 BibTeX
- Yuqin Li, David Helgesson:
Experiences on Requirement Management in Offshore Outsourcing.
668-674 BibTeX
- Kazuaki Maeda:
Experience of a Ruby-Syntax Representation for Structured Data.
675-680 BibTeX
- Harish Mittal, Pradeep Bhatia:
Estimation of Software Testing Costs and Risks Using Fuzzy Techniques.
681-687 BibTeX
- Matthias Baumgarten, Kieran Greer, Maurice D. Mulvenna, Kevin Curran, Chris D. Nugent:
Utilizing Concept Drift for Pervasive Supervision.
688-694 BibTeX
- Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali:
Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages.
695-701 BibTeX
- Sathya Ganeshan, Muthu Ramachandran:
Process Maturity Model for Software Product Lines for SMEs.
702-707 BibTeX
- Sathya Ganeshan, Muthu Ramachandran:
Domain Engineering Method for Product Line Development.
708-713 BibTeX
- Izzat Alsmadi, Hassan Najadat:
Using XML Trees to Represent GUI States.
714-717 BibTeX
- Atif Farid Mohammad:
Use of Data Recharging for Personal Information Environment.
718-724 BibTeX
- Kehinde Jolayemi, Austin Melton:
Software Measurement Needs Its Own Theory.
725-728 BibTeX
Copyright © Sat May 16 23:37:41 2009
by Michael Ley (ley@uni-trier.de)
