Book chapter

Š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.
Publication language:english
Original title:Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design
Title (cs):Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design
Pages:151-164
Book:Frontiers in Robotics, Automation and Control
Place:Vienna, AT
Year:2008
ISBN:978-953-7619-17-6
Publisher:IN-TECH Education and Publishing
URL:http://intechweb.org/book.php?id=78 [HTML]
Keywords
case-based reasoning, formal specification, design pattern reuse
Annotation
The contribution provides principles of case-based reasoning support to reuse in frame of formal specification-based system design aiming at industrial applications domain.
BibTeX:
@INBOOK{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8786}
}

Your IPv4 address: 54.196.107.247
Switch to IPv6 connection

DNSSEC [dnssec]