Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
Recent research in Software Engineering, Management and Applications
Edited outcome of the ACIS SERA 2013 conference held August 7-9, 2013, Prague, Czech Republic
Written by experts in the field
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.
Security Certification Model for Mobile.- On Formalising Policy Reﬁnement 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.- A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Veriﬁcation.- An Empirical Study on the Relationship between User Characteristics and Quality Factors for Effective Shopping Mall Websites Implementation.- Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity.- How Process Enactment Data Affects Product Defectiveness Prediction - A Case Study.- Modeling Business and Requirements Relationships for Architectural Pattern Selection.- Introducing Critical Thinking to Software Engineering Education.- Activity Diagrams Patterns for Modeling Business.- S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-oriented Processes.- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.- Repository-Centric Process Modeling Example of a Pattern Based Development Process.- Applying CBD to Build Mobile Service Applications.