Detail publikace

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.
Název česky
Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design
Typ
kapitola v knize
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
URL
Klíčová slova

case-based reasoning, formal specification, design pattern reuse

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
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"
}
Nahoru