Software Engineering, Business Continuity, and Education: International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

Front Matter....Pages -
A Novel Web Pages Classification Model Based on Integrated Ontology....Pages 1-10
AgentSpeak (L) Based Testing of Autonomous Agents....Pages 11-20
A Flexible Methodology of Performance Evaluation for Fault-Tolerant Ethernet Implementation Approaches....Pages 21-25
Behavioral Subtyping Relations for Timed Components....Pages 26-35
A Quantitative Analysis of Semantic Information Retrieval Research Progress in China....Pages 36-45
Applying Evolutionary Approaches to Data Flow Testing at Unit Level....Pages 46-55
Volume-Rendering of Mitochondrial Transports Using VTK....Pages 56-60
Model Checking of Transition-Labeled Finite-State Machines....Pages 61-73
Development of Intelligent Effort Estimation Model Based on Fuzzy Logic Using Bayesian Networks....Pages 74-84
A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams....Pages 85-96
A UML Profile for Real Time Industrial Control Systems....Pages 97-107
A Safe Regression Testing Technique for Web Services Based on WSDL Specification....Pages 108-119
Evaluating Software Maintenance Effort: The COME Matrix....Pages 120-136
COSMIC Functional Size Measurement Using UML Models....Pages 137-146
Identifying the Crosscutting among Concerns by Methods’ Calls Analysis....Pages 147-158
A Pattern-Based Approach to Formal Specification Construction....Pages 159-168
A Replicated Experiment with Undergraduate Students to Evaluate the Applicability of a Use Case Precedence Diagram Based Approach in Software Projects....Pages 169-179
Automated Requirements Elicitation for Global Software Development (GSD) Environment....Pages 180-189
Optimization of Transaction Mechanism on Java Card....Pages 190-199
SOCF: Service Oriented Common Frameworks Design Pattern for Mobile Systems with UML....Pages 200-211
Double Layered Genetic Algorithm for Document Clustering....Pages 212-218
Multi-Objective Genetic Algorithms, NSGA-II and SPEA2, for Document Clustering....Pages 219-227
Implementing a Coordination Algorithm for Parallelism on Heterogeneous Computers....Pages 228-236
Efficient Loop-Extended Model Checking of Data Structure Methods....Pages 237-249
The Systematic Practice of Test Design Automation....Pages 250-255
Application Runtime Framework for Model-Driven Development....Pages 256-264
The Fractal Prediction Model of Software Reliability Based on Wavelet....Pages 265-271
Source Code Metrics and Maintainability: A Case Study....Pages 272-284
Systematic Verification of Operational Flight Program through Reverse Engineering....Pages 285-291
A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application....Pages 292-297
A Validation Process for Real Time Transactions....Pages 298-304
A Test Management System for Operational Validation....Pages 305-313
Mobile Application Compatibility Test System Design for Android Fragmentation....Pages 314-320
Efficient Image Identifier Composition for Image Database....Pages 321-329
A Note on Two-Stage Software Testing by Two Teams....Pages 330-337
Cumulative Damage Models with Replacement Last....Pages 338-345
Periodic and Random Inspection Policies for Computer Systems....Pages 346-353
Software Reliability Growth Modeling with Change-Point and Its Goodness-of-Fit Comparisons....Pages 354-361
Replacement Policies with Interval of Dual System for System Transition....Pages 362-369
Probabilistic Analysis of a System with Illegal Access....Pages 370-376
Bayesian Inference for Credible Intervals of Optimal Software Release Time....Pages 377-384
A Note on Replacement Policies in a Cumulative Damage Model....Pages 385-391
Reliability Consideration of a Server System with Replication Buffering Relay Method for Disaster Recovery....Pages 392-398
Estimating Software Reliability Using Extreme Value Distribution....Pages 399-406
Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers....Pages 407-415
Implementation of an Integrated Test Bed for Avionics System Development....Pages 416-423
Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism....Pages 424-436
A Taxonomy of Concurrency Bugs in Event-Driven Programs....Pages 437-450
Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism....Pages 451-460
Implementation of Display Based on Pilot Preference....Pages 461-466
A Study on WSN System Integration for Real-Time Global Monitoring....Pages 467-478
The Modeling Approaches of Distributed Computing Systems....Pages 479-488
Event-Centric Test Case Scripting Method for SOA Execution Environment....Pages 489-496
bQoS(business QoS) Parameters for SOA Quality Rating....Pages 497-504
Business-Centric Test Assertion Model for SOA....Pages 505-513
Application of Systemability to Software Reliability Evaluation....Pages 514-521
‘Surge Capacity Evaluation of an Emergency Department in Case of Mass Casualty’....Pages 522-531
Business Continuity after the 2003 Bam Earthquake in Iran....Pages 532-540
Emergency-Affected Population Identification and Notification by Using Online Social Networks....Pages 541-550
Development and Application of an m-Learning System That Supports Efficient Management of ‘Creative Activities’ and Group Learning....Pages 551-558
The Good and the Bad: The Effects of Excellence in the Internet and Mobile Phone Usage....Pages 559-568
Trends in Social Media Application: The Potential of Google+ for Education Shown in the Example of a Bachelor’s Degree Course on Marketing....Pages 569-578
Learning Preferences and Self-Regulation – Design of a Learner-Directed E-Learning Model....Pages 579-589
Project Based Learning in Higher Education with ICT: Designing and Tutoring Digital Design Course at M S R I T, Bangalore....Pages 590-597
A Case Study on Improvement of Student Evaluation of University Teaching....Pages 598-603
An Inquiry into the Learning Principles Based on the Objectives of Self-directed Learning....Pages 604-612
Bioethics Curriculum Development for Nursing Students in South Korea Based on Debate as a Teaching Strategy....Pages 613-621
A Case Study on SUID in Child-Care Facilities....Pages 622-626
Frames of Creativity-DESK Model; Its Application to ’Education 3.0’....Pages 627-642
Blended Nurture....Pages 643-650
University-Industry Ecosystem: Factors for Collaborative Environment....Pages 651-661
Role Playing for Scholarly Articles....Pages 662-674
Statistical Analysis and Prior Distributions of Significant Software Estimation Factors Based on ISBSG Release 10....Pages 675-686
Virtual FDR Based Frequency Monitoring System for Wide-Area Power Protection....Pages 687-694
Engaging and Effective Asynchronous Online Discussion Forums....Pages 695-705
Online Learning Environment: Taxonomy of Asynchronous Online Discussion Forums....Pages 706-714
Erratum: University-Industry Ecosystem: Factors for Collaborative Environment....Pages E1-E1
Back Matter....Pages -