Publication Details

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

ŠČUGLÍK František. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - www.elektrorevue.cz, vol. 2003, no. 23, p. 5. ISSN 1213-1539.
English title
Formal Specification user interface for Embeded systems
Type
journal article
Language
czech
Authors
URL
Keywords

CSP, Formal Specification, UML, diagram, compiler, Grammar

Abstract

The contribution focuses on user interface development for formal specifications. It describes two approaches to this toppic. First utilizes behavioral diagrams, second utilizes application source code. In both cases, the developed user interface autamatically genarates systems formal specification denoted in formal language called CSP - Communicating Sequential Processes. This notation can be verified using common model checkers. The contribution describes both, the used CSP subset, and the utilized techniques for automated CSP generation.

Published
2003
Pages
5
Journal
Elektrorevue - www.elektrorevue.cz, vol. 2003, no. 23, ISSN 1213-1539
Book
ELEKTROREVUE
Place
Brno, CZ
BibTeX
@ARTICLE{FITPUB7246,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "U\v{z}ivatelsk\'{e} rozhran\'{i} form\'{a}ln\'{i} specifikace vestav\v{e}n\'{y}ch syst\'{e}m\r{u}",
   pages = 5,
   booktitle = "ELEKTROREVUE",
   journal = "Elektrorevue - www.elektrorevue.cz",
   volume = 2003,
   number = 23,
   year = 2003,
   location = "Brno, CZ",
   ISSN = "1213-1539",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/7246"
}
Back to top