{"id":"https://openalex.org/W2010770640","doi":"https://doi.org/10.1145/1255456.1255457","title":"Introduction to special issue on demonstrable software systems and hardware platforms","display_name":"Introduction to special issue on demonstrable software systems and hardware platforms","publication_year":2007,"publication_date":"2007-08-17","ids":{"openalex":"https://openalex.org/W2010770640","doi":"https://doi.org/10.1145/1255456.1255457","mag":"2010770640"},"language":"en","primary_location":{"id":"doi:10.1145/1255456.1255457","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1255456.1255457","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","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/A5052950521","display_name":"Sung Kyu Lim","orcid":"https://orcid.org/0000-0002-2267-5282"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sung Kyu Lim","raw_affiliation_strings":["Atlanta, Georgia"],"affiliations":[{"raw_affiliation_string":"Atlanta, Georgia","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044650311","display_name":"Massoud Pedram","orcid":"https://orcid.org/0000-0002-2677-7307"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Massoud Pedram","raw_affiliation_strings":["Los Angeles, California"],"affiliations":[{"raw_affiliation_string":"Los Angeles, California","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5052950521"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4693,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74142888,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"12","issue":"3","first_page":"1","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9779999852180481,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9779999852180481,"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/T10260","display_name":"Software Engineering Research","score":0.9197999835014343,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9157000184059143,"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/computer-science","display_name":"Computer science","score":0.8404403924942017},{"id":"https://openalex.org/keywords/atlanta","display_name":"Atlanta","score":0.8041672706604004},{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.7818245887756348},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6013306379318237},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39396345615386963},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3672744929790497},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.34977781772613525},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32488518953323364},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.0683402419090271}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8404403924942017},{"id":"https://openalex.org/C2778037673","wikidata":"https://www.wikidata.org/wiki/Q4034536","display_name":"Atlanta","level":3,"score":0.8041672706604004},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7818245887756348},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6013306379318237},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39396345615386963},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3672744929790497},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.34977781772613525},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32488518953323364},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0683402419090271},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C158739034","wikidata":"https://www.wikidata.org/wiki/Q1907114","display_name":"Metropolitan area","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1255456.1255457","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1255456.1255457","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2520048907","https://openalex.org/W2523761444","https://openalex.org/W2509970833","https://openalex.org/W2509293974","https://openalex.org/W3121811124","https://openalex.org/W3015899480","https://openalex.org/W3211477269","https://openalex.org/W3136356774","https://openalex.org/W2521660301","https://openalex.org/W2335944382"],"abstract_inverted_index":{"introduction":[0],"Introduction":[1],"to":[2,104,108,110],"special":[3],"issue":[4],"on":[5,37,94],"demonstrable":[6],"software":[7],"systems":[8],"and":[9,71],"hardware":[10],"platforms":[11],"Authors:":[12],"Sung":[13],"Kyu":[14],"Lim":[15],"Atlanta,":[16,18],"Georgia":[17],"GeorgiaView":[19],"Profile":[20,30],",":[21],"Massoud":[22],"Pedram":[23],"Los":[24,27],"Angeles,":[25,28],"California":[26],"CaliforniaView":[29],"Authors":[31],"Info":[32],"&":[33],"Claims":[34],"ACM":[35],"Transactions":[36],"Design":[38],"Automation":[39],"of":[40],"Electronic":[41],"SystemsVolume":[42],"12Issue":[43],"3August":[44],"2007":[45],"Article":[46],"No.:":[47],"20pp":[48],"1\u20133https://doi.org/10.1145/1255456.1255457Published:22":[49],"May":[50],"2008Publication":[51],"History":[52],"1citation283DownloadsMetricsTotal":[53],"Citations1Total":[54],"Downloads283Last":[55],"12":[56],"Months1Last":[57],"6":[58],"weeks1":[59],"Get":[60],"Citation":[61,63,100],"AlertsNew":[62,99],"Alert":[64],"added!This":[65],"alert":[66,91],"has":[67,86],"been":[68,87],"successfully":[69],"added":[70],"will":[72,76],"be":[73,77],"sent":[74],"to:You":[75],"notified":[78],"whenever":[79],"a":[80,112],"record":[81],"that":[82],"you":[83],"have":[84],"chosen":[85],"cited.To":[88],"manage":[89],"your":[90,105],"preferences,":[92],"click":[93],"the":[95],"button":[96],"below.Manage":[97],"my":[98],"Alert!Please":[101],"log":[102],"in":[103],"account":[106],"Save":[107],"BinderSave":[109],"BinderCreate":[111],"New":[113],"BinderNameCancelCreateExport":[114],"CitationPublisher":[115],"SiteGet":[116],"Access":[117]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}