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

Ščuglík František, Ing., Ph.D. (DIFS FIT BUT)

URL

http://www.elektrorevue.cz/clanky/03023/ HTML

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

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"
}