Detail publikace

A Minimal Formal Language for Object-Oriented Specifications

RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Minimal Formal Language for Object-Oriented Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, s. 35-40. ISBN 1-85769-189X.
Název česky
Formální jazyk pro objektově-orientované specifikace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Klíčová slova

objektově-orientované specifikace, FOB1, logika prvního řádu, prostředí pro specifikace, odvozovací systémy

Abstrakt

Příspěvek se zabývá možností tvorby kompaktního formalního jazyka pro specifikaci objektově-orientovaných systémů. Jazyk přímo obsahuje základní jazykové konstrukce potřebné pro vyjadření objektově-orientovaných vlastností, nicméně umožňuje také definovat ostatní pokročilé valstnosti.  Specifikace mohou být ověřovány v dokazovacím systému.

Rok
2003
Strany
35-40
Sborník
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, US
ISBN
1-85769-189X
Vydavatel
University of Stirling
Místo
Huntsville, AL, US
BibTeX 
@INPROCEEDINGS{FITPUB7157,
   author = "Ond\v{r}ej Ry\v{s}av\'{y} and Miroslav \v{S}v\'{e}da",
   title = "A Minimal Formal Language for Object-Oriented Specifications",
   pages = "35--40",
   booktitle = "Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
   year = 2003,
   location = "Huntsville, AL, US",
   publisher = "University of Stirling",
   ISBN = "1-85769-189X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7157"
}
Nahoru