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