Detail výsledku

Diagram Based Formal Specification using CSP

ŠČUGLÍK, F. Diagram Based Formal Specification using CSP. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 629-633. ISBN: 80-214-2379-X.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D.
Abstrakt

Formal specification describes exactly a system. Using a CPS (Communicating Sequential Processes) representation allows to describe systems in the semantics meaner, which is very desirable for automated processing. Development of a tool for automated system description from the functional diagram is the main domain of this paper.

Klíčová slova

CSP, diagram, process, tool, formal specification

Rok
2003
Strany
629–633
Sborník
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Konference
Student EEICT 2003
ISBN
80-214-2379-X
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT13965,
  author="František {Ščuglík}",
  title="Diagram Based Formal Specification using CSP",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="629--633",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2379-X"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru