Knowledge-based Software Engineering
β Maria Virvou, T. Nakamura
π Library
π
2008
π IOS Press
π English
β¦ LIBER β¦
π
Knowledge-Based Software Engineering
β Scribed by Howard Reubenstein, Dorothy Setliff (auth.), Dorothy Setliff, Howard Reubenstein (eds.)
- Publisher
- Springer US
- Year
- 1996
- Tongue
- English
- Leaves
- 104
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
Knowledge-Based Software Engineering brings together in one place important contributions and up-to-date research results in this important area.
Knowledge-Based Software Engineering serves as an excellent reference, providing insight into some of the most important research issues in the field.
β¦ Table of Contents
Front Matter....Pages 1-3
Introduction....Pages 5-5
Searching for a Global Search Algorithm....Pages 7-31
Specification and Animation of a Bank Transfer using KIDS/VDM....Pages 33-51
Interactive Explanation of Software Systems....Pages 53-75
Test Case Generation as an AI Planning Problem....Pages 77-106
Desert Island Column....Pages 107-109
β¦ Subjects
Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Computer Science, general
π SIMILAR VOLUMES
Knowledge-Based Software Engineering: 20
β Maria Virvou, Fumihiro Kumeno, Konstantinos Oikonomou
π Library
π
2019
π Springer International Publishing
π English
<p><p>This book summarizes the new research results presented at the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018), which took place on August 27β30, 2018 on the island of Corfu, Greece. The JCKBSE is a well-established international biennial conference that focuses on
Knowledge-Based Software Engineering: Pr
β Joint Conference on Knowledge-Based Software Engineering 2002 malibor, Tatjana W
π Library
π
2002
π IOS Press
π English
The book captures 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. The Conference, from which the papers are coming, originated in order to provide a forum in
Knowledge-Based Software Engineering: Pr
β E. Tyugu and T. Yamaguchi, Editors
π Library
π
2006
π IOS Press
π English
This publication addresses the research in theoretical foundations, practical techniques, software tools, applications and / or practical experiences in knowledge-based software engineering. The book also includes a new field: research in web services and semantic web. This is a rapidly developing r
Knowledge-Based Software Engineering. P
β M. Virvou and K. Matsuura
π Library
π
2012
π IOS Press
π English
As knowledge-based software engineering matures and increasingly automates the software engineering life cycle, software engineering resources are shifting towards knowledge acquisition and the automated reuse of expert knowledge for developing software artifacts. This book summarizes the work and n
Knowledge-Based Software Engineering: 20
β Maria Virvou, Takuya Saruwatari, Lakhmi C. Jain
π Library
π
2023
π Springer
π English
<p><span>This book contains extended versions of Β the works and new research results presented at the </span><span>14</span><span><sup>th</sup></span><span> International Joint Conference on Knowledge-based Software Engineering (JCKBSE2022)</span><span>. JCKBSE2022 was originally planned to take pla