Conference paper

BUREŠ František and RYŠAVÝ Ondřej. Formal specification of IEEE1451.1 fragments. In: 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003, pp. 282-287. ISBN 953-6114-64-X.
Publication language:english
Original title:Formal specification of IEEE1451.1 fragments
Title (cs):Formalní specifikace IEEE1451.1 fragmentu
Pages:282-287
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, object orientation, network capable application processors, object calculus, higher-order logic
Annotation
Object-oriented techniques have reached the majority position among software development methods. Conversely, formal methods are involved in development process very sporadic, in spite of the often claimed contributions. This paper attempts to show practical benefits of employing the combination of both approaches the formal object-oriented methods. Formal approach is used for specifying of IEEE 1451.1 standard defined semiformally in the object-oriented style. A subset of the definitions provided by the standard is rigorously specified in a novel object-oriented specification language with expressiveness of higher-order logic. The paper serves as a case study demonstrating advantages of the specification language rather than an exaustive description of the architecture provided by the standard.
BibTeX:
@INPROCEEDINGS{
   author = {Franti{\v{s}}ek Bure{\v{s}} and Ond{\v{r}}ej
	Ry{\v{s}}av{\'{y}}},
   title = {Formal specification of IEEE1451.1 fragments},
   pages = {282--287},
   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=7320}
}

Your IPv4 address: 54.225.20.73
Switch to IPv6 connection

DNSSEC [dnssec]