Regular papers

1. B. Farwer, I. Lomazova A Systemetic Approach towards Object-based Petri Net Formalisms
2. L. Granvilliers and E. Monfroy Visualizing Solver Cooperations
3. Nikolaj Nikitchenko Abstract Computability of Non-Deterministic Programs over Various Data Structures
4. Yoon-Chan Jhi, Ki-Chang Kim, Kemal Ebcioglu A Prolog Tailoring Technique on an Epilog Tailored Procedure
5. Roland Weiss and Volker Simonis Exploring Template Template Parameters
6. A. Galloway Communicating Generalised Substitution Language
7. Gian Piero Zarri A Knowledge Engineering Approach to Deal with Narrative Multimedia Documents
8. D. Ushakov Hierarchical Constraint Satisfaction Based on Subdefinite Models
9. Natalia Ioustinova, Natalia Sidorova Transformation of SDL Specifications - a Step Towards the Verification
10. Kazem Lellahi Conceptual Data Modeling: An Algebraic Viewpoint
11. R. Heldal, J. Hughes Binding-time Analysis for Polymorphic Types
12. Alexander K.Petrenko Specification Based Testing: Towards Practice
13. Thorsten Ehm Transformational construction of correct pointer algorithms
14. Maurice Bruynooghe, Wim Vanhoof and Michael Codish POS(T): Analyzing Dependencies in Typed Logic Programs
15. I.B. Virbitskaite Observational Semantics to Timed Event Structures
16. Mukhopadhyay and A. Podelski Accurate Widenings and Boundness Properties of Timed Systems
17. A. Sabelfeld The Impact of Synchronisation on Secure Information Flow in Concurrent Programs
18. Vladimir Sazonov Using Agents for Concurrent Querying of Web-like Databases via a Hyper-Set-Theoretic Approach
19. V. Telerman Using of Constraint Solvers in CAD/CAM Systems
20. Sergio Greco, Luigi Pontieri, and Ester Zumpano Integrating and Managing Conflicting Data
21. Alexandre Riazanov and Andrei Voronkov Adaptive Reasoning
22. Vitaly Kozura Unfolding of Coloured Petri Nets
23. Agostino Cortesi, Baudouin Le Charlier and Sabina Rossi Reexecution-based Analysis of Logic Programs with Delay Declarations
24. G. Bonfante, J.-Y. Marion, J.-J. Moyen On Lexicographic Termination Ordering with Space Bound
25. V.V. Mikheev, S.A. Fedoseev Compiler-Cooperative Memory Management

Short papers

26. I.B. Bourdonov, A.V. Demakov, A.A. Jarov, A.S. Kossatchev, V.V. Kuliamin, A.K. Petrenko, and S.V. Zelenov Java Specification Extension for Automated Test Development
27. E.E. Roubtsova and J. van Katwijk, R.C.M. de Rooij, W.J. Toetenel Transformation of UML Specification to XTG
28. N.V. Shilov, K. Yi On Expressive Power of Second Order Propositional Program Logics
29. V. Vyatkin Event-driven Re-computation of Boolean Functions Using Decision Diagrams
30. Shenguan Wang, Jian Yu, Chongyi Yuan A Net-based Object Behaviour Inheritance Modelling Methodology
31. A. Kalnins, K. Podnieks, A. Zarins, E. Celms, J. Barzdins Editor Definition Language and its Implementation
32. Karel Jezek and Martin Zima Datalog Extensions and Query Evaluation for Knowledge Processing
33. Valery A. Sokolov, Eugeny A. Timofeev Dynamic Properties without Time Measurement and Modification of the TCP
34. Dmitry Boulychev and Dmitry Lomov An Empirical Study of Retargetable Compilers
35. M. Harf, K. Kindel, V. Kotkas, P. Kungas and E. Tyugu Automated Program Synthesis in a Distributed Environment
36. Thomas Baar, Bernhard Beckert, and Peter H. Schmitt. An Extension of Dynamic Logic for Modelling OCL's @pre Operator
37. Jan Jurjens and Guido Wimmel Specification-Based Testing of Firewalls
38. Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi A Theoretical Foundation of Program Synthesis by Equivalent Transformation
39. Torben Mogensen An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus
40. Victor Sabelfeld Semantics and Transformations in Formal Synthesis at System Level
41. Dmitry Koznov, Konstantin Romanovsky, and Alexei Nikitin A Method for Recovery and Maintenance of Software Architecture
42. Robert Eschbach A Verification Approach for Distributed Abstract State Machines
43. Andrey Terekhov and Len Erlikh Academic vs. Industrial Software Engineering: Closing the Gap
44. Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi Equivalent Transformation by Safe Extension of Data Structures
45. Dietrich Birngruber A Software Composition Language and its Implementation
46. M.V. Korovina and O.A. Kudinov Generalised Computability and an Application to Hybrid Systems
47. A.S. Rodionov and D.V. Leskov Oberon-2 as Successor of Modula-2 in Simulation