{“id”：“https://openalex.org/W2149137672“，”doi“：”https://doi.org/10.109/hase.2000.895466“，”title“：”定量需求规范的结构化语言“，”display_name“：”量化需求规范的结构语言“，“publication_year”：2002，“publiation_date”：“2002-11-11”，“ids”：{“openalex”：“https://openalex.org/W2149137672“，”doi“：”https://doi.org/10.109/hase.2000.895466“，”mag“：”2149137672“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/hase.2000.895466“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5069503084“，”display_name“：”Mario Dal Cin“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I181369854“，”display_name“：”Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg“，”ror“：”https://ror.org/00f7hpc57“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I181369854“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”M.Dal Cin“，”raw _ afiliation_strings“：[“德国厄伦根大学”]，”affiliations“：[{”raw _affiliation_strong“：”德国厄伦根纽姆堡大学“，”institution_ids“：[https://openalex.org/I181369854“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5069503084“]，”对应的机构ID“：[”https://openalex.org/I181369854“]，”apc_list“：null，”apc _ paid“：null，”fwci“：0.649，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：6，”citecd_by_percentile_year“：{”min“：78，”max“：79}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}、“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9992，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/dependability-engineering网站“，”display_name“：”可靠性工程“，”score“：0.483874}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8370826}，{”id“：”https://openalex.org/C45357846，“wikidata”：https://www.wikidata.org/wiki/Q2001982“，”display_name“：”Notation“，”level“：2，”score“：0.70851064}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.65049195｝，｛”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.64336365}，{”id“：”https://openalex.org/C60048249，“wikidata”：https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.56212205}，{”id“：”https://openalex.org/C2780522230，“wikidata”：https://www.wikidata.org/wiki/Q1140419“，”display_name“：”歧义“，”level“：2，”score“：0.56163657｝，｛”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.299514}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.22979271}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.1266444}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/hase.2000.895466“，”pdf_url“：null，”source“：null，”license“：null，”liccense_id“：nuld，”version“：nully，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”score“：0.49，”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：11，”referrenced_works“：【”https://openalex.org/W124810260","https://openalex.org/W1541198680","https://openalex.org/W1840624809","https://openalex.org/W1887751578","https://openalex.org/W1913290952","https://openalex.org/W1984936841","https://openalex.org/W2001919784","https://openalex.org/W2047434481","https://openalex.org/W2095861482","https://openalex.org/W2168246878","https://openalex.org/W656642513“]，”related_works“：[”https://openalex.org/W4353089801","https://openalex.org/W4246056463","https://openalex.org/W4242275050","https://openalex.org/W2923538289","https://openalex.org/W2470643824","https://openalex.org/W2353819554","https://openalex.org/W2353179089","https://openalex.org/W2353125546","https://openalex.org/W2349635380","https://openalex.org/W1540770276“]，”ngrams_url“：”https://api.openalex.org/works/W214913672/ngrams“，”“abstract_inverted_index”：{“需求”：[0]，“for”：[1]，“可靠”：[2]，“系统”：[3]，“需要”：[4]，“to”：[5,14,24,49]，“be”：[6,50,57,68]，“可理解”：[7]，“and”：[8]，“at”：[9]，“the”：[10]，“same”：[11]，“time，”：[12]，“have”：[13,48]，“满足”：[15]，“一致性”：[16]，“和”：[17,41]，“非歧义”：[18]，“属性。”：[19]，“我们”：[20,34]，“提供”：[21]，“a“：[22,39,53]，”表示“：[23]，”指定“：[25]，”非功能“：[26]，”要求“：[27]，”in“：[28]，”术语“：[29]，”of“：[30]，”结构化“：[31]，”英语“：[32]，”句子。“：[33]，”define“：[35]，”their“：[36]，”syntax“：[37]，”by“：[38,59]，”clear“：[40]，”consistent“：[42]，”notation。“：[43]，”For“：[44]，”verification“：[45]，”these“：[46]，”senges“：[47]，”transformed“：[51]，”into“：[52]，”notation“：[54]，”that“：[55]，”can“：[56,67]，”interlated“：[58]，”analysis“：[60]，”tools“。“：[61]，“It”：[62]，“is”：[63]，“shown”：[64]，“how”：[65]，“this”：[66]，“reached”：[69]，“via”：[70]，“severse”：[71]，“translation”：[72]，“steps”。“：[73]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2149137672“，”counts_by_year“：[{”年份“：2018，”cited_by_count“：1}]，”updated_date“：”2024-06-22T01:10:42.288849“，”created_dates“：”2016-06-24“}