Knowledge-Based Software Engineering

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.

Contenu

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.