Generating Symbolic Traces in the Insertion Modeling System
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 60551853X | ||
| 003 | CHVBK | ||
| 005 | 20210128100726.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150101xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10559-015-9691-3 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10559-015-9691-3 | ||
| 245 | 0 | 0 | |a Generating Symbolic Traces in the Insertion Modeling System |h [Elektronische Daten] |c [A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Huba] |
| 520 | 3 | |a This paper describes a new generator of symbolic traces which is designed for the latest version of the insertion modeling system. The basic characteristics of the generator are the use of graphic representations of descriptions of multilevel models, division of local descriptions and consequence relation, possibility of adjustment to different search strategies, and application of a new predicate transformer that admits generality quantifiers with constraints relaxed relative to the previous versions. | |
| 540 | |a Springer Science+Business Media New York, 2015 | ||
| 690 | 7 | |a verification |2 nationallicence | |
| 690 | 7 | |a insertion modeling |2 nationallicence | |
| 690 | 7 | |a UCM |2 nationallicence | |
| 700 | 1 | |a Letichevsky |D A. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine |4 aut | |
| 700 | 1 | |a Letychevskyi |D O. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine |4 aut | |
| 700 | 1 | |a Peschanenko |D V. |u Kherson State University, Kherson, Ukraine |4 aut | |
| 700 | 1 | |a Huba |D A. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine |4 aut | |
| 773 | 0 | |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/1(2015-01-01), 5-15 |x 1060-0396 |q 51:1<5 |1 2015 |2 51 |o 10559 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10559-015-9691-3 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10559-015-9691-3 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Letichevsky |D A. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Letychevskyi |D O. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Peschanenko |D V. |u Kherson State University, Kherson, Ukraine |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Huba |D A. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/1(2015-01-01), 5-15 |x 1060-0396 |q 51:1<5 |1 2015 |2 51 |o 10559 | ||