{"id":"https://openalex.org/W2585285991","doi":"https://doi.org/10.3217/jucs-013-05-0669","title":"Realising the Benefits of Formal Methods","display_name":"Realising the Benefits of Formal Methods","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2585285991","doi":"https://doi.org/10.3217/jucs-013-05-0669","mag":"2585285991"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6999832","is_oa":true,"landing_page_url":"https://zenodo.org/record/6999832","pdf_url":"https://zenodo.org/record/6999832","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 13((5)) 669-678","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6999832","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024900384","display_name":"Anthony Hall","orcid":"https://orcid.org/0000-0002-1806-020X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Anthony Hall","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5024900384"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.00146753,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":null,"first_page":"669","last_page":"678"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12797","display_name":"History of Computing Technologies","score":0.09619999676942825,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T12797","display_name":"History of Computing Technologies","score":0.09619999676942825,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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.02160000056028366,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0210999995470047,"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.833014965057373},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.7324674129486084},{"id":"https://openalex.org/keywords/ask-price","display_name":"Ask price","score":0.7169046401977539},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.45999133586883545},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3557926118373871},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2956455945968628},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.08756142854690552},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.08398136496543884}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.833014965057373},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7324674129486084},{"id":"https://openalex.org/C90329073","wikidata":"https://www.wikidata.org/wiki/Q914232","display_name":"Ask price","level":2,"score":0.7169046401977539},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.45999133586883545},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3557926118373871},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2956455945968628},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.08756142854690552},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.08398136496543884},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:zenodo.org:6999832","is_oa":true,"landing_page_url":"https://zenodo.org/record/6999832","pdf_url":"https://zenodo.org/record/6999832","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 13((5)) 669-678","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-013-05-0669","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-013-05-0669","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"},{"id":"mag:337850507","is_oa":false,"landing_page_url":"http://dblp.uni-trier.de/db/journals/jucs/jucs13.html#Hall07","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6999832","is_oa":true,"landing_page_url":"https://zenodo.org/record/6999832","pdf_url":"https://zenodo.org/record/6999832","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 13((5)) 669-678","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2585285991.pdf","grobid_xml":"https://content.openalex.org/works/W2585285991.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1582430388","https://openalex.org/W1559870885","https://openalex.org/W1588335385","https://openalex.org/W3006186715","https://openalex.org/W822918988","https://openalex.org/W1603331053","https://openalex.org/W3203773372","https://openalex.org/W2148206346","https://openalex.org/W2991657580","https://openalex.org/W2273021975","https://openalex.org/W2505373706","https://openalex.org/W1489058679","https://openalex.org/W2997085991","https://openalex.org/W640327275","https://openalex.org/W1533375366","https://openalex.org/W2241413324","https://openalex.org/W211985168","https://openalex.org/W1982643912","https://openalex.org/W2141278062","https://openalex.org/W3013888468"],"abstract_inverted_index":{"This":[0],"paper":[1],"surveys":[2],"the":[3,6,20],"whys,":[4],"and":[5],"wherefores":[7],"of":[8,22,31],"using":[9,23],"formal":[10,24],"methods":[11],"in":[12],"an":[13,28],"industrial":[14],"context.":[15],"Evidence":[16],"is":[17],"presented":[18],"that":[19],"benefits":[21],"techniques,":[25],"though":[26],"not":[27],"automatic":[29],"consequence":[30],"their":[32],"adoption,":[33],"can":[34],"be":[35],"considerable.":[36]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}