Detail publikace

Reuse of Formal Specifications in Computer-Based Systems Design

ŠVÉDA Miroslav a VRBA Radimí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, s. 6. 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
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Vrba Radimír, prof. Ing., CSc. (STI VUT)
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
Konference
ICSE & INCOSE JOINT 2004 CONFERENCE, Las Vegas, Nevada, US
ISBN
0-85760-919-X
Vydavatel
CRC Press LLC
Místo
Las Vegas, NV, US
BibTeX 
@INPROCEEDINGS{FITPUB7567,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "Reuse of Formal Specifications in Computer-Based Systems Design",
   pages = 6,
   booktitle = "Proceedings of the ICSE \& INCOSE 2004 Conference",
   year = 2004,
   location = "Las Vegas, NV, US",
   publisher = "CRC Press LLC",
   ISBN = "0-85760-919-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7567"
}
Nahoru