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
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