Detail publikace

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Urbášek Milan, Ing.
Klíčová slova

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

Abstrakt

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.

Rok
2002
Strany
87–88
Sborník
ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques
Místo
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"
}
Nahoru