TY - BOOK AU - Nalepa,Grzegorz J. AU - Baumeister,Joachim ED - SpringerLink (Online service) TI - Synergies Between Knowledge Engineering and Software Engineering T2 - Advances in Intelligent Systems and Computing, SN - 9783319641614 AV - Q342 U1 - 006.3 23 PY - 2018/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computational intelligence KW - Artificial intelligence KW - Computational Intelligence KW - Artificial Intelligence N1 - Acceso multiusuario; Aspect-Oriented Ontology Development -- Similarity-based Retrieval and Automatic Adaptation of Semantic Workflows -- Development of knowledge-based systems which use Bayesian networks -- Knowledge Acquisition during Software Development: Modeling with anti-patterns -- Knowledge Engineering of System Refinement -- Using the Event-B Formal Method and the Rodin framework for Verification the Knowledge Base of an Rule-Based Expert System -- Knowledge Engineering for Distributed Case-Based Reasoning Systems -- Knowledge engineering for decision support on diagnosis and maintenance in the aircraft domain -- OntoMaven - Maven-based Ontology Development and Management of Distributed Ontology Repositories -- References N2 - This book compiles a number of contributions originating from the KESE (Knowledge Engineering and Software Engineering) workshop series from 2005 to 2015. The idea behind the series was the realignment of the knowledge engineering discipline and its strong relation to software engineering, as well as to the classical aspects of artificial intelligence research. The book introduces symbiotic work combining these disciplines, such as aspect-oriented and agile engineering, using anti-patterns, and system refinement. Furthermore, it presents successful applications from different areas that were created by combining techniques from both areas UR - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-64161-4 ER -