Conference paperRYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Minimal Formal Language for ObjectOriented Specifications. In: Proceedings of the IEEE TCECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of ComputerBased Systems, 2003. Huntsville, AL: University of Stirling, 2003, pp. 3540. ISBN 185769189X.  Publication language:  english 

Original title:  A Minimal Formal Language for ObjectOriented Specifications 

Title (cs):  Formální jazyk pro objektověorientované specifikace 

Pages:  3540 

Proceedings:  Proceedings of the IEEE TCECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of ComputerBased Systems, 2003 

Conference:  IEEE TCECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of ComputerBased Systems 

Place:  Huntsville, AL, US 

Year:  2003 

ISBN:  185769189X 

Publisher:  University of Stirling 

Keywords 

Objectoriented formal specifications, FOB1, firstorder logic extension, specification framework, Genzen deduction system, verification 
Annotation 

The presented article suggests a minimal formal language intended as a specification language with objectoriented features. It directly represents formal foundations for basic objectoriented concepts with using of a small amount of language forms. The flexibility of the language provides enought expresiveness to build other concepts of object orientation from the basic ones. The specification language also covers language constructs for description of additional definitions and assumptions on specification in the form of logical formulas. The specifications and assumptions are employed in the proof system that verifies whether specifications are valid under the given assumptions. To cooperation between the specification language and the proof system we suggest an abstract specification framework. The specification language is, from a structural point of view, composed from the language of predicate logic and the language of object calculus. 
BibTeX: 

@INPROCEEDINGS{
author = {Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and Miroslav
{\v{S}}v{\'{e}}da},
title = {A Minimal Formal Language for ObjectOriented Specifications},
pages = {3540},
booktitle = {Proceedings of the IEEE TCECBS and IFIP WG10.1 Joint
Workshop on Formal Specifications of ComputerBased Systems,
2003},
year = {2003},
location = {Huntsville, AL, US},
publisher = {University of Stirling},
ISBN = {185769189X},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7157}
} 
