Detail výsledku

A Case-Based Reasoning Approach to Reuse of CBS Specifications

ŠVÉDA, M., ZEZULKA, F., VRBA, R. A Case-Based Reasoning Approach to Reuse of CBS Specifications. In Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001. Washington D.C.: University of Stirling, 2001. p. 139-144. ISBN: 1-85-769144-X.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc.
Zezulka František, prof. Ing., CSc.
Vrba Radimír, prof. Ing., CSc.
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

Rok
2001
Strany
139–144
Sborník
Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001
Konference
The 2nd IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001
ISBN
1-85-769144-X
Vydavatel
University of Stirling
Místo
Washington D.C.
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"
}
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Ústav mikroelektroniky (UMEL)
Fakulta informačních technologií (FIT)
Ústav automatizace a měřicí techniky (UAMT)
Nahoru