Conference paper

ŠVÉDA Miroslav, ZEZULKA František and VRBA Radimí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, pp. 139-144. ISBN 1-85-769144-X.
Publication language:english
Original title:A Case-Based Reasoning Approach to Reuse of CBS Specifications
Title (cs):Přístup k opakovanému využití specifikací systémů založených na počítačích s využitím usuzování založeném na případech
Pages:139-144
Proceedings:Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001
Conference:The 2nd IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001
Place:Washington D.C., US
Year:2001
ISBN:1-85-769144-X
Publisher:University of Stirling
Keywords
reuse, formal specifications, timed-state sequences, finit-state automata, timed automata
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da and Franti{\v{s}}ek Zezulka and
	Radim{\'{i}}r Vrba},
   title = {A Case-Based Reasoning Approach to Reuse of CBS
	Specifications},
   pages = {139--144},
   booktitle = {Proceedings of the IEEE/IFIP Joint Workshop on Formal
	Specification of Computer-Based Systems, FSCBS'2001},
   year = {2001},
   location = {Washington D.C., US},
   publisher = {University of Stirling},
   ISBN = {1-85-769144-X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6519}
}

Your IPv4 address: 54.224.50.28
Switch to IPv6 connection

DNSSEC [dnssec]