JCKBSE aims to provide a forum for researchers and practitioners to discuss the latest developments in the areas of knowledge engineering and software engineering. Particular emphasis is placed upon applying knowledge-based methods to software engineering problems. This volume is a collection of contributions of authors from eight different countries. The book covers a wide range of topics related to knowledge-based or automated software engineering. The papers address the major open research issues of the field, such as architecture of knowledge; software and information systems; requirement engineering; domain analysis and modeling; formal and semiformal specifications; knowledge engineering for domain modeling; data mining and knowledge discovery; automating software design and synthesis; object-oriented and other programming paradigms; knowledge-based methods and tools for software engineering, including testing, verification and validation; process management, maintenance and evolution, applied semiotics for knowledge-based software engineering; knowledge systems methodology; development tools and environments; practical applications and experience of software and knowledge engineering; information technology in control, design, production, logistics and management; enterprise modelling and workflow.
IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.
Some of the areas we publish in:
-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences
JCKBSE aims to provide a forum for researchers and practitioners to discuss the latest developments in the areas of knowledge engineering and software engineering. Particular emphasis is placed upon applying knowledge-based methods to software engineering problems. This volume is a collection of contributions of authors from eight different countries. The book covers a wide range of topics related to knowledge-based or automated software engineering. The papers address the major open research issues of the field, such as architecture of knowledge; software and information systems; requirement engineering; domain analysis and modeling; formal and semiformal specifications; knowledge engineering for domain modeling; data mining and knowledge discovery; automating software design and synthesis; object-oriented and other programming paradigms; knowledge-based methods and tools for software engineering, including testing, verification and validation; process management, maintenance and evolution, applied semiotics for knowledge-based software engineering; knowledge systems methodology; development tools and environments; practical applications and experience of software and knowledge engineering; information technology in control, design, production, logistics and management; enterprise modelling and workflow.
