Fakulta informačních technologií VUT v Brně

Detail publikace

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science, roč. 2755. Berlin: Springer Verlag, 2003, s. 442-456. ISBN 3-540-20537-3.
Název česky
Zachování vlastností při opětovném návrhu systému: přístup založený na pravidlech
Typ
kapitola v knize
Jazyk
angličtina
Autoři
Klíčová slova
Petriho sítě, HLR systémy, zachovávající pravidla
Abstrakt
Č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ů.
Rok
2003
Strany
442-456
Kniha
Recent Trends in Algebraic Development Techniques
Řada
Lecture Notes in Computer Science
Svazek
2755
ISBN
3-540-20537-3
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX
@INBOOK{FITPUB7356,
   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",
   volume = 2755,
   year = 2003,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "3-540-20537-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7356"
}
Nahoru