Volume 15, Number 4, 2001

•   Harry M. Sneed: Human Cognition of Complex Thought Patterns

•   Csaba Faragó and Tamás Gergely: Handling Pointers and Unstructured Statements in Dynamic Slice Algorithm

•   Ferenc Havasi: XML Semantics Extension

•   Piroska B. Kis, Csaba Mihálykó and Béla G. Lakatos: Mathematical models for simulation of cont. grinding proc. with recirculation

•   Johannes Koskinen, Erkki Mäkinen, and Tarja Systä: Implemeting a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams

•   Vahur Kotkas: A distributed program synthesizer

•   Gábor Kovács, Zoltán Pap, and Gyula Csopaki: Automatic Test Selection based on CEFSM Specifications

•   Peep Küngas: Resource-Conscious AI Planning with Conjunctions and Disjunctions

•   Louise Lorentsen, Antti-Pekka Tuovinen, and Jianli Xu: Experiences in Modelling Feature Interactions with Coloured Petri Nets

•   Härmel Nestra: A Framework for Studying Substitution

•   Zoltán Pap, Zoltán Rétháti, Róbert Horváth, and Gusztáv Adamis: Standardized Event Pair Based Test Generation Method Using TSS&TP

•   Rudolf Ferenc, Juha Gustafsson, László Müller, and Jukka Paakki: Recognizing Design Patterns in C++ Programs with the Integration of Columbus and Maisa

•   Gábor Fóris, László Sógor, Péter Hendlein, Krisztián Notaisz, and Márta Fidrich: Development of a Communication Environment between IPv6 and IPv4

•   Risto Vaarandi: Platform Independent Tool for Local Event Correlation