Knowledge-based software engineering : proceeding of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000 - Hruška, Tomáš, 1954- (IOS Press ; Ohmsha, 2000)