| Urbášek, M.: Preserving Properties in System Redesign: Rule-Based Approach, Recent Trends in Algebraic Development Techniques, Berlin, DE, Springer, 2003, s. 442-456, ISBN 3-540-20537-3 | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Preserving Properties in System Redesign: Rule-Based Approach |
|---|
| Název (cs): | Zachování vlastností při opětovném návrhu systému: přístup založený na pravidlech |
|---|
| Strany: | 442-456 |
|---|
| Kniha: | Recent Trends in Algebraic Development Techniques |
|---|
| Řada knih: | Lecture Notes in Computer Science 2755 |
|---|
| Místo vydání: | Berlin, DE |
|---|
| Rok: | 2003 |
|---|
| ISBN: | 3-540-20537-3 |
|---|
| Vydavatel: | Springer Verlag |
|---|
| Klíčová slova |
|---|
| Petriho sítě, HLR systémy, zachovávající pravidla |
| Anotace |
|---|
| Článek se zabývá metodou postupného zjemňování návrhu systému založenou
na transformacích zachovávajících určité vlastnosti systému. V kontextu
Petriho sítí dosud vyvinutá pravidla zachovávající vlastnosti omezují
možnosti modelování a zjemňování návrhu o další potřebné detaily. V
článku je popsán způsob vytváření nových vlastnosti zachovávajících
pravidel, která jsou užitečná pro modifikace (redesign) částí systémů. |
| BibTeX: |
|---|
@INBOOK{
author = {Milan Urbášek},
title = {Preserving Properties in System Redesign: Rule-Based
Approach},
pages = {442--456},
booktitle = {Recent Trends in Algebraic Development Techniques},
series = {Lecture Notes in Computer Science 2755},
year = {2003},
location = {Berlin, DE},
publisher = {Springer Verlag},
ISBN = {3-540-20537-3},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7356}
} |
|
Fakulta informačních technologií