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.

The purpose of the 8th Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2010) held on May 24 – 26, 2010 in Montreal, Canada was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected 15 outstanding papers from SERA 2010, all of which you will find in this volume of Springer’s Studies in Computational Intelligence.