Knowledge-based software engineering : proceeding of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000 - Hruška, Tomáš, 1954-; Hashimoto, Masa-aki (Frontiers in artificial intelligence and applications, 2000)