Knowledge-based software engineering. Proceedings of the fourth joint conference : Brno, Czech Republic. 2000 (IOS Press, 2000)