{“id”：“https://openalex.org/W1987585353“，”doi“：”https://doi.org/10.1007/s10009-006-0007-9“，”title“：”增量设计过程中的CTL属性转换“，”display_name“：”增量设计过程中的CTL属性转换“，”publication_year“：2006，”publication_date“：”2006-06-28“，”ids“：｛”openalex“：”https://openalex.org/W1987585353“，”doi“：”https://doi.org/10.1007/s10009-006-0007-9“，”mag“：”1987585353“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0007-9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”技术转让软件工具国际期刊“，”issn_l“：”1433-2779“，”isn“：[”1433-277“，”1433-2787“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：”https://hal.science/hal-02545676/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5009181880“，”display_name“：”C\u00e9cile Braunstein“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I39804081“，”display_name“：”索邦大学\u00e9“，”ror“：”https://ror.org/02en5vm52“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I39804081“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”C\u00e9cile Braunstein“，”raw _ afiliation_strings“：[“University \u00e 9 Pierre et Marie Curie，LIP6 Laboratory，Paris，France”]，“afliations”：[{“raw_affiliation_string”：“University\u00e_9 Pierre-Marie Curies，LIP5 Laboratories，Paris”，“institution_ids”：[”https://openalex.org/I39804081“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023453269“，”display_name“：”Emmanuelle Encrenaz“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I39804081“，”display_name“：”索邦大学\u00e9“，”ror“：”https://ror.org/02en5vm52“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I39804081“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Emmanuelle Encrenaz“，”raw _ afiliation_strings“：[“University \u00e9 Pierre et Marie Curie，LIP6 Laboratory，Paris，France”]，”affiliations“：[{”raw_affiliation_string“：”University \ u00e9Pierre et-Marie Curie，LIP6 Laburatory，France“，institution_ids”：[“https://openalex.org/I39804081“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}，”apc payed“：{”value 2990，“出处”：“doaj”}，“fwci”：0.719，“has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：9，”citation_normalized_ppercentage“：｛“value”：0.714533，”is_in_top_1percent“：false，”is_in_top_1_percent“：false｝，”cited_by_percentle_year“：｛“min”：81，”max“：82｝，”biblio“：｛”volume“：”9“，”issue“：”1“，”first_page“：”77“，”last_page“：”88“｝，”is_retracted“：false，“is_paratext”：false，“主主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11450“，”“display_name”：“软件开发中的模型驱动工程”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11159“，”“display_name”：“制造中的制造和装配设计”，“score”：0.9973，“subfield”：{“id”：“https://openalex.org/subfields/2209“，”display_name“：”工业和制造工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/ctl网站*“，”display_name“：”CTL*“，”score“：0.6937356}，{”id“：”https://openalex.org/keywords/formal-methods网站“，”display_name“：”形式方法“，”score“：0.525249}，{”id“：”https://openalex.org/keywords/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.515776}，{”id“：”https://openalex.org/keywords/reconfigurable-computing网站“，”display_name“：”可重构计算“，”score“：0.505143}，{”id“：”https://openalex.org/keywords/platform-based设计“，”display_name“：”基于平台的设计“，”score“：0.500704}]，”concepts“：[{”id“：”https://openalex.org/C147969180，“wikidata”：https://www.wikidata.org/wiki/Q5014579“，”display_name“：”CTL*“，”level“：4，”score“：0.6937356}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”display_name“：”属性（哲学）“，”级别“：2，”分数“：0.6240557｝，｛”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.56290495}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.49588212}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3444525}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.33646137}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.101076424}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C147483822，“wikidata”：https://www.wikidata.org/wiki/Q103537“，”display_name“：”Antigen“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C167672396，“wikidata”：https://www.wikidata.org/wiki/Q417800“，”display_name“：”CD8“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C20301093，“wikidata”：https://www.wikidata.org/wiki/Q101929“，”display_name“：”Immunology“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：10，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0007-9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”技术转让软件工具国际期刊“，”issn_l“：”1433-2779“，”isn“：[”1433-277“，”1433-2787“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.science/hal-02545676，“pdf_url”：https://hal.science/hal-02545676/document“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-01496206“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01195866“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01195866“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01496206“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.science/hal-02545676/file/lip6-2005-003.pdf，“pdf_url”：https://hal.science/hal-02545676/file/lip6-2005-003.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-overtes.fr/hal-02545676，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02545676/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.519.161，“pdf_url”：http://www-ftp.lip6.fr/lip6/reports/2005/lip6-2005-003.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-02545676/file/lip6-2005-003.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02545676/file/lip6-2005-003.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-02545676，“pdf_url”：https://hal.science/hal-02545676/document“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”display_name“：”可持续城市和社区“，”score“：0.64，”id“：”https://metadata.un.org/sdg/11“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：23，”referrenced_works“：【”https://openalex.org/W1488659932","https://openalex.org/W1503170978","https://openalex.org/W1506171745","https://openalex.org/W1541085282","https://openalex.org/W1581604070","https://openalex.org/W1596365597","https://openalex.org/W1604627363","https://openalex.org/W162226859","https://openalex.org/W1822320350","https://openalex.org/W1987073197","https://openalex.org/W2009965218","https://openalex.org/W2061438988","https://openalex.org/W2068847249","https://openalex.org/W2115309705","https://openalex.org/W2120926795","https://openalex.org/W2148106163","https://openalex.org/W2155470936","https://openalex.org/W2340735175","https://openalex.org/W2344671925","https://openalex.org/W2480845601","https://openalex.org/W2913459036","https://openalex.org/W3143282417","https://openalex.org/W4300021588“]，”related_works“：[”https://openalex.org/W4391375266","https://openalex.org/W3092676535","https://openalex.org/W2324120656","https://openalex.org/W2102262438","https://openalex.org/W2032919665","https://openalex.org/W2027917976","https://openalex.org/W1985728487","https://openalex.org/W1864390991","https://openalex.org/W1605884721","https://openalex.org/W1549922507“]，”abstract_inverted_index“：{”This“：[0115139]，”paper“：[1]，”formalizes“：[2]，”an“：[3]，”incremental“：[4]，”approach“：[5140]，”to“：[6,26,32,55,90156167]，”design“：[7,69,98108146]，”flow-control“：[08]，”oriented“：[9]，”hardware“：[10]，”devices“：[11]，”描述“：[12]，”by“：[13]，”Moore“：[14]，“机器”：[15]，“The”：[16,38,61]，“method”：[17]，“是“：[18,53,94104]，”基于“：[19]，”关于“：[20,96106]，”连续“：[21]，”添加“：[22]，”属于“：[23,50,58,66,76133147]，”新“：[24,39137]，”行为“：[25,40]，”a“：[27,34,74,97125136]，”简单“：[28]，”设备“：[29]，“in”：[30124144165173]，”顺序“：[31166]，”构建“：[33]，”更多“：[35]，“复杂”：[36]，“一。“：[37]，”added“：[41]，”must“：[42]，”not“：[43]，”override“：44]，”the“：[45,59,641071181145152]，”previous“：[46]，”ones。“：[47]，”A“：[48]，”集合“：[49，75]，”CTL“：[51，83120]，”公式“：[52，615172]，”分配“：[54]，”每个“：[56]，”步骤“：[57，91100111]，”设计。“：[60]，“链接”：[62]，“介于”：[63]，“两个”：[67]，“连续”：[68]，“步骤”：[70]，“是”：[71]，“形式化”：[72]，“作为”：[73]，“公式转换”：[77]，“F，”：[78]，“声明”：[79]，“that：”：[80]，“for”：[81135]，“all”：[82]，“formula”：[84]，“F”：[85,93]，“with”：+86]，“原子”：[87]，“命题”：[88]，“相关”：[89]，“i，”：[92101]，“满足”：[95105]，“at”：[99110]，“iff“：[102]，“F（F）”：[103]，“扩展”：[109]，“i”：[112]，“+”：[113]，“1.”：[114]，“结果”：[116]，“延伸”：[117]，“经典”：[119]，“属性”：[121]，“保存”：[122]，“成果”：[123]，“特殊”：[126174]，“上下文”。“：[127]，”此外，“：[128]，”it“：[129]，”simplifies“：[130]，”writing“：[132]，”properties“：[134]，”device。“：[138]，”has“：[141]，”been“：[142]，”applied“：[143164]，”bus“：[148]，”protocol“：%149]，”converters“：%150]，”and“：[151171]，”transformations“：151]，”were“：[154]，”usible“：[155]，”performer“：[157]，”non-regression“：[158]，”analysis“。“：[159]，”It“：[160]，”could“：[161]，”also“：[162]，”be“：[163]，”simplify“：[168]，”both“：[169]，”system“：%170]，”cases。“：[175]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1987585353“，”counts_by_year“：[{“年份”：2016，”cited_by_count“：1}，{“年度”：2015，”cited_by_counts“：1{“年”：2014，”citecd_by-count“:1}、{“年号”：2013，”citesd_by/count“:1}，”{“年代”：2012，“citecd_by_count”：1}]，”updated_date“：”2024-09-24T06:27:44.404978“，”created_date:“2016-06-24”}