Detail výsledku
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.
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.
Klíčová slova
net model transformations, rule-based approach, system properties, redesign
Rok
2002
Strany
87–88
Sborník
ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques
Konference
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"
}
Projekty
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště