Software Technologies: 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

Front Matter....Pages I-XII
Front Matter....Pages 1-1
Strategies for Scheduling Risk Mitigation in Software Project Management....Pages 3-23
Real-Time Reconfigurable Scheduling of Sporadic Tasks....Pages 24-39
Applying a Knowledge Management Technique to Improve Risk Assessment and Effort Estimation of Healthcare Software Projects....Pages 40-56
A Scenario Analysis Method with User Emotion and Its Context....Pages 57-71
Assuring Dependability of Software Reuse: An Industrial Standard....Pages 72-83
Simultaneously Improving Quality and Time-to-Market in Agile Development....Pages 84-98
State of the Art of Dynamic Software Updating in Java....Pages 99-113
Compiling Functional to Scripting Languages....Pages 114-130
Language Design and Implementation via the Combination of Embedding and Parsing....Pages 131-147
Enabling Informed Decision Making Through Mobile Technologies: A Challenge for Software Engineering....Pages 148-163
Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing....Pages 164-179
Platform-Independence in Model-Driven Development of Graphical User Interfaces for Multiple Devices....Pages 180-195
Front Matter....Pages 197-197
Controllability for Nondeterministic Discrete-Event Systems with Data....Pages 199-214
A Computer-Aided Process from Problems to Laws in Requirements Engineering....Pages 215-234
An Ambient ASM Model of Client-to-Client Interaction via Cloud Computing and an Anonymously Accessible Docking Service....Pages 235-255
Modeling a Flexible Replication Framework for Space-Based Computing....Pages 256-272
Realizable, Connector-Driven Software Architectures for Practising Engineers....Pages 273-289
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades....Pages 290-305
Task Oriented Context Models for Social Life Networks....Pages 306-321
Back Matter....Pages 323-323