[CEUR Workshop Proceedings] Vol-182

© 2006 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

WFM '06
International Workshop on Formal Models

Proceedings of the International Workshop on Formal Models
Prerov, the Czech Republic, April 25-27, 2006

Edited by

Dusan Kolar *
Alexander Meduna *

* Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

Table of Contents

  1. Preface

    Formal Models: Concepts

  2. General Top-Down Parsers Based On Deep Pushdown Expansions
    Meduna Alexander, Krivka Zbynek
  3. Multigenerative Grammar Systems
    Meduna Alexander, Lukas Roman
  4. Variations on the theme: P Colonies
    Ciencialova Lucie, Cienciala Ludek
  5. On Generation Power of Positioned eco-grammar system
    Langer Miroslav

    Formal Models: Theory

  6. Closure Properties of Linear Languages under Operations of Linear Deletion
    Masopust Tomas
  7. String-Partitioning Systems and An Infinite Hierarchy
    Krivka Zbynek, Schönecker Rudolf
  8. Bidirectional Contextual Grammars
    Techet Jiri

    Formal Models: Applications

  9. Clustering of Protein Sequences
    Rudolfova Ivana, Zendulka Jaroslav
  10. Using Petri Nets for RT Level Digital Systems Test Scheduling
    Skarvada Jaroslav, Ruzicka Richard
  11. Formal Methods and Model Transformation Framework for MDA
    Alksnis Gundars

submitted to CEUR-WS by Zbynek Krivka and Dusan Kolar, May 29, 2006