Structured development of implementations for divide-and-conquer specifications
author
Bortin, Maksym
statement of authorship
Maksym Bortin
source
Science of computer programming
publisher
Elsevier
journal volume number month
vol. 231
year of publication
2024
pages
art. 103011, 15 p. : ill
url
https://doi.org/10.1016/j.scico.2023.103011
subject term
algoritmid
süntees
spetsifikatsioonid
keyword
design tactics
synthesis
implementation
ISSN
0167-6423
notes
Bibliogr.: 11 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
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
TalTech department
tarkvarateaduse instituut
language
inglise