Software Engineering Research, Management and Applications

1. Front Matter

   Pages 1-12

   PDF

2. Security Certification Model for Mobile-Commerce

   • Haeng-Kon Kim

   Pages 1-15

3. On Formalising Policy Refinement in Grid Virtual Organisations

   • Benjamin Aziz

   Pages 17-31

4. Exploring a Model-Oriented and Executable Syntax for UML Attributes

   • Omar Badreddin, Andrew Forward, Timothy C. Lethbridge

   Pages 33-53

5. A Case Study in Defect Measurement and Root Cause Analysis in a Turkish Software Organization

   • Cagla Atagoren, Oumout Chouseinoglou

   Pages 55-72

6. Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams

   • Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi

   Pages 73-84

7. Towards a Protocol Algebra Based on Algebraic Specifications

   • Iakovos Ouranos, Petros Stefaneas

   Pages 85-98

8. A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds

   • Sébastien Salva, Tien-Dung Cao

   Pages 99-116

9. An Empirical Study on the Relationship between User Characteristics and Quality Factors for Effective Shopping Mall Websites Implementation

   • Donghwoon Kwon, Young Jik Kwon, Yeong-Tae Song, Roger Lee

   Pages 117-127

10. Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity

    • Omar Badreddin, Andrew Forward, Timothy C. Lethbridge

    Pages 129-149

11. How Process Enactment Data Affects Product Defectiveness Prediction - A Case Study

    • Damla Aslan, Ayça Tarhan, ve Onur Demirörs

    Pages 151-166

12. Modeling Business and Requirements Relationships for Architectural Pattern Selection

    • Javier Berrocal, José García-Alonso, Juan Manuel Murillo

    Pages 167-181

13. Introducing Critical Thinking to Software Engineering Education

    • Oumout Chouseinoglou, Semih Bilgen

    Pages 183-195

14. Activity Diagrams Patterns for Modeling Business Processes

    • Étienne André, Christine Choppy, Gianna Reggio

    Pages 197-213

15. S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes

    • Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist

    Pages 215-230

16. Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas

    • Martin Babka, Tomáš Balyo, Jaroslav Keznikl

    Pages 231-246

17. Repository-Centric Process Modeling – Example of a Pattern Based Development Process

    • Jacob Geisel, Brahim Hamid, Jean-Michel Bruel

    Pages 247-261

18. Applying CBD to Build Mobile Service Applications

    • Haeng-Kon Kim, Roger Lee

    Pages 263-277

19. Back Matter

    Pages 279-279

    PDF

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.

• ACIS SERA 2013
• Computational Intelligence
• Software Engineering Management

• , Software Engineering & Information, Central Michigan University, Mt. Pleasant, USA

  Roger Lee

Policies and ethics