Detail publikace

Reuse of Formal Specifications in Computer-Based Systems Design

ŠVÉDA, M., VRBA, R. Reuse of Formal Specifications in Computer-Based Systems Design. In Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004. p. 478 ( p.)ISBN: 0-85760-919-X.
Název česky
Opakované využití formálních specifikací při návrhu systémů založených na počítačích
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Klíčová slova

Formal specification, reuse, finite-state automaton, timed automaton, case-based reasoning.

Abstrakt

Příspěvek pojednává o opakovaném využívání specifikací architektury a chování pomocí konečných a časovaných automatů pro systémy založené na počítačích. Navrhuje se zde nejen jak reprezentovat systémové formální specifikace jako strukturu aplikačních vzorů fragmentů specifikace, ale také jak měřit podobnost formálních specifikací pro využití podpory usuzováním založeným na případech (CBR). Demonstrace zahrnuje dvě případové studie 1) čerpací stanice a 2) řídicí systém rychlovýtahů. Článek diskutuje identifikaci a reprezentaci formálních specifikací komponent architektury a jejich vyhledání, adaptaci a uchování s podporou CBR.

Rok
2004
Strany
6
Sborník
Proceedings of the ICSE & INCOSE 2004 Conference
ISBN
0-85760-919-X
Vydavatel
CRC Press LLC
Místo
Las Vegas, NV
BibTeX 
@inproceedings{BUT17361,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Reuse of Formal Specifications in Computer-Based Systems Design",
  booktitle="Proceedings of the ICSE & INCOSE 2004 Conference",
  year="2004",
  pages="6",
  publisher="CRC Press LLC",
  address="Las Vegas, NV",
  isbn="0-85760-919-X"
}
Nahoru