Temporal multi-view contracts help developing efficient test models
autor
Guin, Jishu
Vain, Jüri
Tsiopoulos, Leonidas
Valdek, Gert
vastutusandmed
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
allikas
Baltic journal of modern computing
kirjastus/väljaandja
University of Latvia
ajakirja aastakäik number kuu
vol. 10, 4
ilmumisaasta
2022
leheküljed
p. 710-737
leitav
https://doi.org/10.22364/bjmc.2022.10.4.07
märksõna
mudeliteooria
rakendusprogrammid
arvutamine
mudelid
võtmesõna
model-checking
model-based testing
contract-based design
ISSN
2255-8942
2255-8950
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100983350
https://www.scopus.com/record/display.uri?eid=2-s2.0-85145471459&origin=inward&txGid=4e8e17b35aa48b2bc65ce338cdc1c6f7
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BALT%20J%20MOD%20COMPUT&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000918356500008
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Küberkriminalistika ja küberjulgeoleku keskus
Merenduse küberjulgeoleku keskus
Tugevalt tagatud tarkvara laboratoorium