Publication detail

Diagram Based Formal Specification using CSP

ŠČUGLÍK, F.

Original Title

Diagram Based Formal Specification using CSP

Type

conference paper

Language

English

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.

Keywords

CSP, diagram, process, tool, formal specification

Authors

ŠČUGLÍK, F.

RIV year

2004

Released

24. 4. 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

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