Structured development of implementations for divide-and-conquer specifications
autor
Bortin, Maksym
vastutusandmed
Maksym Bortin
allikas
Science of computer programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 231
ilmumisaasta
2024
leheküljed
art. 103011, 15 p. : ill
leitav
https://doi.org/10.1016/j.scico.2023.103011
märksõna
algoritmid
süntees
spetsifikatsioonid
võtmesõna
design tactics
synthesis
implementation
ISSN
0167-6423
märkused
Bibliogr.: 11 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/28416
https://www.scopus.com/record/display.uri?eid=2-s2.0-85168743259&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Structured+development+of+implementations+for+divide-and-conquer+specifications%22%29&sessionSearchId=fd90d0e9983d9a88c6a21e7c6aafecbb&relpos=0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001069381900001
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Mathematics. Modeling and simulation
Matemaatika. Modelleerimine ja simulatsioon
Computer science. Information systems
Arvutiteadus. Infosüsteemid
Computer science. Software
Arvutiteadus. Tarkvara
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise