Publication result detail

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

ŠVÉDA, M.; RYŠAVÝ, O.; VRBA, R.

Original Title

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

English Title

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

Type

Chapter in a book

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

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

Keywords

case-based reasoning, formal specification, design pattern reuse

Key words in English

case-based reasoning, formal specification, design pattern reuse

Authors

ŠVÉDA, M.; RYŠAVÝ, O.; VRBA, R.

RIV year

2012

Released

01.10.2008

Publisher

IN-TECH Education and Publishing

Location

Vienna

ISBN

978-953-7619-17-6

Book

Frontiers in Robotics, Automation and Control

Pages from

151

Pages to

164

Pages count

14

URL

http://intechweb.org/book.php?id=78

Full text in the Digital Library

http://hdl.handle.net/

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