Result 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.
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
Published
2002
Pages
87–88
Proceedings
ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques
Conference
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"
}
Projects
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, Standardní projekty, GA102/01/1485, start: 2001-01-01, end: 2003-12-31, completed
Research groups
System Modelling and Optimization Research Group (VZ MODSIM)
Departments