Kapitola v knize

URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. Recent Trends in Algebraic Development Techniques. Berlin: Springer Verlag, 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{\'{a}}{\v{s}}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.cs?id=7356}
}

Vaše IPv4 adresa: 18.206.13.39
Přepnout na https