Skip to main content
SpringerLink
Log in

Software Engineering Research, Management and Applications

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Roger Lee

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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

Part of the book series: Studies in Computational Intelligence (SCI, volume 496)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages 1-12
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

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

    Roger Lee

Bibliographic Information

  • Book Title: Software Engineering Research, Management and Applications

  • Editors: Roger Lee

  • Series Title: Studies in Computational Intelligence

  • DOI: https://doi.org/10.1007/978-3-319-00948-3

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer International Publishing Switzerland 2014

  • Hardcover ISBN: 978-3-319-00947-6Published: 30 July 2013

  • Softcover ISBN: 978-3-319-03270-2Published: 06 August 2015

  • eBook ISBN: 978-3-319-00948-3Published: 19 July 2013

  • Series ISSN: 1860-949X

  • Series E-ISSN: 1860-9503

  • Edition Number: 1

  • Number of Pages: XIV, 277

  • Topics: Computational Intelligence, Artificial Intelligence, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation