Publication detail

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK, M.

Original Title

Preserving Properties in System Redesign: Rule-Based Approach

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

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

Authors

URBÁŠEK, M.

Released

1. 9. 2002

Location

Munich

Pages from

87

Pages to

88

Pages count

2

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