Publication Details

Diagram Based Formal Specification using CSP

ŠČUGLÍK František. Diagram Based Formal Specification using CSP. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 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. (DIFS FIT BUT)

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

ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2003, Brno, CZ

ISBN

80-214-2379-X

Publisher

Faculty of Electrical Engineering and Communication BUT

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB7170,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Diagram Based Formal Specification using CSP",
   pages = "629--633",
   booktitle = "Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
   year = 2003,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2379-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7170"
}