Detail publikace

Uživatelské rozhraní formální specifikace vestavěných systémů

ŠČUGLÍK, F. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), 2003, roč. 2003, č. 23, s. 0-0. ISSN: 1213-1539.
Název anglicky
Formal Specification user interface for Embeded systems
Typ
článek v časopise
Jazyk
česky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
URL
Klíčová slova

CSP, formální specifikace, UML, diagram, překladač, gramatika

Abstrakt

Práce se zabývá návrhem uživatelských rozhraní pro podporu formálních specifikací. Popisuje dva přístupy k definování formální specifikace, prvním je využití diagramu chování systému, druhým je využití zdrojového kódu aplikace. V obou případech se jedná o návrh nástroje, který automaticky vygeneruje formální specifikaci zapsanou pomocí algebry komunikujících sekvenčních procesů. Takto zapsanou formální specifikaci je následně možné verifikovat pomocí dostupných nástrojů pro verifikaci CSP. Práce definuje jak používanou podmnožinu jazyka CSP, tak i používané diagramy a přepisovací pravidla ze zdrojového kódu aplikace do CSP.

Rok
2003
Strany
5
Časopis
Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), roč. 2003, č. 23, ISSN 1213-1539
Kniha
ELEKTROREVUE
Místo
Brno
BibTeX 
@article{BUT41996,
  author="František {Ščuglík}",
  title="Uživatelské rozhraní formální specifikace vestavěných systémů",
  journal="Elektrorevue - Internetový časopis (http://www.elektrorevue.cz)",
  year="2003",
  volume="2003",
  number="23",
  pages="5",
  issn="1213-1539",
  url="http://www.elektrorevue.cz/clanky/03023/"
}
Nahoru