Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠVÉDA, M., ZEZULKA, F., VRBA, R.
Originální název
A Case-Based Reasoning Approach to Reuse of CBS Specifications
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
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.
Klíčová slova
reuse, formal specifications, timed-state sequences, finit-state automata, timed automata
Autoři
Rok RIV
2001
Vydáno
1. 1. 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" }