Publication Details

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

ŠVÉDA Miroslav, RYŠAVÝ Ondřej and 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, pp. 151-164. ISBN 978-953-7619-17-6.
Czech title
Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design
Type
book chapter
Language
english
Authors
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Vrba Radimír, prof. Ing., CSc. (CEITEC BUT)
URL
Keywords

case-based reasoning, formal specification, design pattern reuse

Abstract

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

Published
2008
Pages
151-164
Book
Frontiers in Robotics, Automation and Control
ISBN
978-953-7619-17-6
Publisher
IN-TECH Education and Publishing
Place
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"
}
Back to top