PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 PAK
  2. 1 Pomiary Automatyka Kontrola
Autorzy help
  1. 1 Rogus G.
  2. 1 Szmuc T.
Lata help
  1. 1 2005
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  LOTOS language
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania
Szmuc T., Rogus G.
Pomiary Automatyka Kontrola
|
2005
|
R. 51, nr 9 bis
288--290
PL
W artykule opisano zastosowanie języka formalnej specyfikacji LOTOS do wspomagania systematycznej analizy poprawności. Scharakteryzowano możliwości tego języka (tzw. style projektowe), jak również opisano koncepcję analizy poprawności. Przedstawiono również ramowe algorytmy analizy poprawności z wykorzystaniem pakietu CADP.
EN
An application of LOTOS formal specification language for systematic correctness verification support is described in the paper. Basic possibilities (the so-called design frameworks) of this language are described, as well as the correctness concept is discussed. General algorithms for the correctness analysis using CADP package are also described.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.