Conference paper

ŠČUGLÍK František. Visualizing formal specifications using diagrams. In: 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003, p. 5. ISBN 953-6114-64-X.
Publication language:english
Original title:Visualizing formal specifications using diagrams
Title (cs):
Pages:5
Proceedings:11. International Conference on Software, Telecommunications & Computer Networks
Conference:2003 International Conference on Software, Telecommunications and Computer Networks
Place:Split, HR
Year:2003
ISBN:953-6114-64-X
Publisher:Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split
Keywords
Formal specification, UML, Digram, Process, behavior
Annotation
Although the verification process of formal models represent a long-time procedure, it is applied on more and more systems because finding and eliminating of consequent error stands for high costs. This contribution develops a front-end interface for system developers which provides automatically generation of system's formal models utilizing the algebra of Communicating Sequential Processes. The discussed tool stem from UML composite states diagrams and utilizes behavioral diagrams to specify the systems. The paper includes the used subset of CSP and the developed technique for automated model specification.
Abstract
BibTeX:
@INPROCEEDINGS{
   author = {Franti{\v{s}}ek {\v{S}}{\v{c}}ugl{\'{i}}k},
   title = {Visualizing formal specifications using diagrams},
   pages = {5},
   booktitle = {11. International Conference on Software, Telecommunications
	\& Computer Networks},
   year = {2003},
   location = {Split, HR},
   publisher = {Faculty of Electrical Engineering, Mechanical Engineering
	and Naval Architecture , University of Split},
   ISBN = {953-6114-64-X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7314}
}

Your IPv4 address: 54.226.172.30
Switch to IPv6 connection

DNSSEC [dnssec]