{"id":"https://openalex.org/W4407736235","doi":"https://doi.org/10.3233/978-1-61499-495-4-193","title":"Framing the Frame Problem","display_name":"Framing the Frame Problem","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W4407736235","doi":"https://doi.org/10.3233/978-1-61499-495-4-193"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-495-4-193","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-495-4-193","pdf_url":null,"source":{"id":"https://openalex.org/S4210202636","display_name":"NATO science for peace and security series. D, Information and communication security","issn_l":"1874-6268","issn":["1874-6268","1879-8292"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NATO Science for Peace and Security Series - D: Information and Communication Security","raw_type":"book-chapter"},"type":"book-chapter","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/A5116325585","display_name":"Meyer Bertrand","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Meyer Bertrand","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5116325585"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9552,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.91444311,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.31360000371932983,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.31360000371932983,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.23160000145435333,"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/T10126","display_name":"Logic, programming, and type systems","score":0.2295999974012375,"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/framing","display_name":"Framing (construction)","score":0.7388859987258911},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3756999969482422},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.340175598859787},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.24201977252960205},{"id":"https://openalex.org/keywords/archaeology","display_name":"Archaeology","score":0.05054134130477905}],"concepts":[{"id":"https://openalex.org/C169087156","wikidata":"https://www.wikidata.org/wiki/Q2131593","display_name":"Framing (construction)","level":2,"score":0.7388859987258911},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3756999969482422},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.340175598859787},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.24201977252960205},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.05054134130477905}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-61499-495-4-193","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-495-4-193","pdf_url":null,"source":{"id":"https://openalex.org/S4210202636","display_name":"NATO science for peace and security series. D, Information and communication security","issn_l":"1874-6268","issn":["1874-6268","1879-8292"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NATO Science for Peace and Security Series - D: Information and Communication Security","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Some":[0],"parts":[1],"of":[2,15,56,86,89,99,121,134,144],"the":[3,16,33,54,79,84,103,108,114,119,125,137,145],"software":[4],"verification":[5,131],"process":[6],"require":[7],"human":[8],"annotation,":[9],"but":[10],"as":[11,13,32],"much":[12],"possible":[14],"rest":[17],"should":[18],"be":[19],"automatic.":[20],"An":[21],"excellent":[22],"candidate":[23],"for":[24],"full":[25],"automation":[26],"is":[27,50,141],"change":[28,109,139,147],"analysis,":[29],"also":[30],"known":[31],"frame":[34,68,73,76],"problem:":[35],"how":[36],"to":[37,117],"determine":[38,118],"which":[39],"program":[40],"properties":[41],"remain":[42],"unchanged":[43],"under":[44],"a":[45,90,96,142],"given":[46],"operation.":[47],"The":[48,66],"problem":[49],"particularly":[51],"delcate":[52],"in":[53,62],"case":[55],"programs":[57],"using":[58],"pointers":[59],"or":[60],"references,":[61],"particular":[63],"object-oriented":[64],"programs.":[65],"double":[67],"inference":[69],"strategy":[70],"automates":[71],"both":[72],"specification":[74,80],"and":[75],"verification.":[77],"On":[78,102],"side,":[81,105],"it":[82,106],"deduces":[83],"set":[85,120,140],"permissible":[87,146],"changes":[88],"routine":[91,126],"(its":[92],"\u201cmodifies":[93],"clause\u201d)":[94],"from":[95],"simple":[97],"examination":[98],"its":[100],"postcondition.":[101],"implementation":[104],"applies":[107],"calculus,":[110,116],"itself":[111],"based":[112],"on":[113],"alias":[115],"expressions":[122],"whose":[123],"values":[124],"can":[127],"actually":[128],"change.":[129],"Frame":[130],"then":[132],"consists":[133],"ascertaining":[135],"that":[136],"actual":[138],"subset":[143],"set.":[148]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-08-25T07:29:55.448023","created_date":"2025-10-10T00:00:00"}