Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V

Front Matter....Pages -
Proof-Carrying Model for Parsing Techniques....Pages 1-14
An Approach for Unit Testing in OOP Based on Random Object Generation....Pages 15-31
Weighted-Frequent Itemset Refinement Methodology (W-FIRM) of Usage Clusters....Pages 32-50
An Approach to Creating a Personified Job Description of a Designer in Designing a Family of Software Intensive Systems....Pages 51-62
Mobile Application Development: How to Estimate the Effort?....Pages 63-72
Support for Refactoring an Application towards an Adaptive Object Model....Pages 73-89
A Strongly Consistent Transformation from UML Interactions to PEPA Nets....Pages 90-105
Early Effort Estimation for Quality Requirements by AHP....Pages 106-118
A Case Study to Enable and Monitor Real IT Companies Migrating from Waterfall to Agile....Pages 119-134
A Solution Proposal for Complex Web Application Modeling with the I-Star Framework....Pages 135-145
Apply Wiki for Improving Intellectual Capital and Effectiveness of Project Management at Cideco Company....Pages 146-158
Acceptance and Use of E-Learning Based on Cloud Computing: The Role of Consumer Innovativeness....Pages 159-174
Retracted: Explicit Untainting to Reduce Shadow Memory Usage in Dynamic Taint Analysis....Pages 175-184
Using the NIST Reference Model for Refining Logical Architectures....Pages 185-199
Experimental Evaluation of Conceptual Modelling through Mind Maps and Model Driven Engineering....Pages 200-214
The Use of Metaheuristics to Software Project Scheduling Problem....Pages 215-226
Multiattribute Based Machine Learning Models for Severity Prediction in Cross Project Context....Pages 227-241
Self Organizing Networks for 3GPP LTE....Pages 242-254
A Two-Way Loop Algorithm for Exploiting Instruction-Level Parallelism in Memory System....Pages 255-264
Investigation of SPM Approaches for Academic IT – Projects....Pages 265-282
An Approach for Security Patterns Application in Component Based Models....Pages 283-296
Evaluation of Web Session Cluster Quality Based on Access-Time Dissimilarity and Evolutionary Algorithms....Pages 297-310
Inferring User Interface Patterns from Execution Traces of Web Applications....Pages 311-326
Interactive Test Case Design Algorithm....Pages 327-336
Recognizing Antipatterns and Analyzing Their Effects on Software Maintainability....Pages 337-352
The Impact of Version Control Operations on the Quality Change of the Source Code....Pages 353-369
A Structured Approach for Eliciting, Modeling, and Using Quality-Related Domain Knowledge....Pages 370-386
Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment....Pages 387-401
Service Layer for IDE Integration of C/C++ Preprocessor Related Analysis....Pages 402-417
A State-Based Testing Method for Detecting Aspect Composition Faults....Pages 418-433
Creating a Framework for Quality Decisions in Software Projects....Pages 434-448
Multi-heuristic Based Algorithm for Test Case Prioritization....Pages 449-460
On the Impact of Debugging on Software Reliability Growth Analysis: A Case Study....Pages 461-475
Simplifying Maintenance by Application of Architectural Services....Pages 476-491
On the Structural Code Clone Detection Problem: A Survey and Software Metric Based Approach....Pages 492-507
An Empirical Study of Software Reuse and Quality in an Industrial Setting....Pages 508-523
A Case Study of Refactoring Large-Scale Industrial Systems to Efficiently Improve Source Code Quality....Pages 524-540
Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool....Pages 541-555
Refactoring Smelly Spreadsheet Models....Pages 556-571
Towards Managing Understandability of Quality-Related Information in Software Development Processes....Pages 572-585
Web Accessibility in Social Networking Services....Pages 586-601
A Visual DSL for the Certification of Open Source Software....Pages 602-617
Study on the Social Impact on Software Architecture through Metrics of Modularity....Pages 618-632
Towards a Formal Library for Precise and Accurate Measurements....Pages 633-648
Framework for Maintainability Measurement of Web Application for Efficient Knowledge-Sharing on Campus Intranet....Pages 649-662
Use of Graph Databases in Tourist Navigation Application....Pages 663-677
Evaluation of Data Management Systems for Geospatial Big Data....Pages 678-690
Introducing iSCSI Protocol on Online Based MapReduce Mechanism....Pages 691-706
Big Data Clustering: A Review....Pages 707-720
An Approachable Analytical Study on Big Educational Data Mining....Pages 721-737
Genetic and Backtracking Search Optimization Algorithms Applied to Localization Problems....Pages 738-746
Optimization of the Multiechelon System for Repairable Spare Parts Using Swarm Intelligence Combined with a Local Search Strategy....Pages 747-761
A Goal-Oriented Meta-Model for Scientific Research....Pages 762-774
A Decision Support System for Efficient Crop Production Supply Chain Management....Pages 775-790
Conceptualizing Crop Life Cycle Events to Create a User Centered Ontology for Farmers....Pages 791-806
Erratum: Explicit Untainting to Reduce Shadow Memory Usage in Dynamic Taint Analysis....Pages E1-E1
Back Matter....Pages -