Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

ON THE ROLE OF ANALOGY IN DERIVATION (ON THE EXAMPLE OF OLD POLISH VERBS)

100%

Janowska A.

nr 2(4)

115-20

The analysis of the data shows that there are many irregular verb formations that do not fit into categorial description. The oldest data contains plenty of analogical formations. Derivatives of this type constitute important part of word formation not only because they are so frequent but also because they play certain role in evolution of derivational system, e.g. thanks to analogy meanings of root word may be captured by derivation.

Slicing of Timed Automata with Discrete Data

63%

Janowska A. , Janowski P.

tom Nr 990

1-29

The paper proposes how to use static analysis to extract an abstract model of a system. The method uses techniques of program slicing to examine syntax of a system modeled as a set of timed automata with discrete data, a common input formalism of model checkers dealing with time. The method is property driven. The abstraction is exact with respect to all properties expressed in the temporal logic CTL_X*

Praca przedstawia zastosowanie analizy statycznej do uzyskania abstrakcyjnego modelu systemu. Proponowana metoda jest oparta na technice plastrowania programów. Analizie podlega system przedstawiony jako zbiór automatów czasowych rozszerzonych o dane dyskretne, który to formalizm jest stosowany przez weryfikatory modelowe dla systemów czasowych. W przedstawionej metodzie abstrakcja systemu zachowuje prawdziwość formuł logiki temporalnej CTL_X* i jest uzalezniona od weryfikowanej własności.