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

Type

conference paper

Language

English

Authors

Ščuglík František, Ing., Ph.D.

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

Published

2003

Pages

629–633

Proceedings

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Conference

Student EEICT 2003

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

Projects

Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed

Research groups

Information and Database Systems Research Group (RG IS)

Departments

Department of Information Systems (DIFS)