Knowledge-Based Software Engineering
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer US

9780792397892, 9780585347141

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interactive Explanation of Software Systems

Knowledge-Based Software Engineering ◽

10.1007/978-0-585-34714-1_4 ◽

2007 ◽

pp. 53-75 ◽

Cited By ~ 1

Author(s):

W. Lewis Johnson ◽

Ali Erdem

Keyword(s):

Software Systems

Download Full-text

Searching for a Global Search Algorithm

Knowledge-Based Software Engineering ◽

10.1007/978-0-585-34714-1_2 ◽

2007 ◽

pp. 7-31

Author(s):

Sabine Dick ◽

Thomas Santen

Keyword(s):

Search Algorithm ◽

Global Search ◽

Global Search Algorithm

Download Full-text

Desert Island Column

Knowledge-Based Software Engineering ◽

10.1007/978-0-585-34714-1_6 ◽

2007 ◽

pp. 107-109

Author(s):

Wladyslaw M. Turski

Keyword(s):

Island Column ◽

Desert Island Column ◽

Desert Island

Download Full-text

Specification and Animation of a Bank Transfer using KIDS/VDM

Knowledge-Based Software Engineering ◽

10.1007/978-0-585-34714-1_3 ◽

2007 ◽

pp. 33-51

Author(s):

Yves Ledru

Keyword(s):

Bank Transfer

Download Full-text

Introduction

Knowledge-Based Software Engineering ◽

10.1007/978-0-585-34714-1_1 ◽

2007 ◽

pp. 5-5

Author(s):

Howard Reubenstein ◽

Dorothy Setliff

Download Full-text

Test Case Generation as an AI Planning Problem

Knowledge-Based Software Engineering ◽

10.1007/978-0-585-34714-1_5 ◽

1997 ◽

pp. 77-106 ◽

Cited By ~ 1

Author(s):

Adele E. Howe ◽

Anneliese von Mayrhauser ◽

Richard T. Mraz

Keyword(s):

Test Case Generation ◽

Test Case ◽

Planning Problem ◽

Ai Planning

Download Full-text