乐胖代购免代理版

{"id":"https://openalex.org/W3208645270","doi":"https://doi.org/10.1109/tse.2021.3124677","title":"Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design","display_name":"Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design","publication_year":2021,"publication_date":"2021-11-02","ids":{"openalex":"https://openalex.org/W3208645270","doi":"https://doi.org/10.1109/tse.2021.3124677","mag":"3208645270"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3124677","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040962321","display_name":"Alessio Ferrari","orcid":"https://orcid.org/0000-0002-0636-5663"},"institutions":[{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessio Ferrari","raw_affiliation_strings":["Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy","institution_ids":["https://openalex.org/I4210155236","https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012008673","display_name":"Franco Mazzanti","orcid":"https://orcid.org/0000-0003-4562-8777"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Mazzanti","raw_affiliation_strings":["Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy","institution_ids":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055266810","display_name":"Davide Basile","orcid":"https://orcid.org/0000-0002-7196-6609"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide Basile","raw_affiliation_strings":["Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy","institution_ids":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maurice H. ter Beek","raw_affiliation_strings":["Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy","institution_ids":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.228,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.998994,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"48","issue":"11","first_page":"4675","last_page":"4691"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.8511975},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7551919},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.61221546},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6085809},{"id":"https://openalex.org/C3255780","wikidata":"https://www.wikidata.org/wiki/Q1616517","display_name":"Heuristic evaluation","level":3,"score":0.56862354},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5563306},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5217322},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48499414},{"id":"https://openalex.org/C100302975","wikidata":"https://www.wikidata.org/wiki/Q1642623","display_name":"Usability engineering","level":3,"score":0.46295315},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42485958},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.41059542},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3041297},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23120648},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3124677","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.55,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"grants":[{"funder":"https://openalex.org/F4320320300","funder_display_name":"European Commission","award_id":"881775 (4SECURail)"},{"funder":"https://openalex.org/F4320338344","funder_display_name":"H2020 Energy","award_id":"777561 (ASTRail)"}],"datasets":[],"versions":[],"referenced_works_count":113,"referenced_works":["https://openalex.org/W1031269710","https://openalex.org/W125726805","https://openalex.org/W13765794","https://openalex.org/W1498432697","https://openalex.org/W1504504841","https://openalex.org/W1553511155","https://openalex.org/W1581635138","https://openalex.org/W1585533089","https://openalex.org/W1586167239","https://openalex.org/W172265393","https://openalex.org/W175317719","https://openalex.org/W1769954818","https://openalex.org/W1806292759","https://openalex.org/W1822842849","https://openalex.org/W1857315623","https://openalex.org/W1862398452","https://openalex.org/W1909120645","https://openalex.org/W1973938051","https://openalex.org/W2001289891","https://openalex.org/W2016022053","https://openalex.org/W2026294803","https://openalex.org/W2028140755","https://openalex.org/W2032191478","https://openalex.org/W2033018395","https://openalex.org/W2038361485","https://openalex.org/W2050362288","https://openalex.org/W2063193040","https://openalex.org/W2081503819","https://openalex.org/W2084642972","https://openalex.org/W2086908167","https://openalex.org/W2091905875","https://openalex.org/W2092137831","https://openalex.org/W2094442885","https://openalex.org/W2097204570","https://openalex.org/W2106419991","https://openalex.org/W2115980565","https://openalex.org/W2123106596","https://openalex.org/W2128823042","https://openalex.org/W2130560480","https://openalex.org/W2142340571","https://openalex.org/W2150189917","https://openalex.org/W2166423024","https://openalex.org/W2168633587","https://openalex.org/W2168894761","https://openalex.org/W2169437524","https://openalex.org/W2169504289","https://openalex.org/W2170486381","https://openalex.org/W2226576976","https://openalex.org/W2294621091","https://openalex.org/W233122475","https://openalex.org/W2411284738","https://openalex.org/W2476138513","https://openalex.org/W2496004337","https://openalex.org/W2527393991","https://openalex.org/W2529421307","https://openalex.org/W2536558645","https://openalex.org/W2577590554","https://openalex.org/W2588754431","https://openalex.org/W2620444793","https://openalex.org/W2748956697","https://openalex.org/W2767965410","https://openalex.org/W2768897767","https://openalex.org/W2785184580","https://openalex.org/W2787596386","https://openalex.org/W2791070386","https://openalex.org/W2791307021","https://openalex.org/W2800996886","https://openalex.org/W2801429964","https://openalex.org/W2805728608","https://openalex.org/W2810491896","https://openalex.org/W2885628182","https://openalex.org/W2890801208","https://openalex.org/W2895572312","https://openalex.org/W2897103696","https://openalex.org/W2898791916","https://openalex.org/W2899125593","https://openalex.org/W2899292013","https://openalex.org/W2912640545","https://openalex.org/W2932603064","https://openalex.org/W2945607852","https://openalex.org/W2953557274","https://openalex.org/W2969411916","https://openalex.org/W2974906992","https://openalex.org/W2979249584","https://openalex.org/W2981584093","https://openalex.org/W2983541997","https://openalex.org/W2988187357","https://openalex.org/W3002706245","https://openalex.org/W3003323095","https://openalex.org/W3006060688","https://openalex.org/W3015036017","https://openalex.org/W3035434438","https://openalex.org/W3082634688","https://openalex.org/W3091355367","https://openalex.org/W3097772958","https://openalex.org/W3097900393","https://openalex.org/W3099228204","https://openalex.org/W3099610013","https://openalex.org/W3102622166","https://openalex.org/W3105185804","https://openalex.org/W320166343","https://openalex.org/W4214928512","https://openalex.org/W4230290951","https://openalex.org/W4241863337","https://openalex.org/W4242177437","https://openalex.org/W4247965536","https://openalex.org/W4248366186","https://openalex.org/W4250571661","https://openalex.org/W4252915848","https://openalex.org/W4300021588","https://openalex.org/W4320472552","https://openalex.org/W4393673622","https://openalex.org/W68069235"],"related_works":["https://openalex.org/W2202159764","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W2005596529","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W1544097700","https://openalex.org/W1495250406"],"abstract_inverted_index":{"Formal":[0],"methods":[1,72,101,133,212],"and":[2,46,50,146,155,180,214,226,276,284],"supporting":[3],"tools":[4,102,118,134,154,213,232],"have":[5,136],"a":[6,108,128,149,156,161,207],"long":[7],"record":[8],"of":[9,14,38,88,96,111,114,130,143,152,160,163,210,230,259,261],"success":[10],"in":[11,36,69,93,105],"the":[12,24,34,39,66,77,86,94,97,112,115,140,174,185,189,193,219,231,242,252,257,262],"development":[13,52],"safety-critical":[15],"systems.":[16],"However,":[17],"no":[18,80],"single":[19],"tool":[20,31,282],"has":[21,54],"emerged":[22],"as":[23,237],"dominant":[25],"solution":[26],"for":[27,65,85,139,246,256],"system":[28],"design.":[29],"Each":[30],"differs":[32],"from":[33,241,272],"others":[35],"terms":[37],"modeling":[40],"language":[41],"used,":[42],"its":[43],"verification":[44],"capabilities":[45],"other":[47],"complementary":[48],"features,":[49],"each":[51],"context":[53],"peculiar":[55],"needs":[56],"that":[57,135,217],"require":[58],"different":[59],"tools.":[60,89,263],"This":[61],"is":[62,83,119,187,251],"particularly":[63],"problematic":[64],"railway":[67,144,167,190,273],"industry,":[68],"which":[70],"formal":[71,100,132,211],"are":[73,171,233],"highly":[74],"recommended":[75],"by":[76,178,239],"norms,":[78],"but":[79,279],"actual":[81],"guidance":[82],"provided":[84],"selection":[87,95],"To":[90,121],"guide":[91],"companies":[92,275],"most":[98,175,253,260],"appropriate":[99],"to":[103,199,269,281],"adopt":[104],"their":[106],"contexts,":[107],"clear":[109],"assessment":[110],"features":[113],"currently":[116],"available":[117],"required.":[120],"address":[122],"this":[123,125],"goal,":[124],"paper":[126],"considers":[127],"set":[129],"13":[131],"been":[137],"used":[138],"early":[141],"design":[142],"systems,":[145],"it":[147,215],"presents":[148],"systematic":[150,208],"evaluation":[151,209],"such":[153],"preliminary":[157],"usability":[158],"analysis":[159],"subset":[162],"7":[164],"tools,":[165],"involving":[166],"practitioners.":[168],"The":[169],"results":[170],"discussed":[172],"considering":[173],"desired":[176],"aspects":[177],"industry":[179],"earlier":[181],"related":[182],"studies.":[183],"While":[184],"focus":[186],"on":[188],"signaling":[191,274],"domain,":[192],"overall":[194],"methodology":[195],"can":[196,266],"be":[197,267],"applied":[198],"similar":[200],"contexts.":[201],"Our":[202,264],"study":[203],"thus":[204],"contributes":[205],"with":[206],"shows":[216],"despite":[218],"poor":[220],"graphical":[221],"interfaces,":[222],"usability":[225],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">maturity":[229],"not":[234],"major":[235],"problems,":[236],"claimed":[238],"contributions":[240],"literature.":[243],"Instead,":[244],"support":[245],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">process":[249],"integration":[250],"relevant":[254],"obstacle":[255],"adoption":[258],"contribution":[265],"useful":[268],"R&D":[270],"engineers":[271],"infrastructure":[277],"managers,":[278],"also":[280],"developers":[283],"academic":[285],"researchers":[286],"alike.":[287]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3208645270","counts_by_year":[{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":1}],"updated_date":"2025-01-04T05:05:07.521066","created_date":"2021-11-08"}