Detail publikace

A Minimal Formal Language for Object-Oriented Specifications

RYŠAVÝ, O.; ŠVÉDA, M. A Minimal Formal Language for Object-Oriented Specifications. 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. p. 35-40. ISBN: 1-85769-189X.
Název česky
Formální jazyk pro objektově-orientované specifikace
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
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
ISBN
1-85769-189X
Vydavatel
University of Stirling
Místo
Huntsville, AL
BibTeX 
@inproceedings{BUT13956,
  author="Ondřej {Ryšavý} and Miroslav {Švéda}",
  title="A Minimal Formal Language for Object-Oriented Specifications",
  booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
  year="2003",
  pages="35--40",
  publisher="University of Stirling",
  address="Huntsville, AL",
  isbn="1-85769-189X"
}
Nahoru