A Minimal Formal Language for Object-Oriented Specifications

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42514" target="_blank" >RIV/00216305:26230/03:PU42514 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Minimal Formal Language for Object-Oriented Specifications

Popis výsledku v původním jazyce

The presented article suggests a minimal formal language intended as a specification language with object-oriented features. It directly represents formal foundations for basic object-oriented concepts with using of a small amount of language forms. Theflexibility 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 specificcation 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 systemwe 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.

Název v anglickém jazyce

A Minimal Formal Language for Object-Oriented Specifications

Popis výsledku anglicky

The presented article suggests a minimal formal language intended as a specification language with object-oriented features. It directly represents formal foundations for basic object-oriented concepts with using of a small amount of language forms. Theflexibility 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 specificcation 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 systemwe 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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Vestavěné řídicí systémy a jejich vzájemná komunikace</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2003

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003

ISBN

1-85769-189X

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

35-40

Název nakladatele

University of Stirling

Místo vydání

Huntsville, AL

Místo konání akce

Huntsville, AL

Datum konání akce

9. 4. 2003

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—