{"id":"https://openalex.org/W2035247067","doi":"https://doi.org/10.1109/newcas.2014.6934001","title":"A reference-based specification tool for creating reliable library development specifications","display_name":"A reference-based specification tool for creating reliable library development specifications","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2035247067","doi":"https://doi.org/10.1109/newcas.2014.6934001","mag":"2035247067"},"language":"en","primary_location":{"id":"doi:10.1109/newcas.2014.6934001","is_oa":false,"landing_page_url":"https://doi.org/10.1109/newcas.2014.6934001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","raw_type":"proceedings-article"},"type":"preprint","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/A5007641138","display_name":"Jung Kyu Chae","orcid":null},"institutions":[{"id":"https://openalex.org/I131827901","display_name":"STMicroelectronics (Switzerland)","ror":"https://ror.org/00wm3b005","country_code":"CH","type":"company","lineage":["https://openalex.org/I131827901"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jung Kyu Chae","raw_affiliation_strings":["1- CCDS (Central CAD & Design Solutions) STMicroelectronics, Crolles, FRANCE","CCDS (Central CAD & Design Solutions) STMicroelectronics 850, rue Jean Monnet, 38926 Crolles, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1- CCDS (Central CAD & Design Solutions) STMicroelectronics, Crolles, FRANCE","institution_ids":["https://openalex.org/I131827901"]},{"raw_affiliation_string":"CCDS (Central CAD & Design Solutions) STMicroelectronics 850, rue Jean Monnet, 38926 Crolles, France","institution_ids":["https://openalex.org/I131827901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088465569","display_name":"Paul Mougeat","orcid":null},"institutions":[{"id":"https://openalex.org/I131827901","display_name":"STMicroelectronics (Switzerland)","ror":"https://ror.org/00wm3b005","country_code":"CH","type":"company","lineage":["https://openalex.org/I131827901"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Paul Mougeat","raw_affiliation_strings":["1- CCDS (Central CAD & Design Solutions) STMicroelectronics, Crolles, FRANCE","CCDS (Central CAD & Design Solutions) STMicroelectronics 850, rue Jean Monnet, 38926 Crolles, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1- CCDS (Central CAD & Design Solutions) STMicroelectronics, Crolles, FRANCE","institution_ids":["https://openalex.org/I131827901"]},{"raw_affiliation_string":"CCDS (Central CAD & Design Solutions) STMicroelectronics 850, rue Jean Monnet, 38926 Crolles, France","institution_ids":["https://openalex.org/I131827901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020480116","display_name":"Jean-Arnaud Francois","orcid":null},"institutions":[{"id":"https://openalex.org/I131827901","display_name":"STMicroelectronics (Switzerland)","ror":"https://ror.org/00wm3b005","country_code":"CH","type":"company","lineage":["https://openalex.org/I131827901"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jean-Arnaud Francois","raw_affiliation_strings":["1- CCDS (Central CAD & Design Solutions) STMicroelectronics, Crolles, FRANCE","CCDS (Central CAD & Design Solutions) STMicroelectronics 850, rue Jean Monnet, 38926 Crolles, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1- CCDS (Central CAD & Design Solutions) STMicroelectronics, Crolles, FRANCE","institution_ids":["https://openalex.org/I131827901"]},{"raw_affiliation_string":"CCDS (Central CAD & Design Solutions) STMicroelectronics 850, rue Jean Monnet, 38926 Crolles, France","institution_ids":["https://openalex.org/I131827901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110226823","display_name":"Roselyne Chotin-Avot","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Roselyne Chotin-Avot","raw_affiliation_strings":["2-Sorbonne Universit\u00e9s, Paris, France","Sorbonne Universit\u00e9s, UPMC Univ. Paris 06, UMR 7606, LIP6, F-75005, Paris, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"2-Sorbonne Universit\u00e9s, Paris, France","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9s, UPMC Univ. Paris 06, UMR 7606, LIP6, F-75005, Paris, France#TAB#","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I204730241","https://openalex.org/I4210159731"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108405631","display_name":"Habib Mehrez","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Habib Mehrez","raw_affiliation_strings":["3-CNRS, Paris, FRANCE","Sorbonne Universit\u00e9s, UPMC Univ. Paris 06, UMR 7606, LIP6, F-75005, Paris, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"3-CNRS, Paris, FRANCE","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9s, UPMC Univ. Paris 06, UMR 7606, LIP6, F-75005, Paris, France#TAB#","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I204730241","https://openalex.org/I4210159731"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1017816,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":null,"first_page":"133","last_page":"136"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9980000257492065,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8147530555725098},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.6882485151290894},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5972716212272644},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.5560961365699768},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5546671748161316},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.517103910446167},{"id":"https://openalex.org/keywords/markup-language","display_name":"Markup language","score":0.4960423409938812},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.47467994689941406},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4633849561214447},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4502892792224884},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.433056116104126},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1889171302318573}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8147530555725098},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.6882485151290894},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5972716212272644},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.5560961365699768},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5546671748161316},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.517103910446167},{"id":"https://openalex.org/C45874996","wikidata":"https://www.wikidata.org/wiki/Q37045","display_name":"Markup language","level":3,"score":0.4960423409938812},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.47467994689941406},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4633849561214447},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4502892792224884},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.433056116104126},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1889171302318573},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/newcas.2014.6934001","is_oa":false,"landing_page_url":"https://doi.org/10.1109/newcas.2014.6934001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01217236v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01217236","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"12th International New Circuits and Systems Conference, NEWCAS 2014, Jun 2014, Trois-Rivieres, QC, Canada. pp.133-136, ⟨10.1109/NEWCAS.2014.6934001⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1651242740","https://openalex.org/W1984464298","https://openalex.org/W1994299079","https://openalex.org/W1996095133","https://openalex.org/W2054089431","https://openalex.org/W2061506423","https://openalex.org/W2113113331","https://openalex.org/W2126409379","https://openalex.org/W2145834872"],"related_works":["https://openalex.org/W2592399342","https://openalex.org/W794225219","https://openalex.org/W2898425611","https://openalex.org/W2350068048","https://openalex.org/W2047524021","https://openalex.org/W2921123388","https://openalex.org/W2347363247","https://openalex.org/W2034589735","https://openalex.org/W2071986313","https://openalex.org/W2558572842"],"abstract_inverted_index":{"Library":[0],"development":[1,132],"requires":[2],"a":[3,36,85,106],"wide":[4],"variety":[5],"of":[6,9,47,54,67],"information":[7,24,33,100],"independent":[8],"cells":[10],"such":[11,23,77],"as":[12,78],"Process-Voltage-Temperature":[13],"(PVT)":[14],"corners":[15],"and":[16,80,123,127],"CAD":[17],"tools'":[18],"information.":[19],"With":[20],"technology":[21],"scaling,":[22],"increases":[25],"continuously.":[26],"Dealing":[27],"with":[28],"the":[29,44,48,52,65,136],"specifications":[30,129],"containing":[31],"this":[32,83],"is":[34,59,94],"therefore":[35],"crucial":[37],"issue":[38],"for":[39,101,130],"library":[40,102,131],"providers":[41],"due":[42],"to":[43,73,96,110,121,135],"great":[45],"impact":[46],"specification":[49,68,75,86,108],"reliability":[50],"on":[51,89],"quality":[53],"library.":[55],"However,":[56],"its":[57],"definition":[58],"manually":[60],"carried":[61],"out":[62],"depending":[63],"upon":[64],"expertise":[66],"developers.":[69],"It":[70],"may":[71],"lead":[72],"some":[74],"problems":[76],"inconsistency":[79],"incompleteness.":[81],"In":[82],"paper,":[84],"language":[87],"based":[88],"eXtensible":[90],"Markup":[91],"Language":[92],"(XML)":[93],"used":[95],"encapsulate":[97],"all":[98],"cell-independent":[99],"development.":[103],"We":[104],"propose":[105],"reference-based":[107],"tool":[109],"achieve":[111],"reliable":[112],"specifications.":[113],"The":[114],"experimental":[115],"results":[116],"show":[117],"that":[118],"it":[119],"permits":[120],"efficiently":[122],"rapidly":[124],"create":[125],"complete":[126],"consistent":[128],"in":[133],"comparison":[134],"manual":[137],"method.":[138]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}