Vol. 15 No. 4 (2002)

Regular articles

• Preface

  Tibor Gyimóthy, Zoltán Fülöp

  479

  • PDF

• Implemeting a component-based tool for interactive synthesis of UML statechart diagrams

  Johannes Koskinen, Erkki Mäkinen, Tarja Systä

  547-565

  • PDF

• A framework for studying substitution

  Härmel Nestra

  633-652

  • PDF

• XML semantics extension

  Ferenc Havasi

  509-528

  • PDF

• Resource-conscious AI planning with conjunctions and disjunctions

  Peep Küngas

  601-620

  • PDF

• Development of a communication environment between IPv6 and IPv4

  Gábor Fóris, László Sógor, Péter Hendlein, Krisztián Notaisz, Márta Fidrich

  683-704

  • PDF

• Human cognition of complex thought patterns

  Harry M. Sneed

  481-487

  • PDF

• A distributed program synthesizer

  Vahur Kotkas

  567-581

  • PDF

• Standardized event pair based test generation method using TSS&TP

  Zoltán Pap, Zoltán Rétháti, Róbert Horváth, Gusztáv Adamis

  653-667

  • PDF

• Mathematical models fof simulation of continuous grinding process with recirculation

  Piroska Buzáné Kis, Csaba Mihálykó, Béla G. Lakatos

  529-545

  • PDF

• Experiences in modelling feature interactions with Coloured Petri Nets

  Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu

  621-632

  • PDF

• Platform independent tool for local event correlation

  Risto Vaarandi

  705-723

  • PDF

• Handling pointers and unstructured statements in the forward computed dynamic slice algorithm

  Csaba Faragó, Tamás Gergely

  489-508

  • PDF

• Automatic test selection based on CEFSM specifications

  Gábor Kovács, Zoltán Pap, Gyula Csopaki

  583-599

  • PDF

• Recognizing design patterns in C++ programs with the integration of Columbus and Maisa

  Rudolf Ferenc, Juha Gustafsson, László Müller, Jukka Paakki

  669-682

  • PDF