TLA+ specifikacijų išskyrimas iš Elixir programos
Šiame tyrime yra nagrinėjamas metodas, padedantis užtikrinti Elixir programos atitikimą programinės įrangos inžinieriaus kurtai TLA+ specifikacijai. Kuriant metodą apibrėžtas vertimo taisyklių rinkinys, skirtas TLA+ specifikacijų išskyrimui iš nuosekliosios išskirstyto Elixir algoritmo dalies. Naud...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2023-05-01
|
| Series: | Vilnius University Open Series |
| Online Access: | https://www.zurnalai.vu.lt/open-series/article/view/32213 |