Conference paper

URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. In: ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques. Munich, 2002, pp. 87-88.
Publication language:english
Original title:Preserving Properties in System Redesign: Rule-Based Approach
Pages:87-88
Proceedings:ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques
Conference:International Workshop on Algebraic Development Techniques
Place:Munich, DE
Year:2002
Keywords
net model transformations, rule-based approach, system properties, redesign
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Milan Urb{\'{a}}{\v{s}}ek},
   title = {Preserving Properties in System Redesign: Rule-Based
	Approach},
   pages = {87--88},
   booktitle = {ProceeProceedings of the 16th International Workshop on
	Algebraic Development Techniques},
   year = {2002},
   location = {Munich, DE},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6982}
}

Your IPv4 address: 54.158.55.5
Switch to IPv6 connection

DNSSEC [dnssec]