Software Engineering, Business Continuity, and Education

Name: 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
Brand: Springer
Price: 96.29 EUR
Availability: OnlineOnly

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

Tai-hoon Kim Hojjat Adeli Haeng-kon Kim Heau-jo Kang Kyung Jung Kim Akingbehin Kiumi Byeong-Ho Kang(Editor)

Springer (Publisher)

Published on 2. December 2011

XVIII, 716 pages

E-Book

PDF with digital watermarking

System requirements

978-3-642-27207-3 (ISBN)

€96.29incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Title
Foreword
Preface
Organization
Table of Contents
A Novel Web Pages Classification Model Based on Integrated Ontology
Introduction
Text Classification Model Based SUMO and WordNet Ontology Integration
The Construction of Integrated Ontology Library
The Mapping of Word Vector Space to Concept Vector Space
The Generalization of Concept Vector Space
Classification Experiment and Evaluation
Experiment and Result Analysis
Experiment Design
Experimental Result Analysis
Conclusions and Future Research Directions
References
AgentSpeak (L) Based Testing of Autonomous Agents
Introduction
Background
BDI Agents
AgentSpeak (L)
Related Work
Proposed Approach
Goal/Plan Generator
Test Path Generator
Test Data Generator
Conclusion and Future Directions
References
A Flexible Methodology of Performance Evaluation for Fault-Tolerant Ethernet Implementation Approaches
Introduction
A Flexible Methodology for FTE Performance Evaluation
Network Model for FTE Performance Evaluation
Data Analysis for Performance Evaluation in Terms of Fail-Over Time
Experiment
Conclusion
References
Behavioral Subtyping Relations for Timed Components
Introduction
Behavioral Substitutability within Untimed Context
Preliminary Concepts
Optimal Behavioral Subtyping Relations
Compatibility of Subtyping Relations
New Subtyping Relations within Timed Context
Preliminary Concepts
Strong Timed Subtyping Relation
Consistency with Temporal Specifications
Weak Timed Subtyping Relation
Conclusion
References
A Quantitative Analysis of Semantic Information Retrieval Research Progress in China
Introduction
Data Sources and Analysis Methods
Statistical Results and Analysis
Distribution of Annual Statistics
Statistical Distribution by the Source Papers
Distribution Statistics by Authors
Statistical Analysis of the Distribution
Semantic Retrieval Research Status and Future Trends
Semantic Retrieval Research
Semantic Retrieval Development Trends
Conclusion
References
Applying Evolutionary Approaches to Data Flow Testing at Unit Level
Introduction
Related Work
Proposed Approach
The Tool ETODF
Experimental Results
Conclusion and Future Work
References
Volume-Rendering of Mitochondrial Transports Using VTK
Introduction
Volume-Rendering
Implementation of Volume-Rendering
Experiment and Discussion
References
Model Checking of Transition-Labeled Finite-State Machines
Introduction
Sequential Finite-State Machines
The Corresponding Sequential Program
From Sequential Programs to Kripke Structures
Building the Kripke Structure for NuSMV
Applying Model-Checking to FSM+DPL
The Model-Checking Case Study
Final Remarks
References
Development of Intelligent Effort Estimation Model Based on Fuzzy Logic Using Bayesian Networks
Introduction
Techniques
Knowledge Gap
Fuzzy Set Example
Conclusion
References
A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams
Introduction
Inconsistency and Consistency Checking Types
Consistency Checking Types
Inconsistency Types
Related Work
Proposed Approach
Representation of UML Models in Prolog
Consistency Checking Rules
Automation
Evaluation
Conclusion and Future Work
References
A UML Profile for Real Time Industrial Control Systems
Introduction
Related Work
UML Profile for Real Time Industrial Control System
Designing of Bit Logic Stereotype
Tool Support
Case Study
Functional Model (Use Case Diagram)
Structural Model (Class Diagram)
Interaction Model (Activity Diagram)
Generation of Activity Flow
Conclusion and Future Work
References
A Safe Regression Testing Technique for Web Services Based on WSDL Specification
Introduction
Related Work
Proposed Approach
Parser
Comparator
Regression Test Selector
Conclusion
References
Evaluating Software Maintenance Effort: The COME Matrix
Introduction
Related Work
Categorization of Software Maintenance Effort
Evaluating Models of Effort Estimation
Software Maintenance Effort Dataset
COME Matrix Steps
The Application of the COME Matrix
Result and Analysis
Dependent Variable 1: Software Maintenance Change Type
Independent Variable 2: Software Maintenance Activity
Independent Variable 3: Thousand Source Lines of Code (KSLOC)
Independent Variable 4: Application Age
Independent Variable 5: Application Size
Combing all Variables
Discussion
Viable Data Transparency of Estimated Variable Distributed Efforts
Focusing on Each Software Maintenance Change Type Strength
Matrix Challenges
Conclusions
References
COSMIC Functional Size Measurement Using UML Models
Introduction
Overview of COSMIC
COSMIC Functional Size Measurement Using UML Models
Mapping between COSMIC and UML Concepts
Using Sequence Diagram to Address the Granularity Problem of Use Cases
Using RUP for the Automation of COSMIC-Based Functional Size Measurement
Extracting UML Concepts for FSM Automation Purposes
Measurement Based on the Use Case Model
Using UML Models for Measurement Considering Data Manipulations
Measuring the Functional Size of the Use Case Diagram
A Requirements Space to Show How UML Can Support FSM
On the Usability of UML to Support the COSMIC Measurement
Analysis
A UML-Based Modeling Framework to Support the COSMIC FSM Method
Conclusion and Future Work
References
Identifying the Crosscutting among Concerns by Methods' Calls Analysis
Introduction
Concerns Mining and Crosscutting analysis
Static Concerns Mining
Crosscutting Analysis
Case Study
Related Work
Conclusions and Future Work
References
A Pattern-Based Approach to Formal Specification Construction
Introduction
Related Work
Mechanism for Formal Specification Construction
Pattern Structure
Construction Method
Case Study: A Banking System
Conclusion
References
A Replicated Experiment with Undergraduate Students to Evaluate the Applicability of a Use Case Precedence Diagram Based Approach in Software Projects
Introduction
Use Case Precedence Diagrams and the Construction Sequence
Experimental Design
Variable Selection
Subjects
Materials and Case Studies
Tasks Performed during the Experiment
Results
Quantitative Results
Qualitative Results
MAM Evaluation
Discussion
Threats to Construct Validity
Threats to Internal Validity
Threats to External Validity
Conclusions
References
Automated Requirements Elicitation for Global Software Development (GSD) Environment
Introduction
Related Work
Proposed Method
Step 1(Value Assignment to Stakeholders)
Step 2 (Gather Informal Requirements/ Initial Requirements)
Step 3 (Requirement Engineering Phase)
Step 4 (Stakeholders' Feedback)
Step 5 (Final Report and Graph Generation)
Case Study
Conclusions and Future Work
References
Optimization of Transaction Mechanism on Java Card
Introduction
Related Work
Object Locality in Java Card Transactions
Transaction Memory Scheme
Transaction Buffer in RAM
Transaction Buffer in EEPROM
New Value Logging Method
Read and Write Access Based on Access Locality
Commit Method Based on Storage Locality
Test Results
Conclusion and Future Work
References
SOCF: Service Oriented Common Frameworks Design Pattern for Mobile Systems with UML
Introduction
Related Works
Process Modeling
Data Modeling
Object Modeling
Modeling for Technical Design
Software for Mobile Systems
SOCF: Service Oriented Common Frameworks Design Pattern for Mobile Systems with UML
Logical SOA Reference Architecture
Conclusion
References
Double Layered Genetic Algorithm for Document Clustering
Introduction
Genetic Algorithm for Document Clustering
Individual Structure
Genetic Operations
Double Layered Genetic Algorithm for Document Clustering
Experiment and Result
Conclusion
References
Multi-Objective Genetic Algorithms, NSGA-II and SPEA2, for Document Clustering
Introduction
MOGA for Document Clustering
Overview of Document Clustering Using MOGA
MOP for Document Clustering Using GA
Chromosome Encoding and Evolution Operators
Objective Functions
Document Clustering Using NSGA-II and SPEA2
Experimental Results
Conclusion and Future Work
References
Implementing a Coordination Algorithm for Parallelism on Heterogeneous Computers
Introduction
Related Work
Coordination Algorithm
Implementation of the Coordination Algorithm
The IDL
Mapping IDL to Java
Add Implementation of the Coordination to the Code
The Dining Philosophers Problem
A Solution to the Problem
Summary
References
Efficient Loop-Extended Model Checking of Data Structure Methods
Introduction
Example
Approach
Search Algorithm
Representation of the Search Space
Initialization of Search Space
Loop Body and Loop Pattern
Dynamic Analysis
Static Analysis
Experiments
Related Work
Conclusion
References
The Systematic Practice of Test Design Automation
Introduction
An Interaction Testing Technique
Single Fault Based Test Case Generation
Practical Test Design
Practical and Systematic Test Automation Process
Conclusion
Related Works
References
Application Runtime Framework for Model-Driven Development
Introduction
Motivating Real-World Application
A Scenario
Application Blueprint
The Proposed Application Runtime Framework
The Architecture and Components
Mechanisms for the Runtime Environment
Illustration
Related Work
Conclusions
References
The Fractal Prediction Model of Software Reliability Based on Wavelet
Introduction
Fractal Software Reliability Model Based on Wavelet
Experiment
Conclusion
References
Source Code Metrics and Maintainability: A Case Study
Introduction
Related Work
Approach
Evaluated Systems
The Evaluation Framework
Experimental Results
The Applied Source Code Metrics
Relationship of Individual Metrics and High Level Attributes
Relationship of Metric-Based Models and High Level Attributes
Threats to Validity
Conclusions and Future Work
References
Systematic Verification of Operational Flight Program through Reverse Engineering
Introduction
Background
Operational Flight Program
Reverse Engineering
A Testing Plan for the HELISCOPE OFP
Experimentation
Conclusion
References
A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application
Introduction
Related Studies
Model Conversion Methods for Heterogeneous Platforms
Case Study
Conclusion
References
A Validation Process for Real Time Transactions
Introduction
Related Work
Validation Process for Real-Time Transactions
Examples of Application
Conclusion
References
A Test Management System for Operational Validation
Introduction
Network Management System
Proposed Test Management System
The Test Management System Architecture
Integrated data model
NMS Verification Using the Test Management System
COMM Manager Testing
Confirmation of the Printing of Test Results
Conclusion
References
Mobile Application Compatibility Test System Design for Android Fragmentation
Introduction
Related Work
Android Fragmentation
Google's Android Compatibility Program
Test Method Suggestion
Code Level Test Method Suggestion
Device API Level Test Method Suggestion
Mobile Application Compatibility Test System Design
Conclusion
References
Efficient Image Identifier Composition for Image Database
Introduction
Image Identifier Generation
Experiments
Optimization of Hough Transform Processing
Analsys of Image Identifier Generation
Line Segment vs. Short Edge Based Identifier Generation
Conclusions
References
A Note on Two-Stage Software Testing by Two Teams
Introduction
Two-Stage Software Testing by Two Teams
Model Description
Parameter Estimation
Numerical Examples
Concluding Remarks
References
Cumulative Damage Models with Replacement Last
Introduction
Modeling and Optimization
Comparison with Replacement First
Comparison with Standard Replacement
Numerical Example
Conclusions
References
Periodic and Random Inspection Policies for Computer Systems
Introduction
Periodic Inspection
Random Inspection
Comparison of Periodic and Random Inspection Policies
Conclusions
References
Software Reliability Growth Modeling with Change-Point and Its Goodness-of-Fit Comparisons
Introduction
Software Reliability Modeling
Basic Modeling Framework
Modeling with Change-Point
Goodness-of-Fit Comparisons
Conclusion
References
Replacement Policies with Interval of Dual System for System Transition
Introduction
Modeling
Old Unit in Random Failure Period
Old Unit in Wearout Failure Period
Optimal Policies
Old Unit in Random Failure Period
Old Unit in Wearout Failure Period
Numerical Examples
Old Unit in Random Failure Period
Old Unit in Wearout Failure Period
Conclusion
References
Probabilistic Analysis of a System with Illegal Access
Introduction
Model 1
Optimal Policy
Model 2
Numerical Examples
Conclusion
References
Bayesian Inference for Credible Intervals of Optimal Software Release Time
Introduction
NHPP-Based Software Reliability Models
Model Description
Optimal Software Release Problem
Statistical Inference
Point Estimation
Bayesian Estimation
Credible Interval of Optimal SRT
A Numerical Example
Conclusions
References
A Note on Replacement Policies in a Cumulative Damage Model
Introduction
Preventive Replacement Models
Replacement Model at Time T
Replacement Models at Number N, Damage Z and the First Shock after Time T
Numerical Examples
Conclusions
References
Reliability Consideration of a Server System with Replication Buffering Relay Method for Disaster Recovery
Introduction
Model and Analysis
Optimal Policy
Numerical Example
Conclusions
References
Estimating Software Reliability Using Extreme Value Distribution
Introduction
NHPP-Based Software Reliability Modeling
New Modeling Approach
Numerical Study
Goodness-of-fit Test
Prediction Analysis
Conclusion
References
Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers
Introduction
Background
A Program Conversion Tool
Experimentation
Conclusion
References
Implementation of an Integrated Test Bed for Avionics System Development
Introduction
Related Concepts
Flight Simulator - X-Plane
Model Programming - LabView
Integrated Test Bed System
System Structure
Flight Simulation System
Data Link and Distribution System
Flight Manipulation System
3D Map Display System
Results
Conclusion
References
Lecture Notes in Computer Science
Introduction
Background
On-the-fly Race Detection for Nested Parallelism
On-the-fly Thread Labeling
The Efficient Labeling
Generating Thread Labels
Comparing Thread Labels
Evaluation
Experimentation
Results and Analysis
Related Work
Conclusion
Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism
Introduction
Background
On-the-fly Race Detection for Nested Parallelism
On-the-fly Thread Labeling
The Efficient Labeling
Generating Thread Labels
Comparing Thread Labels
Evaluation
Experimentation
Results and Analysis
Related Work
Conclusion
References
A Taxonomy of Concurrency Bugs in Event-Driven Programs
Introduction
Background
Events and Programs
Motivation
Concurrency Bug Classification
Data Races
Atomicity and Order Violations
Deadlocks
Stack Overflow
Debugging Event-Driven Programs
Detection Techniques
Correction Techniques
Conclusion
References
Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism
Introduction
Background
Efficient Verification of First Tangle
First-Race Access
The Efficient Verification Algorithm
Efficiency Evaluation
Analysis
Experimentation
Conclusion
References
Implementation of Display Based on Pilot Preference
Introduction
Touch Based Display
Display Based on Pilot Preference
Software Architecture
Preferred Display
Implementation
Conclusion and Further Works
References
A Study on WSN System Integration for Real-Time Global Monitoring
Introduction
Background
WSN Communication Technology for Real-time Monitoring
Existing Monitor Systems
Issues on WSN Based Monitor System Integration
Real-Time Global Monitoring Integration System
IP-WSN Based Integration System
Systems Requirement
Integration Approaches of Existing WSNs
Sensing Data Format
Sensing Database
System Deployment Scenarios
Conclusion
References
The Modeling Approaches of Distributed Computing Systems
Introduction
DEDS Model of Distributed Computing Systems
Distributed Computing Systems as DEDS-PN
DDS Model of Distributed Computing Systems
Constructing DDS Model of Distributed Systems
Analyzing System Stability
Comparative Analysis
Related Work
Conclusion
References
Event-Centric Test Case Scripting Method for SOA Execution Environment
Introduction
Related Works
Event-Centric Test Case Script
Implementation of EVEC
Conclusion
References
bQoS(business QoS) Parameters for SOA Quality Rating
Introduction
Related Works
Service Process Model
bSLA Model
Conclusion
References
Business-Centric Test Assertion Model for SOA
Introduction
Related Works
Concept of Test Assertion
Test Assertion Model
Case Study of Test Assertion
Complex Predicates
Conclusion
References
Application of Systemability to Software Reliability Evaluation
Introduction
Hazard Rate-Based Model
Introduction of Environmental Factor
Consideration of Systemability
G-Model
B-Model
Numerical Examples
Concluding Remarks
References
'Surge Capacity Evaluation of an Emergency Department in Case of Mass Casualty'
Introduction
Literature Review
Simulation Modeling and Validation
Surge Index for Resource Type (Bed):
Surge Index for Resource Type (Specialist):
Surge Status Predictor
Discussion and Surge Evaluation and Prediction Framework
Conclusion - Surge Effective Spectrum
References
Business Continuity after the 2003 Bam Earthquake in Iran
Introduction
Study Context
Business Continuity Management (BCM)
Business Continuity Planning (BCP)
Insurance and legal Issues
Bam Earthquake
Research Methodology
Finding Result
References
Emergency-Affected Population Identification and Notification by Using Online Social Networks
Introduction
Related Work
An Online Social Networks Based Approach for Identifying Emergency-Effected Population
Experiment and Discussion
Conclusion
References
Development and Application of an m-Learning System That Supports Efficient Management of 'Creative Activities' and Group Learning
Introduction
Related Studies
Analysis of Students and Design of the System
Analysis of Students
Flowchart of System Data
User Management Mode
App Client
Conclusion
References
The Good and the Bad: The Effects of Excellence in the Internet and Mobile Phone Usage
Introduction
Backgrounds
Statistical Approach for Examining the Relationship between KICI and Two Addictions
Data Mining Approach for Examining the Relationship between KICI and Two Addictions
Conclusion
References
Trends in Social Media Application: The Potential of Google+ for Education Shown in the Example of a Bachelor's Degree Course on Marketing
Introduction
Social Media
GOOGLE Plus and Education
Development of a Marketing Course Integrating Google Plus
Course Environment
Course Content
Conclusions
References
Learning Preferences and Self-Regulation - Design of a Learner-Directed E-Learning Model
Introduction
Literature Review
Experiential Learning Theory (ELT)
Self-Regulated Learning (SRL) Theory
Methodology
E-Learning Model Design Approach
Participants
Research Design
Measurement
Issues and Conclusion
References
Project Based Learning in Higher Education with ICT: Designing and Tutoring Digital Design Course at M S R I T, Bangalore
Introduction
Applying Modified Bloom's Taxonomy for Digital Design Curricula
Grouping the Students as Teams
Weekly Status Reports and Presentation
Remembering Level
Understanding Level
Applying Level
Analysing Level
Evaluating Level
Creating Level
Evaluation
Continuous Evaluation model
Final Demonstration and Poster Presentation
Feedback:
Conclusions
References
A Case Study on Improvement of Student Evaluation of University Teaching
Introduction
Research Method
Sample
Survey Instrument
Data analysis
Result
Survey Result of Student Perception of the Course Evaluation
Interview Result of Instructor Perception of Course Evaluation
Conclusion
References
An Inquiry into the Learning Principles Based on the Objectives of Self-directed Learning
Introduction
The Relationship between Self-direction and Learning Objectives
Learning Principles Based on Self-directed Learning Objectives
Scope of Knowledge
The Focal Point of Learning
Special Characteristics of Learners
Study Activities
Conclusion
References
Bioethics Curriculum Development for Nursing Students in South Korea Based on Debate as a Teaching Strategy
Introduction
Method
Results
Learning Contents
Class format
Curriculum Evaluation
Discussions
Conclusions
References
A Case Study on SUID in Child-Care Facilities
Introduction
Analysis Method
Results
Results of the Analysis of the Day
Results of the Analysis after the Death
Conclusion
References
Frames of Creativity-DESK Model
Its Application to 'Education 3.0'
Culture Based Understanding of Creativity
Approach to the Contents of Creativity
Programs Approaching to the Contents of Creativity
Conclusion
References
Blended Nurture
Introduction
Upbringing
Morals, Ethics and Good Behavior
Collective-Intelligent Behavior?
Blended Nurture
Upbringing in the Context of Social-Cognitive Learning Theory
Blended Nurture Arrangement
The Game System
Summary
References
University-Industry Ecosystem: Factors for Collaborative Environment
Introduction
Cognitive Contents for R&D Collaborations
U-I Collaboration Epitomes
Academe Enticement for U-I R&D Collaborations
Industry Enticement for R&D Collaborations
U-I Collaboration Stimulating Dynamics
U-I Collaboration Disintigrating Factors
Conclusion
References
Role Playing for Scholarly Articles
Introduction
Educators' Feedback on Scholarly Articles
Scholarly Papers and Role Playing
Related Works on Learning Techniques
An Adapted Framework in Support of Choosing Presentation Techniques for Understanding Scholarly Articles
Findings
Results Analysis
Conclusion and Future Works
References
Statistical Analysis and Prior Distributions of SignificantSoftware Estimation Factors Based on ISBSG Release
Introduction
Estimates as Probability Statements
Estimation Factors
The ISBSG Data Set
Quality of Data
Analysis of Data
Prior Distributions
Conclusion
References
Virtual FDR Based Frequency Monitoring System for Wide-Area Power Protection
Introduction
Frequency Estimation Using Power Grid Modeling Data
Implementation of Proposed Virtual FDR Based Frequency Monitoring System
Frequency Monitoring S/W
Frequency Monitoring Simulation Using Virtual FDR
Conclusions
References
Engaging and Effective Asynchronous Online Discussion Forums
Introduction
Components of Asynchronous Discussion Forums
The Instructor Role and Presence
Overt Reward or Punishment System
Factors Affecting Participation
Feedback or Response Delays
Gender Differences
Information Overload
Cultural Differences
Discussion and Conclusion
References
Online Learning Environment: Taxonomy of Asynchronous Online Discussion Forums
Introduction
Online Discussion Forum Classification
Auxiliary Discussion Forum
Hybrid Discussion Forum
Embedded Discussion Forum
Discussion and Conclusions
References
Erratum: University-Industry Ecosystem: Factors for Collaborative Environment
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Software Engineering, Business Continuity, and Education

Description

More details

Other editions

Additional editions

Content

System requirements