Temporal multi-view contracts for efficient test models
autor
Guin, Jishu
Vain, Jüri
Tsiopoulos, Leonidas
Valdek, Gert
vastutusandmed
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
allikas
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2022
leheküljed
p. 136–151
seeria-sari
Communications in Computer and Information Science ; 1598
konverentsi nimetus, aeg
Baltic DB&IS 2022 : Digital Business and Intelligent Systems : 15th International Baltic Conference, July 4-6, 2022
konverentsi toimumispaik
Riga, Latvia
leitav
https://doi.org/10.1007/978-3-031-09850-5_10
märksõna
mudeliteooria
rakendusprogrammid
arvutamine
Scopus
https://www.scopus.com/sourceid/17700155007
https://www.scopus.com/record/display.uri?eid=2-s2.0-85134332370&origin=inward&txGid=a1a029faf39f6ca02b9ba656440c0e90
kvartiil
Q4
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
model-checking
model-based testing
contract-based design
ISSN
1865-0929
1865-0937
ISBN
978-3-031-09849-9
978-3-031-09850-5
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Küberkriminalistika ja küberjulgeoleku keskus
Merenduse küberjulgeoleku keskus
Tugevalt tagatud tarkvara laboratoorium