Knowledge-Based Software Engineering: 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

✍ Scribed by Alla Kravets, Maxim Shcherbakov, Marina Kultsova, Tadashi Iijima (eds.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 763
• Series: Communications in Computer and Information Science 466
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 11th Joint Conference on Knowledge-Based Software-Engineering, JCKBSE 2014, held in Volgograd, Russia, in September 2014. The 59 full and 3 short papers presented were carefully reviewed and selected from 197 submissions. The papers are organized in topical sections on methodology and tools for knowledge discovery and data mining; methods and tools for software engineering education; knowledge technologies for semantic web and ontology engineering; knowledge-based methods and tools for testing, verification and validation, maintenance and evolution; natural language processing, image analysis and recognition; knowledge-based methods and applications in information security, robotics and navigation; decision support methods for software engineering; architecture of knowledge-based systems, including intelligent agents and softbots; automating software design and synthesis; knowledge management for business processes, workflows and enterprise modeling; knowledge-based methods and applications in bioscience, medicine and justice; knowledge-based requirements engineering, domain analysis and modeling; intelligent user interfaces and human-machine interaction; lean software engineering; program understanding, programming knowledge, modeling programs and programmers.

✦ Table of Contents

Front Matter....Pages -
Knowledge Discovery in the SCADA Databases Used for the Municipal Power Supply System....Pages 1-14
Architecture and Self-learning Concept of Knowledge-Based Systems by Use Monitoring of Internet Network....Pages 15-26
An Experience of Optimization Approach Application to Improve the Urban Passenger Transport Structure....Pages 27-39
Cognitive Techniques of Knowledge Formation....Pages 40-48
Concept of Complex Infrastructure Territory for Solving Problems of Integration Intersectoral Statistics....Pages 49-60
Data Processing Algorithm for Parallel Computing....Pages 61-69
Analysis of User Profiles in Social Networks....Pages 70-76
Understanding of Class Diagrams Based on Cognitive Linguistics for Japanese Students....Pages 77-86
Adaptive Testing Model and Algorithms for Learning Management System....Pages 87-99
Models of Supporting Continuing Education of Specialists for High-Tech Sector....Pages 100-112
Students’ Satisfaction from Their Educational Context through DREEM and LOT-R....Pages 113-122
Methods and Tools for Software Development to Improve the Effectiveness of Engineering Education in the Direction of "Mechatronics" Using Grid-Computing Technologies....Pages 123-133
The Calculation Procedure of Competence Completeness....Pages 134-143
Mastering Programming Skills with the Use of Adaptive Learning Games....Pages 144-155
Knowledge Based Models and Software Tools for Learning Management in Open Learning Network....Pages 156-171
Intelligent Support of Decision Making in Human Resource Management Using Case-Based Reasoning and Ontology....Pages 172-184
Topological Structure for Building Ontology of Energy-Information Method Circuits....Pages 185-194
Intelligent Decision Support System for River Floodplain Management....Pages 195-213
Semantic Collaborative Task Management Tool with Social Media Integration....Pages 214-227
Evaluation of Hardware Implementations of CORDIC-Like Algorithms in FPGA Using OpenCL Kernels....Pages 228-242
The Beta Version of Implementation Tool for SURE Model....Pages 243-251
Evaluation of Flexibility to Changes Focusing on the Variable Structures in Legacy Software....Pages 252-269
The Adoption of Machine Learning Techniques for Software Defect Prediction: An Initial Industrial Validation....Pages 270-285
Mixed Diagnostic Testing: Tasks with Formula Type Answer....Pages 286-293
Thematic Clustering Methods Applied to News Texts Analysis....Pages 294-310
Extracting the Translation of Anime Titles from Web Corpora Using CRF....Pages 311-320
Method of Ontology-Based Extraction of Physical Effect Description from Russian Text....Pages 321-330
Two-Stage Segmentation Method for Context-Sensitive Image Analysis....Pages 331-340
Super-Resolution Approach to Increasing the Resolution of Image....Pages 341-355
Design and Implementation of a Context-Based Security Model....Pages 356-370
Mobile Security Solution for Enterprise Network....Pages 371-382
The Control System of the Eight-Legged Mobile Walking Robot....Pages 383-392
Development of a Protocol to Ensure the Safety of User Data in Social Networks, Based on the Backes Method....Pages 393-399
Algorithms of Ranking and Classification of Software Systems Elements....Pages 400-409
Fuzzy and Hierarchical Models for Decision Support in Software Systems Implementations....Pages 410-421
In Process Homogeneous Object-Binding Structure for Preference Zone Based Decision Making....Pages 422-432
Hybrid Expert System Development Using Computer-Aided Software Engineering Tools....Pages 433-445
Forecasting Model of Small City Depopulation Processes and Possibilities of Their Prevention....Pages 446-456
Developing a Model of Multi-Agent System of a Process of a Tech Inspection and Equipment Repair....Pages 457-465
Performance Analysis of Alternative Open Source Parallel Computing Approach to OpenMP on Multicore Processors....Pages 466-476
Iteration Multilevel Method for the Travelling Salesman Problem....Pages 477-482
Component-Based Approach to Multi-Agent System Generation....Pages 483-490
Using an Automatic Collection Method to Identify Patterns during Design Activity....Pages 491-504
Knowledge Management for Business Processes: Employees’ Recruitment and Human Resources’ Selection: A Combined Literature Review and a Case Study....Pages 505-520
Knowledge-Based Support for Innovative Design on Basis of Energy-Information Method of Circuits....Pages 521-532
Solution on Decision Support in Determining of Repair Actions Using Fuzzy Logic and Agent System....Pages 533-541
Evaluation of Interaction Level between Potential Drug and Protein by Hydrogen Bond Energy Calculation....Pages 542-555
Sleep Apnea Detection Based on Dynamic Neural Networks....Pages 556-567
Multidimensional Data Visualization Methods Based on Generalized Graphic Images....Pages 568-575
An Intelligent Medical Differential Diagnosis System Based on Expert Systems....Pages 576-584
Cognitive Activity Efficiency Factors during Investigative Actions, Performed Using Information and Communication Technologies....Pages 585-592
Retrieval of Drug-Drug Interactions Information from Biomedical Texts: Use of TF-IDF for Classification....Pages 593-602
A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD)....Pages 603-616
The Method of D-Case Development Using HAZOP Analysis on UML Models....Pages 617-629
Means of Computer Modeling of Microwave Devices and Numerical Methods as Their Base....Pages 630-642
A Study on the OR Decomposition of Goal-Oriented Analysis Using GSN....Pages 643-657
Question-Answer Reflections in a Creation of an Experience Base for Conceptual Designing the Family of Software Intensive Systems....Pages 658-672
Support Method to Apply User Interface Guidelines to GUIs Using Guideline Templates....Pages 673-687
Method of Software Operation Consistency for Tablet Devices by Sound Recognition....Pages 688-696
Lean Mindset in Software Engineering: A Case Study in a Software House in Brazilian State of Santa Catarina....Pages 697-707
Lean Data Science Research Life Cycle: A Concept for Data Analysis Software Development....Pages 708-716
Argument Algebra: A Formalization of Assurance Case Development....Pages 717-725
An Environment of Programming of Strategies on the Base of Knowledge....Pages 726-734
Theory of Category Approach to Knowledge Based Programming....Pages 735-746
Back Matter....Pages -

✦ Subjects

Software Engineering; Artificial Intelligence (incl. Robotics); Information Systems and Communication Service; Management of Computing and Information Systems; Business Information Systems