Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

Originální 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.

Anglický 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.

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",
  annote="The contribution provides principles of case-based reasoning support to reuse in
frame of formal specification-based system design aiming at industrial
applications domain.",
  address="IN-TECH Education and Publishing",
  booktitle="Frontiers in Robotics, Automation and Control",
  chapter="55786",
  edition="NEUVEDEN",
  howpublished="print",
  institution="IN-TECH Education and Publishing",
  year="2008",
  month="october",
  pages="151--164",
  publisher="IN-TECH Education and Publishing",
  type="book chapter"
}