Software Engineering Research, Management and Applications

Security Certification Model for Mobile.- On Formalising Policy Refinement 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 Verification.- 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.