International Conference on Software Engineering Theory and Practice
(SETP-10)
Orlando, Florida, USA, July 12-14, 2010
M.A. Karim Sadiq, Dan Tamir, Peraphon Sophatsathit (Editors)
ISBN: 978-1-60651-023-0
Publisher: ISRST
Website: http://www.PromoteResearch.org

 

Contents:

 

Ben E. Cline
The Reaction Vessel: A General-Purpose Programming Framework Based on the Chemical Metaphor
1-6

Praveen Ranjan Srivastava, Bhanu Prasad
Test Case Prioritization for Regression Testing
7-13

Praveen Ranjan Srivastava, Bhanu Prasad
Optimal Software Release Strategy
14-21

Praveen Ranjan Srivastava, Anuj Prateek, Bhanu Prasad
An Approach for End-to-End Path Generation in Software Testing
22-29

Praveen Ranjan Srivastava, Puneet Jain, Bhanu Prasad
Ranking of Software Quality Factors using Analytical Hierarchy Process
30-37

A.Chamundeswari, Chitra Babu
Automatic Test Case Generation from UML Use Case Model
38-45

Priya Sankaran, Olgun Cengiz, Y. Raghu Reddy
The Possible Abstractions of Aspects from Agent oriented Systems
46-53

Nazir Ahmad Zafar, Ghulam Ali
Transformation of X-machine to Z Notation Enhancing Modeling Power for Distributed Systems
54-61

Luis R. Corral
Educational Techniques and Classroom Experience on Multimedia Systems Development by Journalism and Communication Undergraduate Students
62-67

Reihaneh Khorsand Motlagh Esfahani, Naser Nematbakhsh, Mohammad Davarpanah Jazi, Farhad Mardukhi
Quality aware service discovery using service level agreements
68-72

P. Seetharamaiah, Ben Swarup Medikonda
A System-Level Approach to Software Safety Analysis for Critical Systems
73-80

Muhammad Ilyas, Josef Küng
A Study to Observe the Role of Conformance Costs on Quality Costs in Software Industry
81-86

Moritz Kleine, Bjorn Bartels
On Using CSP for the Construction of Concurrent Programs
87-93

Daniel Queiroga, Gustavo Costa, Gabriel Falconieri Freitas, Alexandre Campinho, Mariano Aloi, Rodrigo Galvão
Automating Software Reuse Management Practices to Address SPI Brazilian Program Requisites
94-99

Ali Gondal, Michael Poppleton, Michael Butler, Colin Snook
Feature-Oriented Modelling Using Event-B
100-106

Adalat safarkhanloo, Said parsa, Shahriar Lotfi
A New Definite Algorithm for the Software Whitebox Test Data Generation Using Control Flow Graph and Semantic Rules
107-111

Li Xiaoli, Liu Chao, Shu Zhiyong, Wang Lei
Defect-oriented Software Dependability Evaluation and Prediction Based on SVM
112-116

John McNamara
Stochastic black box testing of multithreaded applications: a case study with a vision measurement machine
117-121

Carl J. Mueller, Dan Tamir
Investigating Software Usability Definitions and Standards
122-129

Afshin Salajegheh, Yousef Rastegari, Mohsen Sayadiharikandeh, Samaneh Rastegari
Change-Request Buffer Role in Configuration Management Process
130-133

Farzad Amirjavid, Hamid Mcheick
Surveying Time Aspect in Web-based Distributed Model Based on Service Oriented Computing
134-141

Gowri.R, Kailas.A, Jeyaprakash.R, Carani Anirudh
Development of Multi-Agent System for Fire Accident Detection Using Gaia Methodology
142-146

Dawnette Joy Stephenson, Suresh Sankaranarayanan
AutoRefS – A Software for Automated Referencing System
147-152

Hassan Pournaghshband
Software Quality Testing – Issues and Concerns
153-156

Ahmed Hassan Mohamed Ali
General Increment Iterative Extreme Programming (GIIXP) Methodology for Developing Web-Based Systems
157-162

Jan Christian Krause
Using Thematic Grids to Document Web Service Operations
163-170