Publication Details

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. In: ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques. Munich, 2002, pp. 87-88.
Type
conference paper
Language
english
Authors
Keywords

net model transformations, rule-based approach, system properties, redesign

Abstract

The paper deals with the redesign of systems which are modelled by a rule-based approach. The new PB-induced rules are introduced. It is shown the impact of these rules on the stepwise development of systems.

Published
2002
Pages
87-88
Proceedings
ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques
Conference
International Workshop on Algebraic Development Techniques, Frauenchiemsee, DE
Place
Munich, DE
BibTeX
@INPROCEEDINGS{FITPUB6982,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "Preserving Properties in System Redesign: Rule-Based Approach",
   pages = "87--88",
   booktitle = "ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques",
   year = 2002,
   location = "Munich, DE",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6982"
}
Back to top