Publication Details

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK, M. Preserving Properties in System Redesign: Rule-Based Approach. ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques. Munich: 2002. p. 87-88.

Type

conference paper

Language

English

Authors

Urbášek Milan, Ing.

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

Place

Munich

BibTeX

@inproceedings{BUT192462,
  author="Milan {Urbášek}",
  title="Preserving Properties in System Redesign: Rule-Based Approach",
  booktitle="ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques",
  year="2002",
  pages="87--88",
  address="Munich"
}