Software Engineering Research, Management and Applications

✍ Scribed by Haeng-Kon Kim (auth.), Roger Lee (eds.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 282
• Series: Studies in Computational Intelligence 496
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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

✦ Subjects

Computational Intelligence; Artificial Intelligence (incl. Robotics); Software Engineering