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 Cover
Tai-hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang
Springer Science & Business Media, Nov 29, 2011 - Computers - 716 pages
This book comprises selected papers of the 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, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of advances in software engineering and its Application, disaster recovery and business continuity, education and learning.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Novel Web Pages Classification Model Based on Integrated Ontology
1
AgentSpeak L Based Testing of Autonomous Agents
11
A Flexible Methodology of Performance Evaluation for FaultTolerant Ethernet Implementation Approaches
21
Behavioral Subtyping Relations for Timed Components
26
A Quantitative Analysis of Semantic Information Retrieval Research Progress in China
36
Applying Evolutionary Approaches to Data Flow Testing at Unit Level
46
VolumeRendering of Mitochondrial Transports Using VTK
56
Model Checking of TransitionLabeled FiniteState Machines
61
Bayesian Inference for Credible Intervals of Optimal Software Release Time
377
A Note on Replacement Policies in a Cumulative Damage Model
385
Reliability Consideration of a Server System with Replication Buffering Relay Method for Disaster Recovery
392
Estimating Software Reliability Using Extreme Value Distribution
399
Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers
407
Implementation of an Integrated Test Bed for Avionics System Development
416
Lecture Notes in Computer Science
424
A Taxonomy of Concurrency Bugs in EventDriven Programs
437

Development of Intelligent Effort Estimation Model Based on Fuzzy Logic Using Bayesian Networks
74
A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams
85
A UML Profile for Real Time Industrial Control Systems
97
A Safe Regression Testing Technique for Web Services Based on WSDL Specification
108
The COME Matrix
120
COSMIC Functional Size Measurement Using UML Models
137
Identifying the Crosscutting among Concerns by Methods Calls Analysis
147
A PatternBased Approach to Formal Specification Construction
159
A Replicated Experiment with Undergraduate Students to Evaluate the Applicability of a Use Case Precedence Diagram Based Approach in Software ...
169
Automated Requirements Elicitation for Global Software Development GSD Environment
180
Optimization of Transaction Mechanism on Java Card
190
Service Oriented Common Frameworks Design Pattern for Mobile Systems with UML
200
Double Layered Genetic Algorithm for Document Clustering
212
MultiObjective Genetic Algorithms NSGAII and SPEA2 for Document Clustering
219
Implementing a Coordination Algorithm for Parallelism on Heterogeneous Computers
228
Efficient LoopExtended Model Checking of Data Structure Methods
237
The Systematic Practice of Test Design Automation
250
Application Runtime Framework for ModelDriven Development
256
The Fractal Prediction Model of Software Reliability Based on Wavelet
265
A Case Study
272
Systematic Verification of Operational Flight Program through Reverse Engineering
285
A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application
292
A Validation Process for Real Time Transactions
298
A Test Management System for Operational Validation
305
Mobile Application Compatibility Test System Design for Android Fragmentation
314
Efficient Image Identifier Composition for Image Database
321
A Note on TwoStage Software Testing by Two Teams
330
Cumulative Damage Models with Replacement Last
338
Periodic and Random Inspection Policies for Computer Systems
346
Software Reliability Growth Modeling with ChangePoint and Its GoodnessofFit Comparisons
354
Replacement Policies with Interval of Dual System for System Transition
362
Probabilistic Analysis of a System with Illegal Access
370
Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism
451
Implementation of Display Based on Pilot Preference
461
A Study on WSN System Integration for RealTime Global Monitoring
467
The Modeling Approaches of Distributed Computing Systems
479
EventCentric Test Case Scripting Method for SOA Execution Environment
489
bQoSbusiness QoS Parameters for SOA Quality Rating
497
BusinessCentric Test Assertion Model for SOA
505
Application of Systemability to Software Reliability Evaluation
514
Surge Capacity Evaluation of an Emergency Department in Case of Mass Casualty
522
Business Continuity after the 2003 Bam Earthquake in Iran
532
EmergencyAffected Population Identification and Notification by Using Online Social Networks
541
Development and Application of an mLearning System That Supports Efficient Management of Creative Activities and Group Learning
551
The Effects of Excellence in the Internet and Mobile Phone Usage
559
The Potential of Google+ for Education Shown in the Example of a Bachelors Degree Course on Marketing
569
Learning Preferences and SelfRegulation Design of a LearnerDirected ELearning Model
579
Designing and Tutoring Digital Design Course at M S R I T Bangalore
590
A Case Study on Improvement of Student Evaluation of University Teaching
598
An Inquiry into the Learning Principles Based on the Objectives of Selfdirected Learning
604
Bioethics Curriculum Development for Nursing Students in South Korea Based on Debate as a Teaching Strategy
613
A Case Study on SUID in ChildCare Facilities
622
Frames of CreativityDESK Model Its Application to Education 30
627
Blended Nurture
643
Factors for Collaborative Environment
651
Role Playing for Scholarly Articles
662
Statistical Analysis and Prior Distributions of SignificantSoftware Estimation Factors Based on ISBSG Release
675
Virtual FDR Based Frequency Monitoring System for WideArea Power Protection
687
Engaging and Effective Asynchronous Online Discussion Forums
695
Taxonomy of Asynchronous Online Discussion Forums
706
UniversityIndustry Ecosystem Factors for Collaborative Environment
715
Author Index
715
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information