Publication Details

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.
Czech title
Forlmální specifikace v CSP založená na diagramech
Type
conference paper
Language
English
Authors
Ščuglík František, Ing., Ph.D. (CM-SFE)
Keywords

CSP, diagram, process, tool, formal specification

Abstract

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.

Published
2003
Pages
629–633
Proceedings
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Conference
Student EEICT 2003, Brno, CZ
ISBN
80-214-2379-X
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
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"
}
Back to top