{"id":"https://openalex.org/W2137679653","doi":"https://doi.org/10.1518/001872007x312522","title":"Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm","display_name":"Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm","publication_year":2007,"publication_date":"2007-04-01","ids":{"openalex":"https://openalex.org/W2137679653","doi":"https://doi.org/10.1518/001872007x312522","mag":"2137679653","pmid":"https://pubmed.ncbi.nlm.nih.gov/17447671"},"language":"en","primary_location":{"id":"doi:10.1518/001872007x312522","doi":"https://doi.org/10.1518/001872007x312522","is_oa":false,"landing_page_url":"https://doi.org/10.1518/001872007x312522","pdf_url":null,"source":{"id":"https://openalex.org/S83386566","display_name":"Human Factors The Journal of the Human Factors and Ergonomics Society","issn_l":"0018-7208","issn":["0018-7208","1547-8181"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-a","erih-plus","jufo-2","ki-jl-1","medline","norway-1","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Human Factors: The Journal of the Human Factors and Ergonomics Society","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","pubmed"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Michael Heymann","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Michael Heymann","raw_affiliation_strings":["Technion, Israel Institute of Technology, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion, Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015451584","display_name":"Asaf Degani","orcid":"https://orcid.org/0000-0001-6933-7822","observed_orcids":["https://orcid.org/0000-0001-6933-7822"]},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Asaf Degani","raw_affiliation_strings":["[NASA Ames Research Center, Mountain View, California]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[NASA Ames Research Center, Mountain View, California]","institution_ids":["https://openalex.org/I1280536761"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5015451584"],"corresponding_institution_ids":["https://openalex.org/I1280536761"],"apc_list":{"value":1500,"currency":"USD","value_usd":1500},"apc_paid":null,"fwci":6.0826,"has_fulltext":false,"cited_by_count":70,"citation_normalized_percentile":{"value":0.95921986,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":99},"biblio":{"volume":"49","issue":"2","first_page":"311","last_page":"330"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10470","display_name":"Usability and User Interface Design","score":0.9272000193595886,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/T10470","display_name":"Usability and User Interface Design","score":0.9272000193595886,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/T10525","display_name":"Human-Automation Interaction and Safety","score":0.06289999932050705,"subfield":{"id":"https://openalex.org/subfields/3307","display_name":"Human Factors and Ergonomics"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13722","display_name":"Ergonomics and Human Factors","score":0.003100000089034438,"subfield":{"id":"https://openalex.org/subfields/3307","display_name":"Human Factors and Ergonomics"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/user-interface-design","display_name":"user interface design","score":0.8989999890327454},{"id":"https://openalex.org/keywords/formal-analysis","display_name":"formal analysis","score":0.48100000619888306},{"id":"https://openalex.org/keywords/automatic-interface-generation","display_name":"automatic interface generation","score":0.7070000171661377},{"id":"https://openalex.org/keywords/human-automation-interaction","display_name":"human-automation interaction","score":0.9480000138282776},{"id":"https://openalex.org/keywords/information-abstraction","display_name":"information abstraction","score":0.5070000290870667},{"id":"https://openalex.org/keywords/interface-modeling","display_name":"interface modeling","score":0.3230000138282776},{"id":"https://openalex.org/keywords/adaptive-user-interfaces","display_name":"adaptive user interfaces","score":0.7680000066757202},{"id":"https://openalex.org/keywords/user-interface-personalization","display_name":"personalized interfaces","score":0.7829999923706055},{"id":"https://openalex.org/keywords/software-tools","display_name":"software tools","score":0.5199999809265137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8375078439712524},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.7271255254745483},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.7086577415466309},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5870234966278076},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.5737621188163757},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.5559965372085571},{"id":"https://openalex.org/C149229913","wikidata":"https://www.wikidata.org/wiki/Q135707","display_name":"User interface design","level":3,"score":0.5464516878128052},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44783735275268555},{"id":"https://openalex.org/C67712803","wikidata":"https://www.wikidata.org/wiki/Q7901853","display_name":"User modeling","level":3,"score":0.44391515851020813},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33135104179382324},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3206964135169983},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2787013649940491},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003200","descriptor_name":"Computer User Training","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D003200","descriptor_name":"Computer User Training","qualifier_ui":"Q000592","qualifier_name":"standards","is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008328","descriptor_name":"Man-Machine Systems","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008370","descriptor_name":"Manuals as Topic","qualifier_ui":"Q000592","qualifier_name":"standards","is_major_topic":false},{"descriptor_ui":"D008962","descriptor_name":"Models, Theoretical","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D014584","descriptor_name":"User-Computer Interface","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":3,"locations":[{"id":"doi:10.1518/001872007x312522","doi":"https://doi.org/10.1518/001872007x312522","is_oa":false,"landing_page_url":"https://doi.org/10.1518/001872007x312522","pdf_url":null,"source":{"id":"https://openalex.org/S83386566","display_name":"Human Factors The Journal of the Human Factors and Ergonomics Society","issn_l":"0018-7208","issn":["0018-7208","1547-8181"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-a","erih-plus","jufo-2","ki-jl-1","medline","norway-1","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Human Factors: The Journal of the Human Factors and Ergonomics Society","raw_type":"journal-article"},{"id":"pmid:17447671","doi":null,"is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/17447671","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Human factors","raw_type":"Journal Article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.87.6013","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.6013","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://goldberg.berkeley.edu/courses/S06/IEOR-170-S06/docs/Degani07_UI_Gen.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W217422266","https://openalex.org/W1492380889","https://openalex.org/W1497210446","https://openalex.org/W1499402091","https://openalex.org/W1501640954","https://openalex.org/W1514078288","https://openalex.org/W1520563452","https://openalex.org/W1537684775","https://openalex.org/W1543281322","https://openalex.org/W1582775521","https://openalex.org/W1588752634","https://openalex.org/W1974690389","https://openalex.org/W1981686104","https://openalex.org/W1996750290","https://openalex.org/W2019606520","https://openalex.org/W2020584411","https://openalex.org/W2043819112","https://openalex.org/W2046345502","https://openalex.org/W2048707641","https://openalex.org/W2063145598","https://openalex.org/W2084929407","https://openalex.org/W2098467469","https://openalex.org/W2099529102","https://openalex.org/W2105341314","https://openalex.org/W2109598986","https://openalex.org/W2115179079","https://openalex.org/W2115210820","https://openalex.org/W2116212176","https://openalex.org/W2123179704","https://openalex.org/W2123591057","https://openalex.org/W2123852095","https://openalex.org/W2128849486","https://openalex.org/W2141582527","https://openalex.org/W2172016924","https://openalex.org/W2337585718","https://openalex.org/W2507590868","https://openalex.org/W2914107756","https://openalex.org/W4212791533","https://openalex.org/W4230725350","https://openalex.org/W4253560352"],"related_works":["https://openalex.org/W7098195439","https://openalex.org/W6989023564","https://openalex.org/W7099655995","https://openalex.org/W1665548564","https://openalex.org/W1479865836","https://openalex.org/W79276110","https://openalex.org/W307661058","https://openalex.org/W2183474069","https://openalex.org/W2569912072","https://openalex.org/W29744585"],"abstract_inverted_index":{"OBJECTIVE:":[0],"We":[1],"present":[2],"a":[3,167,191],"formal":[4],"approach":[5,25],"and":[6,11,29,59,82,128,132,135,162,173,190,207],"methodology":[7,42],"for":[8,26,116,179,194],"the":[9,31,49,56,68,76,80,89,102,109,118,122,149,155,160,163,181],"analysis":[10],"generation":[12],"of":[13,34,91,121,148,166,184],"user":[14,35,69,103,142,161,185],"interfaces,":[15],"with":[16],"special":[17],"emphasis":[18],"on":[19,45],"human-automation":[20],"interaction.":[21],"BACKGROUND:":[22],"A":[23,113],"conceptual":[24],"modeling,":[27],"analyzing,":[28],"verifying":[30],"information":[32,62,84,92,119,157,182],"content":[33,120,183],"interfaces":[36,186],"is":[37,43,125,130,144],"discussed.":[38],"METHODS:":[39],"The":[40,152,177],"proposed":[41],"based":[44],"two":[46,138],"criteria:":[47],"First,":[48],"interface":[50,57,81,123,143,205],"must":[51,70,85,104],"be":[52,71,86,105,171,188],"correct--that":[53],"is,":[54,88],"given":[55,168],"indications":[58],"all":[60],"related":[61,83],"(user":[63],"manuals,":[64],"training":[65],"material,":[66],"etc.),":[67],"able":[72],"to":[73,101,108,159],"successfully":[74],"perform":[75],"specified":[77],"tasks.":[78],"Second,":[79],"succinct--that":[87],"amount":[90],"(mode":[93],"indications,":[94],"mode":[95],"buttons,":[96],"parameter":[97],"settings,":[98],"etc.)":[99],"presented":[100,131,158],"reduced":[106],"(abstracted)":[107],"minimum":[110],"necessary.":[111],"RESULTS:":[112],"step-by-step":[114],"procedure":[115,178],"generating":[117,180],"that":[124],"both":[126],"correct":[127],"succinct":[129],"then":[133],"explained":[134],"illustrated":[136],"via":[137],"examples.":[139],"CONCLUSIONS:":[140],"Every":[141],"an":[145],"abstract":[146],"description":[147],"underlying":[150,164],"system.":[151],"correspondence":[153],"between":[154],"abstracted":[156],"behavior":[165],"machine":[169],"can":[170,187],"analyzed":[172],"addressed":[174],"formally.":[175],"APPLICATIONS:":[176],"automated,":[189],"software":[192],"tool":[193],"its":[195],"implementation":[196],"has":[197],"been":[198],"developed.":[199],"Potential":[200],"application":[201],"areas":[202],"include":[203],"adaptive":[204],"systems":[206],"customized/personalized":[208],"interfaces.":[209]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":4}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}