Detail publikačního výsledku

A Case-Based Reasoning Approach to Reuse of CBS Specifications

ŠVÉDA, M., ZEZULKA, F., VRBA, R.

Originální název

A Case-Based Reasoning Approach to Reuse of CBS Specifications

Anglický název

A Case-Based Reasoning Approach to Reuse of CBS Specifications

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

The paper deals with behavioral specifications employing state or timed-state sequences and with their closed-form descriptions by finite-state or timed automata. To demonstrate reuse of formal specifications, the contribution presents two case studies based on real design projects: petrol pumping station dispenser controller, and multiple lift control system. This contribution focuses both on identification of reusable architectural components and on their retrieval, adaptation, and storage with case-based reasoning support.

Anglický abstrakt

The paper deals with behavioral specifications employing state or timed-state sequences and with their closed-form descriptions by finite-state or timed automata. To demonstrate reuse of formal specifications, the contribution presents two case studies based on real design projects: petrol pumping station dispenser controller, and multiple lift control system. This contribution focuses both on identification of reusable architectural components and on their retrieval, adaptation, and storage with case-based reasoning support.

Klíčová slova

reuse, formal specifications, timed-state sequences, finit-state automata, timed automata

Klíčová slova v angličtině

reuse, formal specifications, timed-state sequences, finit-state automata, timed automata

Autoři

ŠVÉDA, M., ZEZULKA, F., VRBA, R.

Vydáno

01.01.2001

Nakladatel

University of Stirling

Místo

Washington D.C.

ISBN

1-85-769144-X

Kniha

Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001

Strany od

139

Strany do

144

Strany počet

6

BibTex

@inproceedings{BUT5424,
  author="Miroslav {Švéda} and František {Zezulka} and Radimír {Vrba}",
  title="A Case-Based Reasoning Approach to Reuse of CBS Specifications",
  booktitle="Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001",
  year="2001",
  pages="139--144",
  publisher="University of Stirling",
  address="Washington D.C.",
  isbn="1-85-769144-X"
}