{"id":"https://openalex.org/W2734940986","doi":"https://doi.org/10.1007/s00354-017-0023-1","title":"Metamathematics for Systems Design","display_name":"Metamathematics for Systems Design","publication_year":2017,"publication_date":"2017-07-01","ids":{"openalex":"https://openalex.org/W2734940986","doi":"https://doi.org/10.1007/s00354-017-0023-1","mag":"2734940986"},"language":"en","primary_location":{"id":"doi:10.1007/s00354-017-0023-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00354-017-0023-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00354-017-0023-1.pdf","source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"New Generation Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00354-017-0023-1.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013382452","display_name":"Ichiro Hasuo","orcid":"https://orcid.org/0000-0002-8300-4650"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Ichiro Hasuo","raw_affiliation_strings":["National Institute of Informatics, Hitotsubashi 2-1-2, Tokyo 101-8430, Japan","National Institute of Informatics, Hitotsubashi 2-1-2, Tokyo, 101-8430, Japan"],"raw_orcid":"https://orcid.org/0000-0002-8300-4650","affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Hitotsubashi 2-1-2, Tokyo 101-8430, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National Institute of Informatics, Hitotsubashi 2-1-2, Tokyo, 101-8430, Japan","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013382452"],"corresponding_institution_ids":["https://openalex.org/I184597095"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":{"value":2490,"currency":"EUR","value_usd":3090},"fwci":1.659,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.85601124,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"35","issue":"3","first_page":"271","last_page":"305"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8378098011016846},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6584144830703735},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.6462380886077881},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4832335412502289},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4753563106060028},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4729230999946594},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4296160936355591},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40350326895713806},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3825921416282654},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.3732980489730835},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22042682766914368},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.10927051305770874}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8378098011016846},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6584144830703735},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.6462380886077881},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4832335412502289},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4753563106060028},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4729230999946594},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4296160936355591},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40350326895713806},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3825921416282654},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3732980489730835},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22042682766914368},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.10927051305770874},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00354-017-0023-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00354-017-0023-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00354-017-0023-1.pdf","source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"New Generation Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00354-017-0023-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00354-017-0023-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00354-017-0023-1.pdf","source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"New Generation Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6399999856948853}],"awards":[{"id":"https://openalex.org/G1369345469","display_name":null,"funder_award_id":"JPMJER1603","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"}],"funders":[{"id":"https://openalex.org/F4320315550","display_name":"Milwaukee Metropolitan Sewerage District","ror":"https://ror.org/03n5rw513"},{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"},{"id":"https://openalex.org/F4320338112","display_name":"Exploratory Research for Advanced Technology","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2734940986.pdf","grobid_xml":"https://content.openalex.org/works/W2734940986.grobid-xml"},"referenced_works_count":105,"referenced_works":["https://openalex.org/W50594641","https://openalex.org/W101993386","https://openalex.org/W777621473","https://openalex.org/W814461068","https://openalex.org/W1147832988","https://openalex.org/W1502764578","https://openalex.org/W1503973138","https://openalex.org/W1505081061","https://openalex.org/W1510918931","https://openalex.org/W1512310098","https://openalex.org/W1533557569","https://openalex.org/W1534704094","https://openalex.org/W1543463209","https://openalex.org/W1547562281","https://openalex.org/W1559151285","https://openalex.org/W1561688506","https://openalex.org/W1564580204","https://openalex.org/W1571102086","https://openalex.org/W1597755753","https://openalex.org/W1643571618","https://openalex.org/W1728602962","https://openalex.org/W1757114815","https://openalex.org/W1792477536","https://openalex.org/W1862398452","https://openalex.org/W1943502734","https://openalex.org/W1962072139","https://openalex.org/W1984184513","https://openalex.org/W1994801532","https://openalex.org/W1997070622","https://openalex.org/W1998146115","https://openalex.org/W2002089154","https://openalex.org/W2004463571","https://openalex.org/W2007281030","https://openalex.org/W2011979623","https://openalex.org/W2022276169","https://openalex.org/W2039290601","https://openalex.org/W2041378910","https://openalex.org/W2041617655","https://openalex.org/W2043100293","https://openalex.org/W2044212782","https://openalex.org/W2049399166","https://openalex.org/W2057895129","https://openalex.org/W2069300761","https://openalex.org/W2088189323","https://openalex.org/W2091316349","https://openalex.org/W2100996925","https://openalex.org/W2101032471","https://openalex.org/W2101508170","https://openalex.org/W2105357036","https://openalex.org/W2115721647","https://openalex.org/W2119534622","https://openalex.org/W2120713972","https://openalex.org/W2124315269","https://openalex.org/W2125674490","https://openalex.org/W2135346163","https://openalex.org/W2138856440","https://openalex.org/W2147945178","https://openalex.org/W2167799541","https://openalex.org/W2182724168","https://openalex.org/W2205337852","https://openalex.org/W2242694813","https://openalex.org/W2247455710","https://openalex.org/W2282180738","https://openalex.org/W2295266283","https://openalex.org/W2295513474","https://openalex.org/W2295776658","https://openalex.org/W2296029809","https://openalex.org/W2328819335","https://openalex.org/W2347010600","https://openalex.org/W2460913653","https://openalex.org/W2461376028","https://openalex.org/W2469998798","https://openalex.org/W2471883032","https://openalex.org/W2484725950","https://openalex.org/W2499905456","https://openalex.org/W2502103274","https://openalex.org/W2504797558","https://openalex.org/W2519085184","https://openalex.org/W2551457286","https://openalex.org/W2601434987","https://openalex.org/W2605951390","https://openalex.org/W2606000287","https://openalex.org/W2606327778","https://openalex.org/W2607338915","https://openalex.org/W2608488707","https://openalex.org/W2626109160","https://openalex.org/W2908250557","https://openalex.org/W2949574399","https://openalex.org/W2950625645","https://openalex.org/W2963033293","https://openalex.org/W2987907651","https://openalex.org/W3016349333","https://openalex.org/W3020994268","https://openalex.org/W3021003119","https://openalex.org/W3101634683","https://openalex.org/W3106516073","https://openalex.org/W3146075203","https://openalex.org/W3168224710","https://openalex.org/W4211195649","https://openalex.org/W4232277105","https://openalex.org/W4233669187","https://openalex.org/W4234924236","https://openalex.org/W4251799386","https://openalex.org/W4251912342","https://openalex.org/W6660734588"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W4312814274","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2353836703"],"abstract_inverted_index":{"This":[0],"position":[1],"paper":[2],"describes":[3,187],"the":[4,6,8,11,14,169],"context,":[5],"goal,":[7],"strategy":[9,166],"and":[10,40,79,86,225],"tactics":[12],"of":[13,46,61,76,172,216,227],"ERATO":[15],"MMSD":[16],"project":[17,20,145,159],"(2016-2022).":[18],"The":[19],"aims":[21,146],"at":[22],"enhanced":[23],"quality":[24],"assurance":[25],"measures":[26,81],"for":[27,51,176,193],"industry":[28,65,70],"products":[29,71],"like":[30],"cars.":[31],"In":[32,157,221],"doing":[33],"so,":[34],"we":[35,160,179,211],"follow":[36],"a":[37,44,112,154,163,183,213],"recent":[38],"trend":[39],"exploit":[41],"formal":[42,62],"methods,":[43],"body":[45],"mathematical":[47],"techniques":[48,192],"originally":[49],"developed":[50],"computer":[52],"systems.":[53],"However,":[54],"there":[55],"are":[56,116,231],"fundamental":[57],"gaps":[58],"in":[59,69,121,153,197,209,241],"application":[60],"methods":[63,97],"to":[64,147,149,167,181,189],"products:":[66],"additional":[67],"concerns":[68,101,196],"such":[72,82,134,191],"as":[73,83,135],"continuous":[74,142],"dynamics":[75],"physical":[77],"components":[78],"quantitative":[80],"probability,":[84],"time,":[85],"cost":[87],"make":[88],"problems":[89],"fundamentally":[90],"different":[91],"from":[92],"those":[93],"about":[94],"software.":[95],"Formal":[96],"that":[98,109,138,186,230],"accommodate":[99],"these":[100],"is":[102,111],"an":[103],"active":[104],"research":[105],"area,":[106],"which":[107],"shows":[108],"it":[110],"hard":[113,151],"problem.":[114],"There":[115],"several":[117],"successful":[118],"theoretical":[119],"developments":[120],"this":[122,150,200,222],"direction.":[123],"They":[124],"typically":[125],"combine":[126],"one":[127,131,174],"individual":[128],"technique":[129,175],"with":[130,141,203,235],"specific":[132],"concern,":[133,178],"hybrid":[136],"automata":[137,140],"extend":[139],"dynamics.":[143],"Our":[144],"contribute":[148],"problem":[152],"unique":[155,164],"way.":[156],"our":[158,204],"will":[161,219],"take":[162],"metamathematical":[165],"bridging":[168],"gaps:":[170],"instead":[171],"creating":[173],"each":[177],"want":[180],"find":[182],"meta-level":[184],"theory":[185],"how":[188],"develop":[190],"many":[194],"potential":[195],"general.":[198],"Through":[199],"strategy,":[201],"together":[202],"emphasis":[205],"on":[206],"real-world":[207],"applications":[208],"industry,":[210],"expect":[212],"new":[214],"prototype":[215],"applied":[217],"mathematics":[218,229],"emerge.":[220],"prototype,":[223],"abstraction":[224],"genericitycharacteristics":[226],"modern":[228],"not":[232],"often":[233],"associated":[234],"application-are":[236],"turned":[237],"into":[238],"crucial":[239],"advantages":[240],"applications.":[242]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}