{"id":222,"date":"2010-04-30T15:05:37","date_gmt":"2010-04-30T06:05:37","guid":{"rendered":"http:\/\/133.23.142.1\/cms\/?p=222"},"modified":"2014-08-23T11:14:04","modified_gmt":"2014-08-23T02:14:04","slug":"%e8%ab%96%e6%96%87%e3%83%aa%e3%82%b9%e3%83%881999%e5%b9%b4","status":"publish","type":"post","link":"https:\/\/www.hci.media.yamanashi.ac.jp\/?p=222","title":{"rendered":"\u8ad6\u6587\u30ea\u30b9\u30c8(1999\u5e74)"},"content":{"rendered":"
<\/a>1999\u5e74<\/div>\n
\n
    \n
  • Kentaro Go and Norio Shiratori:
    \n“A Decomposition of a Formal Specification:A Revised Constraint-oriented Method,”
    \nIEEE Transactions on Software Engineering, Vol.25, No.2, pp.258-273, 1999.<\/li>\n
  • \u8521\u654f\u83ef, \u4eca\u5bae\u6df3\u7f8e:
    \n“\u5236\u7d04\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u30b0\u30eb\uff70\u30d7\u30d9\uff70\u30b9\u306eUndo\u6a5f\u69cb\u3068\u5c65\u6b74\u30c4\uff70\u30eb,”
    \n\u30bd\u30d5\u30c8\u30a6\u30a8\u30a2\u5de5\u5b66\u7814\u7a76\u4f1a 123-2, \u60c5\u5831\u51e6\u7406\u5b66\u4f1a, 1999.5.14, pp.9-16.<\/li>\n
  • \u53e4\u5c4b\u5229\u5149, \u5742\u672c\u5fe0\u660e, \u4eca\u5bae\u6df3\u7f8e:
    \n“\u4eee\u60f3\u7a7a\u9593\u4e0a\u306e\u30ab\uff70\u30bd\u30eb\u3078\u306e\u4ed8\u5e2f\u8868\u73fe\u306b\u3088\u308b\u30e6\uff70\u30b6\u30e2\u30c7\u30eb,”
    \n\u30d2\u30e5\uff70\u30de\u30f3\u30a4\u30f3\u30bf\u30d5\u30a7\uff70\u30b9\u7814\u7a76\u4f1a84\uff701 &\u60c5\u5831\u30e1\u30c7\u30a3\u30a2\u7814\u7a76\u4f1a35\uff701, \u60c5\u5831\u51e6\u7406\u5b66\u4f1a, 1999.8.20, pp.1-6.<\/li>\n
  • \u5742\u672c\u5fe0\u660e, \u671b\u6708\u5b5d\u54f2, \u4eca\u5bae\u6df3\u7f8e:
    \n“\u77ac\u76ee\u306e\u8996\u77e5\u899a\u7279\u6027\u306e\u5206\u6790,”
    \n\u30d2\u30e5\uff70\u30de\u30f3\u30a4\u30f3\u30bf\u30d5\u30a7\uff70\u30b9\u7814\u7a76\u4f1a84\uff703 &\u60c5\u5831\u30e1\u30c7\u30a3\u30a2\u7814\u7a76\u4f1a35\uff703, \u60c5\u5831\u51e6\u7406\u5b66\u4f1a, 1999.8.20, pp.13-18.<\/li>\n
  • \u6c34\u91ce\u8cb4\u5f18, \u5c0f\u4fe3\u660c\u6a39, \u4eca\u5bae\u6df3\u7f8e:
    \n“\u4eee\u60f3\u7a7a\u9593\u4e0a\u306e\u4f5c\u696d\u30bf\u30b9\u30af\u306b\u304a\u3051\u308b\u4e21\u624b\u5165\u529b\u306e\u64cd\u4f5c\u5206\u6790,”
    \n\u30d2\u30e5\uff70\u30de\u30f3\u30a4\u30f3\u30bf\u30d5\u30a7\uff70\u30b9\u7814\u7a76\u4f1a84\uff7014 &\u60c5\u5831\u30e1\u30c7\u30a3\u30a2\u7814\u7a76\u4f1a35\uff7014, \u60c5\u5831\u51e6\u7406\u5b66\u4f1a, 1999.8.20, pp.79-83.<\/li>\n
  • \u4eca\u5bae\u6df3\u7f8e, \u4f0a\u85e4 \u6d0b:
    \n“\u9ad8\u901f\u60c5\u5831\u30cd\u30c3\u30c8\u30ef\uff70\u30af\u4e0a\u3067\u306e\u30b3\u30e9\u30dc\u30ec\uff70\u30b7\u30e7\u30f3\u306e\u305f\u3081\u306e\u30de\u30eb\u30c1\u30e2\uff70\u30c0\u30eb\u30a4\u30f3\u30bf\u30e9\u30af \u30b7\u30e7\u30f3\u3068\u9060\u9694\u8a55\u4fa1\u4eee\u60f3\u74b0\u5883,”
    \n\u5c71\u68a8\u5927\u5b66\u5de5\u5b66\u90e8\u7814\u7a76\u5831\u544a(\u62db\u5f85\u8ad6\u6587), \u7b2c50\u5dfb, 1999\u5e7412\u6708, pp.23-40.<\/li>\n
  • \u6771\u7530\u79c0\u61b2, \u8305\u6681\u967d, \u4eca\u5bae\u6df3\u7f8e:
    \n“3\u6b21\u5143\u9762\u4e0a\u306b\u304a\u3051\u308b\u30b9\u30c8\u30ea\uff70\u30e0\u30e9\u30a4\u30f3\u306e\u9ad8\u901f\u5747\u7b49\u914d\u7f6e,”
    \nVisual Computing \u30b0\u30e9\u30d5\u30a3\u30c3\u30af\u30b9\u3068CAD\u5408\u540c\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0’99\u4e88\u7a3f\u96c6, pp.37-41, 1999\u5e746\u6708.<\/li>\n
  • \u559c\u4e45\u5ddd\u8aa0, \u8305\u6681\u967d, \u4eca\u5bae\u6df3\u7f8e:
    \n“LIC\u6cd5\u306b\u3088\u308b\u7d75\u753b\u7684\u982d\u9aea\u8868\u73fe\u3068\u7c21\u6613\u30d8\u30a2\u30b9\u30bf\u30a4\u30eb\u30c7\u30b6\u30a4\u30f3\u30c4\uff70\u30eb,”
    \n\u60c5\u5831\u51e6\u7406\u5b66\u4f1a \u30b0\u30e9\u30d5\u30a3\u30c3\u30af\u30b9\u3068CAD\u7814\u7a76\u4f1a\u7b2c\uff11\uff13\u56de\u590f\u306e\u96c6\u4e2d\u7814\u7a76\u96c6\u4f1a, pp73-78, 1999.<\/li>\n
  • \u67f4\u8aa0, \u8305\u6681\u967d, \u4eca\u5bae\u6df3\u7f8e:
    \n“\u4e09\u89d2\u5f62\u518d\u5206\u5272\u306b\u3088\u308b\uff13\u6b21\u5143\u30e2\u30c7\u30eb\u3078\u306e\u60c5\u5831\u57cb\u3081\u3053\u307f,”
    \n\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u7b2c\uff15\uff19\u56de\u5168\u56fd\u5927\u4f1a, \u72792-147\uff70154, 1999\u5e749\u6708.<\/li>\n
  • \u559c\u4e45\u5ddd\u8aa0, \u8305\u6681\u967d, \u4eca\u5bae\u6df3\u7f8e:
    \n“LIC\u6cd5\u3092\u5229\u7528\u3057\u305f\u982d\u9aea\u306e\u30bd\u30ea\u30c3\u30c9\u30c6\u30af\u30b9\u30c1\u30e3\u30ea\u30f3\u30b0,”
    \n\u300eNICOGRAPH\/MULTIMEDIA\u8ad6\u6587\u30b3\u30f3\u30c6\u30b9\u30c8\u300f\u306e\u8ad6\u6587\u96c6\u306b\u63b2\u8f09, 1999.<\/li>\n
  • \u5c0f\u6fa4\u8ce2\u53f8, \u5742\u672c\u5fe0\u660e, \u68ee\u6fa4\u6b63\u4e4b, \u90f7\u5065\u592a\u90ce, \u4e2d\u8c9d\u9806\u4e00, \u96e8\u5bae\u5c06\u5f66, \u5c0f\u4fe3\u660c\u6a39, \u4eca
    \n\u5bae\u6df3\u7f8e, \u9577\u6ca2\u4f38\u4e5f, “\u5c71\u68a8\u5927\u5b66\u5de5\u5b66\u90e8\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fb\u30e1\u30c7\u30a3\u30a2\u5de5\u5b66\u79d1\u306b\u304a\u3051\u308b\u611f
    \n\u6027\u6559\u80b2\u3078\u306e\u53d6\u308a\u7d44\u307f,” \u65e5\u672c\u611f\u6027\u5de5\u5b66\u4f1a\u611f\u6027\u5546\u54c1\u7814\u7a76\u90e8\u4f1a \u7b2c2\u56de\u7814\u7a76\u4f1a\u8cc7\u6599, pp.
    \n1-6 (1999).<\/li>\n
  • \u5c0f\u6fa4\u8ce2\u53f8, \u5742\u672c\u5fe0\u660e, \u68ee\u6fa4\u6b63\u4e4b, \u90f7\u5065\u592a\u90ce, \u4e2d\u8c9d\u9806\u4e00, \u96e8\u5bae\u5c06\u5f66, \u5c0f\u4fe3\u660c\u6a39, \u4eca
    \n\u5bae\u6df3\u7f8e, \u9577\u6ca2\u4f38\u4e5f, “\u5c71\u68a8\u5927\u5b66\u5de5\u5b66\u90e8\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fb\u30e1\u30c7\u30a3\u30a2\u5de5\u5b66\u79d1\u306b\u304a\u3051\u308b\u611f
    \n\u6027\u5de5\u5b66\u6559\u80b2,” \u7b2c1\u56de\u65e5\u672c\u611f\u6027\u5de5\u5b66\u4f1a\u5927\u4f1a\u4e88\u7a3f\u96c6, p. 127 (1999)<\/li>\n<\/ul>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

    1999\u5e74 Kentaro Go and Norio Shiratori: “A Decomposition of a Formal Specification:A Revised Constraint-or […]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[18],"tags":[],"class_list":["post-222","post","type-post","status-publish","format-standard","hentry","category-18"],"_links":{"self":[{"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=\/wp\/v2\/posts\/222","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=222"}],"version-history":[{"count":8,"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=\/wp\/v2\/posts\/222\/revisions"}],"predecessor-version":[{"id":829,"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=\/wp\/v2\/posts\/222\/revisions\/829"}],"wp:attachment":[{"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=222"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=222"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.hci.media.yamanashi.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=222"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}