Formal specification of IEEE1451.1 fragments
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42625" target="_blank" >RIV/00216305:26230/03:PU42625 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal specification of IEEE1451.1 fragments
Popis výsledku v původním jazyce
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 thhe 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.
Název v anglickém jazyce
Formal specification of IEEE1451.1 fragments
Popis výsledku anglicky
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 thhe 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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
11. International Conference on Software, Telecommunications & Computer Networks
ISBN
953-6114-64-X
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
282-287
Název nakladatele
Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split
Místo vydání
Split
Místo konání akce
Split
Datum konání akce
7. 10. 2003
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—