Bibliothèque de L'IMIST/CNRST

From the Contents: Security Certification Model for Mobile -- On Formalising Policy Refinement in Grid Virtual Organisations -- Exploring a Model-Oriented and Executable Syntax for UML Attributes -- A Case Study in Defect Measurement and Root Cause Analysis in a Turkish Software Organization -- Extending UML/MARTE-GRM For Integrating Tasks Migrations In Class Diagrams -- Towards a Protocol Algebra based on Algebraic Specifications.

The purpose of the 11th International Conference on Software Engineering Research, Management and Applications (SERA 2013) held on August 7 - 9, 2012 in Prague, Czech Republic 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 Software Engineering Research, Management and Applications, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.   The conference organizers selected 17 outstanding 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 further rigorous rounds of review.