. . . . . “David Stuart Robertson等人：使用精化格表示程序需求。（1993）”。 . . _：ID_2e8607587b3061fb412e872c5f26a83a。_：ID_2e8607587b3061fb412e872c5f26a83a ._：ID_2e8607587b3061fb412e872c5f26a83a ._：ID_2e8607587b3061fb412e872c5f26a83a“conf/ismis/RobertsonAHL93”。 _：ID_363326c1f04720蜜蜂6879edf0100a0c。_：ID_363326c1f04720beee6879edf0100a0c ._：ID_363326c1f04720beee6879edf0100a0c ._：ID_363326c1f04720beee6879edf0100a0c"10.1007/3-540-56804-2_23" . “使用优化格表示程序需求”。 . . . . . "4"^^. _：Sig_e113b2ba6142d3b7f3bc328e453919f6_1。_：Sig_e113b2ba6142d3b7f3bc328e453919f6_1 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_1“David Stuart Robertson 0001”。_：Sig_e113b2ba6142d3b7f3bc328e453919f6_1 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_1"1"^^._：Sig_e113b2ba6142d3b7f3bc328e453919f6_1 . _：Sig_e113b2ba6142d3b7f3bc328e453919f6_2。_：Sig_e113b2ba6142d3b7f3bc328e453919f6_2 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_2“Jaume Agust\u00ED-Culllell”。_：Sig_e113b2ba6142d3b7f3bc328e453919f6_2 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_2"2"^^._：Sig_e113b2ba6142d3b7f3bc328e453919f6_2 . _：Sig_e113b2ba6142d3b7f3bc328e453919f6_3。_：Sig_e113b2ba6142d3b7f3bc328e453919f6_3 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_3“简·赫斯基”。_：Sig_e113b2ba6142d3b7f3bc328e453919f6_3 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_3"3"^^._：Sig_e113b2ba6142d3b7f3bc328e453919f6_3 . _：Sig_e113b2ba6142d3b7f3bc328e453919f6_4。_：Sig_e113b2ba6142d3b7f3bc328e453919f6_4 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_4“乔迪·利维”。_：信号_e113b2ba6142d3b7f3bc328e453919f6 ._：Sig_e113b2ba6142d3b7f3bc328e453919f6_4"4"^^._：Sig_e113b2ba6142d3b7f3bc328e453919f6_4 . . . . "245-254" . “ISMIS”。 “ISMIS”。 "1993"^^. "1993"^^. . “dblp记录'conf/ismis/RobertsonAHL93'的RDF数据的起源信息”。 . . . “2022-09-13T21:45:39+0200”。