{"id":"https://openalex.org/W2125521212","doi":"https://doi.org/10.1109/apsec.2003.1254400","title":"Specification matching of state-based modular components","display_name":"Specification matching of state-based modular components","publication_year":2004,"publication_date":"2004-07-08","ids":{"openalex":"https://openalex.org/W2125521212","doi":"https://doi.org/10.1109/apsec.2003.1254400","mag":"2125521212"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2003.1254400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5027510583","display_name":"David Hemer","orcid":null},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"D. Hemer","raw_affiliation_strings":["Sch. of Inf. Technol. & Electr. Eng., Univ. of Queensland, Australia"],"affiliations":[{"raw_affiliation_string":"Sch. of Inf. Technol. & Electr. Eng., Univ. of Queensland, Australia","institution_ids":["https://openalex.org/I165143802"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027510583"],"corresponding_institution_ids":["https://openalex.org/I165143802"],"apc_list":null,"apc_paid":null,"fwci":0.689,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":8,"citation_normalized_percentile":{"value":0.65876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":80},"biblio":{"volume":null,"issue":null,"first_page":"446","last_page":"455"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997,"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.9997,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9978,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.64881825},{"id":"https://openalex.org/keywords/visibility","display_name":"Visibility","score":0.5414091}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7997026},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.6911471},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.68047273},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.64881825},{"id":"https://openalex.org/C123403432","wikidata":"https://www.wikidata.org/wiki/Q654068","display_name":"Visibility","level":2,"score":0.5414091},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49189043},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4302002},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38111383},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37231934},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3230038},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0718095},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2003.1254400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":25,"referenced_works":["https://openalex.org/W1488057368","https://openalex.org/W1534437842","https://openalex.org/W1552647623","https://openalex.org/W1559870885","https://openalex.org/W1589945256","https://openalex.org/W1628797434","https://openalex.org/W1968553906","https://openalex.org/W1975255815","https://openalex.org/W1980829377","https://openalex.org/W2069234241","https://openalex.org/W2078095352","https://openalex.org/W2088321462","https://openalex.org/W2107720791","https://openalex.org/W2118003450","https://openalex.org/W2138569181","https://openalex.org/W2142425794","https://openalex.org/W2144973245","https://openalex.org/W2155454985","https://openalex.org/W2156168499","https://openalex.org/W2165143324","https://openalex.org/W2165790342","https://openalex.org/W2398663808","https://openalex.org/W2607631107","https://openalex.org/W4236764037","https://openalex.org/W4254354208"],"related_works":["https://openalex.org/W598185802","https://openalex.org/W4280562100","https://openalex.org/W4226107239","https://openalex.org/W4200176076","https://openalex.org/W2954738200","https://openalex.org/W2392812199","https://openalex.org/W2361471170","https://openalex.org/W2355516524","https://openalex.org/W2025616642","https://openalex.org/W1954972543"],"abstract_inverted_index":{"Retrieval":[0],"of":[1,23,81,91,95,101,114],"software":[2],"components":[3],"from":[4],"a":[5,21,64,76],"library":[6,15],"relies":[7],"on":[8,46,52,70,108],"techniques":[9,24,32,42],"for":[10,25,37],"matching":[11,26,49,67,71],"user":[12],"requirements":[13],"against":[14],"component":[16],"interfaces.":[17],"Here":[18],"we":[19],"introduce":[20],"number":[22],"formally":[27],"specified,":[28],"state-based":[29],"modules.":[30],"These":[31],"will":[33],"form":[34],"the":[35,72,93,99,112],"basis":[36],"retrieval":[38],"tool":[39],"support.":[40],"The":[41],"described":[43],"are":[44],"built":[45],"existing":[47],"specification":[48],"methods,":[50],"based":[51,69,107],"individual":[53,73],"functions,":[54],"specified":[55],"using":[56],"pre-":[57],"and":[58,98,111],"post-conditions.":[59],"We":[60,78],"begin":[61],"by":[62],"defining":[63],"basic":[65],"module":[66,96],"technique,":[68,106],"units":[74],"within":[75],"module.":[77],"consider":[79],"variations":[80],"this":[82],"technique":[83],"that":[84],"take":[85],"into":[86],"account":[87],"two":[88],"important":[89],"features":[90],"modules:":[92],"visibility":[94],"entities;":[97],"use":[100,113],"state":[102],"invariants.":[103],"An":[104],"advanced":[105],"data":[109],"refinement":[110],"coupling":[115],"invariants,":[116],"is":[117],"also":[118],"described.":[119]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2125521212","counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2024-12-06T23:03:12.332980","created_date":"2016-06-24"}