
Software Engineering Research, Management and Applications 2010
Roger Lee(Editor)
Springer (Publisher)
Published on 13. November 2014
Book
Paperback/Softback
XI, 255 pages
978-3-642-42246-1 (ISBN)
Description
th The purpose of the 8 Conference on Software Engineering Research, Mana- ment and Applications (SERA 2010) held on May 24 - 26, 2010 in Montreal, Canada was to bring together researchers and scientists, businessmen and ent- preneurs, teachers and students to discuss the numerous fields of computer s- ence, and to share ideas and information in a meaningful way. Our conference officers selected the best 16 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rounds of rigorous review. In Chapter 1, Emil Vassev and Serguei Mokhov discuss their work in creating a Distributed Modular Audio Recognition Framework capable of self-healing using the Autonomic System Specification Language. In Chapter 2, Yuhong Yan et al. present a new model of the Web Service Com- sition Problem and propose a reparative method based on planning graphs. In Chapter 3, Chandan Sarkar et al. explore options for conducting remote usab- ity tests using their newly-developed Total Cost of Administration (TCA) tool to collect and analyze test results.
In Chapter 4, Idir Ait-Sadoune and Yamine Ait-Ameur focus on the formal - scription, modeling, and validation of web services compositions and suggest a refinement based method that encodes the Business Process Execution Language (BPEL) model's decompositions.
In Chapter 4, Idir Ait-Sadoune and Yamine Ait-Ameur focus on the formal - scription, modeling, and validation of web services compositions and suggest a refinement based method that encodes the Business Process Execution Language (BPEL) model's decompositions.
More details
Series
Edition
2010 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XI, 255 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 15 mm
Weight
417 gr
ISBN-13
978-3-642-42246-1 (9783642422461)
DOI
10.1007/978-3-642-13273-5
Schweitzer Classification
Other editions
Additional editions

Book
12/2010
Springer
€106.99
Shipment within 7-9 days
Persons
Content
Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing.- Repairing Service Compositions in a Changing World.- Remote Automated User Testing: First Steps toward a General-Purpose Tool.- Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.- Code Generation for Autonomic Systems with ASSL.- A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications.- Development of Mobile Location-Based Systems with Component.- A New Compound Metric for Software Risk Assessment.- Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language.- A Survey on the Importance of Some Economic Factors in the Adoption of Open Source Software.- Verification of the Correctness in Composed UML Behavioural Diagrams.- Development of Mobile Agent on CBD.- Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML.- Study of One Dimensional Molecular Properties Using Python.- Comparing the Estimation Performance of the EPCU Model with the Expert Judgment Estimation Approach Using Data from Industry.- Investigating the Capability of Agile Processes to Support Life-Science Regulations: The Case of XP and FDA Regulations with a Focus on Human Factor Requirements.