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

Urbášek Milan, Ing. (FIT BUT)

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"
}