Detail publikačního výsledku

Diagram Based Formal Specification using CSP

ŠČUGLÍK, F.

Original Title

Diagram Based Formal Specification using CSP

English Title

Diagram Based Formal Specification using CSP

Type

Paper in proceedings outside WoS and Scopus

Original 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.

English 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.

Keywords

CSP, diagram, process, tool, formal specification

Key words in English

CSP, diagram, process, tool, formal specification

Authors

ŠČUGLÍK, F.

Released

24.04.2003

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

80-214-2379-X

Book

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Pages from

629

Pages to

633

Pages count

5

Full text in the Digital Library

http://hdl.handle.net/

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