Detail publikace

Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design

ŠVÉDA Miroslav, RYŠAVÝ Ondřej a VRBA Radimír. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008, s. 151-164. ISBN 978-953-7619-17-6.
Název česky
Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design
Typ
kapitola v knize
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Vrba Radimír, prof. Ing., CSc. (STI VUT)
URL
Abstrakt

The contribution provides principles of case-based reasoning support to reuse in frame of formal specification-based system design aiming at industrial applications domain.

Rok
2008
Strany
151-164
Kniha
Frontiers in Robotics, Automation and Control
ISBN
978-953-7619-17-6
Vydavatel
IN-TECH Education and Publishing
Místo
Vienna, AT
BibTeX 
@INBOOK{FITPUB8786,
   author = "Miroslav \v{S}v\'{e}da and Ond\v{r}ej Ry\v{s}av\'{y} and Radim\'{i}r Vrba",
   title = "Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design",
   pages = "151--164",
   booktitle = "Frontiers in Robotics, Automation and Control",
   year = 2008,
   location = "Vienna, AT",
   publisher = "IN-TECH Education and Publishing",
   ISBN = "978-953-7619-17-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8786"
}
Nahoru