{"id":"https://openalex.org/W2015064139","doi":"https://doi.org/10.1016/s0020-7373(88)80007-5","title":"A survey of formal tools and models for developing user interfaces","display_name":"A survey of formal tools and models for developing user interfaces","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2015064139","doi":"https://doi.org/10.1016/s0020-7373(88)80007-5","mag":"2015064139"},"language":"en","primary_location":{"id":"doi:10.1016/s0020-7373(88)80007-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0020-7373(88)80007-5","pdf_url":null,"source":{"id":"https://openalex.org/S4210225790","display_name":"International Journal of Man-Machine Studies","issn_l":"0020-7373","issn":["0020-7373","1879-3614"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319955","host_organization_name":"Academic Press","host_organization_lineage":["https://openalex.org/P4310319955","https://openalex.org/P4310320990"],"host_organization_lineage_names":["Academic Press","Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Man-Machine Studies","raw_type":"journal-article"},"type":"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/A5112649769","display_name":"M. U. Farooq","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mohammad U. Farooq","raw_affiliation_strings":["Center for Advanced Computer Studies, University of Southwestern Louisiana Lafayette, Louisiana 70504-4330, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Advanced Computer Studies, University of Southwestern Louisiana Lafayette, Louisiana 70504-4330, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009041227","display_name":"Wayne D. Dominick","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wayne D. Dominick","raw_affiliation_strings":["Center for Advanced Computer Studies, University of Southwestern Louisiana Lafayette, Louisiana 70504-4330, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Advanced Computer Studies, University of Southwestern Louisiana Lafayette, Louisiana 70504-4330, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.0518,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.9254902,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":"5","first_page":"479","last_page":"496"},"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.9937999844551086,"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.9937999844551086,"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/T12031","display_name":"Speech and dialogue systems","score":0.9879999756813049,"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/T10799","display_name":"Data Visualization and Analytics","score":0.9815999865531921,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/interfacing","display_name":"Interfacing","score":0.7958273887634277},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7433756589889526},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.6815926432609558},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.6549152135848999},{"id":"https://openalex.org/keywords/user-interface-design","display_name":"User interface design","score":0.652917742729187},{"id":"https://openalex.org/keywords/user-modeling","display_name":"User modeling","score":0.5167093276977539},{"id":"https://openalex.org/keywords/post-wimp","display_name":"Post-WIMP","score":0.504998505115509},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4740324318408966},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41147157549858093},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4076705276966095},{"id":"https://openalex.org/keywords/user-experience-design","display_name":"User experience design","score":0.4065340757369995},{"id":"https://openalex.org/keywords/graphical-user-interface-testing","display_name":"Graphical user interface testing","score":0.21599087119102478},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14059877395629883}],"concepts":[{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.7958273887634277},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7433756589889526},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.6815926432609558},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.6549152135848999},{"id":"https://openalex.org/C149229913","wikidata":"https://www.wikidata.org/wiki/Q135707","display_name":"User interface design","level":3,"score":0.652917742729187},{"id":"https://openalex.org/C67712803","wikidata":"https://www.wikidata.org/wiki/Q7901853","display_name":"User modeling","level":3,"score":0.5167093276977539},{"id":"https://openalex.org/C163847158","wikidata":"https://www.wikidata.org/wiki/Q7233492","display_name":"Post-WIMP","level":5,"score":0.504998505115509},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4740324318408966},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41147157549858093},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4076705276966095},{"id":"https://openalex.org/C201025465","wikidata":"https://www.wikidata.org/wiki/Q11248500","display_name":"User experience design","level":2,"score":0.4065340757369995},{"id":"https://openalex.org/C66153210","wikidata":"https://www.wikidata.org/wiki/Q5597182","display_name":"Graphical user interface testing","level":4,"score":0.21599087119102478},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14059877395629883},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","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/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0020-7373(88)80007-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0020-7373(88)80007-5","pdf_url":null,"source":{"id":"https://openalex.org/S4210225790","display_name":"International Journal of Man-Machine Studies","issn_l":"0020-7373","issn":["0020-7373","1879-3614"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319955","host_organization_name":"Academic Press","host_organization_lineage":["https://openalex.org/P4310319955","https://openalex.org/P4310320990"],"host_organization_lineage_names":["Academic Press","Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Man-Machine Studies","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":93,"referenced_works":["https://openalex.org/W43120215","https://openalex.org/W89039390","https://openalex.org/W136694243","https://openalex.org/W563126865","https://openalex.org/W590961618","https://openalex.org/W1492518088","https://openalex.org/W1536871425","https://openalex.org/W1551644145","https://openalex.org/W1557160543","https://openalex.org/W1587994881","https://openalex.org/W1770006921","https://openalex.org/W1963630168","https://openalex.org/W1966629784","https://openalex.org/W1973482079","https://openalex.org/W1974278663","https://openalex.org/W1979230803","https://openalex.org/W1981012826","https://openalex.org/W1981686104","https://openalex.org/W1981901365","https://openalex.org/W1982084000","https://openalex.org/W1982396023","https://openalex.org/W1983920118","https://openalex.org/W1984286919","https://openalex.org/W1996750290","https://openalex.org/W1998322375","https://openalex.org/W2003953755","https://openalex.org/W2003999500","https://openalex.org/W2005560062","https://openalex.org/W2008633805","https://openalex.org/W2009134190","https://openalex.org/W2009543059","https://openalex.org/W2015529753","https://openalex.org/W2016839846","https://openalex.org/W2019972253","https://openalex.org/W2023607146","https://openalex.org/W2026837489","https://openalex.org/W2027280740","https://openalex.org/W2027750453","https://openalex.org/W2028691633","https://openalex.org/W2033020274","https://openalex.org/W2034504939","https://openalex.org/W2038122479","https://openalex.org/W2039883913","https://openalex.org/W2044991617","https://openalex.org/W2046466923","https://openalex.org/W2049650335","https://openalex.org/W2052514105","https://openalex.org/W2057242685","https://openalex.org/W2059311901","https://openalex.org/W2061654960","https://openalex.org/W2062036768","https://openalex.org/W2075495056","https://openalex.org/W2076315053","https://openalex.org/W2081428746","https://openalex.org/W2083009012","https://openalex.org/W2083632529","https://openalex.org/W2084784102","https://openalex.org/W2090635047","https://openalex.org/W2091785129","https://openalex.org/W2094536769","https://openalex.org/W2094935261","https://openalex.org/W2098086075","https://openalex.org/W2099937204","https://openalex.org/W2112939086","https://openalex.org/W2134659752","https://openalex.org/W2155741178","https://openalex.org/W2156909740","https://openalex.org/W2172016924","https://openalex.org/W2215669843","https://openalex.org/W2315761891","https://openalex.org/W2514627348","https://openalex.org/W2911998020","https://openalex.org/W2936737507","https://openalex.org/W3150259325","https://openalex.org/W4205456525","https://openalex.org/W4244720110","https://openalex.org/W4247553730","https://openalex.org/W4252540681","https://openalex.org/W4253339504","https://openalex.org/W4285719527","https://openalex.org/W6601541125","https://openalex.org/W6603613491","https://openalex.org/W6605846946","https://openalex.org/W6633384323","https://openalex.org/W6635196964","https://openalex.org/W6645640622","https://openalex.org/W6646198953","https://openalex.org/W6651303209","https://openalex.org/W6656291893","https://openalex.org/W6664060048","https://openalex.org/W6725895390","https://openalex.org/W6736044370","https://openalex.org/W6821841224"],"related_works":["https://openalex.org/W3048212026","https://openalex.org/W317925544","https://openalex.org/W4316810125","https://openalex.org/W2205718666","https://openalex.org/W145924344","https://openalex.org/W2741711008","https://openalex.org/W2133322701","https://openalex.org/W2971404056","https://openalex.org/W2048652821","https://openalex.org/W1750029910"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-23T06:36:01.041984","created_date":"2025-10-10T00:00:00"}