Publication Details

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

ŠVÉDA, M.; RYŠAVÝ, O.; VRBA, R. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. In Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008. p. 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. (UTKO)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
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
BibTeX 
@inbook{BUT55786,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Radimír {Vrba}",
  title="Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design",
  booktitle="Frontiers in Robotics, Automation and Control",
  year="2008",
  publisher="IN-TECH Education and Publishing",
  address="Vienna",
  pages="151--164",
  isbn="978-953-7619-17-6",
  url="http://intechweb.org/book.php?id=78"
}
Back to top