Software Engineering Research, Management And Applications (studies In Computational Intelligence)

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 Front Matter....Pages 1-12 Security Certification Model for Mobile-Commerce....Pages 1-15 On Formalising Policy Refinement in Grid Virtual Organisations....Pages 17-31 Exploring a Model-Oriented and Executable Syntax for UML Attributes....Pages 33-53 A Case Study in Defect Measurement and Root Cause Analysis in a Turkish Software Organization....Pages 55-72 Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams....Pages 73-84 Towards a Protocol Algebra Based on Algebraic Specifications....Pages 85-98 A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds....Pages 99-116 An Empirical Study on the Relationship between User Characteristics and Quality Factors for Effective Shopping Mall Websites Implementation....Pages 117-127 Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity....Pages 129-149 How Process Enactment Data Affects Product Defectiveness Prediction - A Case Study....Pages 151-166 Modeling Business and Requirements Relationships for Architectural Pattern Selection....Pages 167-181 Introducing Critical Thinking to Software Engineering Education....Pages 183-195 Activity Diagrams Patterns for Modeling Business Processes....Pages 197-213 S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes....Pages 215-230 Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas....Pages 231-246 Repository-Centric Process Modeling – Example of a Pattern Based Development Process....Pages 247-261 Applying CBD to Build Mobile Service Applications....Pages 263-277 Back Matter....Pages 279-279