[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/4933#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/4933","headline":"\u5951\u7d04\u306b\u3088\u308b\u30c7\u30b6\u30a4\u30f3 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","name":"\u5951\u7d04\u306b\u3088\u308b\u30c7\u30b6\u30a4\u30f3 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","description":"before-content-x4 \u5951\u7d04 \u3053\u306e\u8a18\u4e8b\u3092\u8ee2\u9001\u3057\u3066\u3044\u307e\u3059\u3002\u6cd5\u5f8b\u4e8b\u52d9\u6240\u306e\u5951\u7d04\uff08\u82f1\u8a9e\u5951\u7d04\uff09\u306b\u3064\u3044\u3066\u306f\u3001\u5951\u7d04\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002 \u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08 \uff08\u77ed\u3044 DBC \u3001\u82f1\u8a9e \u5951\u7d04\u306b\u5f93\u3063\u3066\u30c9\u30e9\u30d5\u30c8 \uff09 \u307e\u305f \u5951\u7d04\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 \uff08\u300c\u5951\u7d04\u30d9\u30fc\u30b9\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u300d\uff09\u306f\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u958b\u767a\u306e\u5206\u91ce\u304b\u3089\u306e\u6982\u5ff5\u3067\u3059\u3002\u76ee\u7684\u306f\u3001\u9759\u7684\u5b9a\u7fa9\u3092\u8d85\u3048\u308b\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3092\u4f7f\u7528\u3059\u308b\u305f\u3081\u306e\u6b63\u5f0f\u306a\u5951\u7d04\u306e\u5b9a\u7fa9\u3092\u901a\u3058\u3066\u3001\u500b\u3005\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30b9\u30e0\u30fc\u30ba\u306a\u76f8\u4e92\u4f5c\u7528\u3067\u3059\u3002\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9eEiffel\u306e\u958b\u767a\u306b\u3088\u308a\u3001Bertrand Meyer\u306b\u3088\u3063\u3066\u958b\u767a\u304a\u3088\u3073\u5c0e\u5165\u3055\u308c\u307e\u3057\u305f\u3002 after-content-x4 \u30d7\u30ed\u30b0\u30e9\u30e0\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30b9\u30e0\u30fc\u30ba\u306a\u76f8\u4e92\u4f5c\u7528\u306f\u3001\u30e1\u30bd\u30c3\u30c9\u3092\u4f7f\u7528\u3059\u308b\u5834\u5408\u3001\u89b3\u5bdf\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u300c\u5951\u7d04\u300d\u306b\u3088\u3063\u3066\u9054\u6210\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059 \u524d\u63d0\u6761\u4ef6\uff08\u82f1\u8a9e \u524d\u63d0\u6761\u4ef6 \uff09\u3001\u3059\u306a\u308f\u3061\u3001\u767a\u4fe1\u8005\u304c\u6e80\u305f\u3055\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3068\u3044\u3046\u4fdd\u8a3c Post -Conditions\uff08\u82f1\u8a9e","datePublished":"2023-04-24","dateModified":"2023-04-24","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ea\/Disambig-dark.svg\/25px-Disambig-dark.svg.png","url":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ea\/Disambig-dark.svg\/25px-Disambig-dark.svg.png","height":"19","width":"25"},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/4933","wordCount":579,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4 \u5951\u7d04 \u3053\u306e\u8a18\u4e8b\u3092\u8ee2\u9001\u3057\u3066\u3044\u307e\u3059\u3002\u6cd5\u5f8b\u4e8b\u52d9\u6240\u306e\u5951\u7d04\uff08\u82f1\u8a9e\u5951\u7d04\uff09\u306b\u3064\u3044\u3066\u306f\u3001\u5951\u7d04\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002 \u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08 \uff08\u77ed\u3044 DBC \u3001\u82f1\u8a9e \u5951\u7d04\u306b\u5f93\u3063\u3066\u30c9\u30e9\u30d5\u30c8 \uff09 \u307e\u305f \u5951\u7d04\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 \uff08\u300c\u5951\u7d04\u30d9\u30fc\u30b9\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u300d\uff09\u306f\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u958b\u767a\u306e\u5206\u91ce\u304b\u3089\u306e\u6982\u5ff5\u3067\u3059\u3002\u76ee\u7684\u306f\u3001\u9759\u7684\u5b9a\u7fa9\u3092\u8d85\u3048\u308b\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3092\u4f7f\u7528\u3059\u308b\u305f\u3081\u306e\u6b63\u5f0f\u306a\u5951\u7d04\u306e\u5b9a\u7fa9\u3092\u901a\u3058\u3066\u3001\u500b\u3005\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30b9\u30e0\u30fc\u30ba\u306a\u76f8\u4e92\u4f5c\u7528\u3067\u3059\u3002\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9eEiffel\u306e\u958b\u767a\u306b\u3088\u308a\u3001Bertrand Meyer\u306b\u3088\u3063\u3066\u958b\u767a\u304a\u3088\u3073\u5c0e\u5165\u3055\u308c\u307e\u3057\u305f\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30d7\u30ed\u30b0\u30e9\u30e0\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30b9\u30e0\u30fc\u30ba\u306a\u76f8\u4e92\u4f5c\u7528\u306f\u3001\u30e1\u30bd\u30c3\u30c9\u3092\u4f7f\u7528\u3059\u308b\u5834\u5408\u3001\u89b3\u5bdf\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u300c\u5951\u7d04\u300d\u306b\u3088\u3063\u3066\u9054\u6210\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059 \u524d\u63d0\u6761\u4ef6\uff08\u82f1\u8a9e \u524d\u63d0\u6761\u4ef6 \uff09\u3001\u3059\u306a\u308f\u3061\u3001\u767a\u4fe1\u8005\u304c\u6e80\u305f\u3055\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3068\u3044\u3046\u4fdd\u8a3c Post -Conditions\uff08\u82f1\u8a9e \u30dd\u30b9\u30c8\u30b3\u30f3\u30c7\u30a3\u30b7\u30e7\u30f3 \uff09\u3001\u3059\u306a\u308f\u3061\u3001\u547c\u3073\u51fa\u3055\u308c\u305f\u3082\u306e\u3068 Invariant\uff08\u82f1\u8a9e \u30af\u30e9\u30b9\u306e\u4e0d\u5909 \uff09\u3001\u30af\u30e9\u30b9\u306e\u3059\u3079\u3066\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u306b\u308f\u305f\u3063\u3066\u3002 \u5951\u7d04\u306f\u3001\u5229\u7528\u53ef\u80fd\u306a\u7dcf\u60c5\u5831\u3001\u3064\u307e\u308a\u3001\u5909\u52d5\u304a\u3088\u3073\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u306e\u30b3\u30f3\u30c6\u30f3\u30c4\u3001\u304a\u3088\u3073\u5f71\u97ff\u3092\u53d7\u3051\u308b\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u307e\u305f\u306f\u305d\u306e\u4ed6\u306e\u30a2\u30af\u30bb\u30b9\u53ef\u80fd\u306a\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3092\u6307\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u547c\u3073\u51fa\u3057\u304c\u524d\u51e6\u7406\u3068\u4e0d\u5909\u306b\u6e96\u62e0\u3057\u3066\u3044\u308b\u5834\u5408\u3001\u9593\u9055\u3044\u306f\u767a\u751f\u3067\u304d\u305a\u3001\u3053\u306e\u65b9\u6cd5\u306f\u4e88\u671f\u3057\u306a\u3044\u7d50\u679c\u3092\u63d0\u4f9b\u3057\u306a\u3044\u3088\u3046\u306b\u4fdd\u8a3c\u3055\u308c\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u5165\u529b\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u3068\u51fa\u529b\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u3092\u5165\u529b\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u578b\u8a00\u8a9e\u3067\u306f\u65e2\u306b\u7e2e\u5c0f\u3055\u308c\u305f\u5f62\u5f0f\u304c\u9054\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u30bf\u30a4\u30d7\u306f\u3001\u4e8b\u524d\u304a\u3088\u3073\u30dd\u30b9\u30c8\u30b3\u30f3\u30c7\u30a3\u30b7\u30e7\u30f3\u3068\u3057\u3066\u89e3\u91c8\u3067\u304d\u308b\u5024\u3092\u6c7a\u5b9a\u3057\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u30bf\u30a4\u30d7\u30b7\u30b9\u30c6\u30e0\u3067\u306f\u3001\u5165\u529b\u5024\u3068\u51fa\u529b\u5024\u306e\u9593\u306e\u3044\u304f\u3064\u304b\u306e\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u307e\u305f\u306f\u95a2\u4fc2\u306e\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8\u3092\u8a18\u9332\u3067\u304d\u307e\u305b\u3093\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u305d\u308c\u306f\u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08\u3068\u6bd4\u8f03\u3057\u3066\u5927\u5e45\u306b\u5f31\u4f53\u5316\u3055\u308c\u305f\u4fdd\u8b77\u5f62\u614b\u3092\u8868\u3057\u307e\u3059\u304c\u3001\u4e00\u822c\u306b\u7ffb\u8a33\u6642\u306b\u3053\u308c\u306b\u9069\u7528\u3055\u308c\u307e\u3059\u304c\u3001\u5951\u7d04\u3067\u884c\u308f\u308c\u305f\u4fdd\u8a3c\u306f\u671f\u9593\u4e2d\u306b\u306e\u307f\u6709\u52b9\u306b\u306a\u308a\u307e\u3059\u3002 \u30af\u30e9\u30b9\u306e\u4e0d\u5909\u3001\u4fdd\u5b58\u3001\u304a\u3088\u3073\u30d5\u30a9\u30ed\u30fc\u30a2\u30c3\u30d7\u3092\u5b9a\u7fa9\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u540c\u3058\u300c\u5951\u7d04\u300d\u3092\u6e80\u305f\u3059\u5834\u5408\u3001\u30e2\u30b8\u30e5\u30fc\u30eb\u3092\u4ed6\u306e\u65b9\u6cd5\u306b\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u4f7f\u7528\u3055\u308c\u308b\u30c7\u30b6\u30a4\u30ca\u30fc\u3068\u69cb\u6587\u306e\u8a73\u7d30\u3082\u3001\u4e8b\u524d\u304a\u3088\u3073\u30dd\u30b9\u30c8\u30b3\u30f3\u30c7\u30a3\u30b7\u30e7\u30f3\u3068\u3057\u3066\u7406\u89e3\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u5834\u5408\u304c\u3042\u308a\u307e\u3059\u3002 \u4e0d\u5909 \u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306e\u30e9\u30a4\u30d5\u30b5\u30a4\u30af\u30eb\u5168\u4f53\u306b\u308f\u305f\u3063\u3066\u30af\u30e9\u30b9\u306e\u3059\u3079\u3066\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u306b\u9069\u7528\u3055\u308c\u308b\u8ad6\u7406\u7684\u306a\u30b9\u30c6\u30fc\u30c8\u30e1\u30f3\u30c8\u3067\u3059\u3002\u305d\u308c\u3089\u306f\u901a\u5e38\u306e\u5f62\u3067\u767a\u751f\u3057\u307e\u3059 \u30af\u30e9\u30b9-in -variants \u305d\u308c\u306b\u3064\u3044\u3066\u306f\u3001\u5f71\u97ff\u3092\u53d7\u3051\u308b\u30af\u30e9\u30b9\u306e\u79c1\u6709\u5730\u306b\u3082\u30a2\u30af\u30bb\u30b9\u3067\u304d\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u30011\u3064\u306f\u8a71\u3057\u307e\u3059 \u5b9f\u88c5Invarianten \u3002\u73fe\u5728\u306e\u30b7\u30b9\u30c6\u30e0\u3067\u306e\u4e0d\u5909\u306e\u30ec\u30d3\u30e5\u30fc\u306f\u3001\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306e\u524d\u5f8c\u306b\u306e\u307f\u30c1\u30a7\u30c3\u30af\u3067\u304d\u308b\u305f\u3081\u3001\u30e1\u30bd\u30c3\u30c9\u5185\u306e\u4e0d\u5909\u6027\u306f\u9593\u9055\u3044\u306a\u304f \u4e00\u6642\u7684 \u50b7\u3064\u304f\u3002\u3053\u306e\u70b9\u3067\u3001\u305d\u308c\u3089\u306f\u3059\u3079\u3066\u306e\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306e\u6697\u9ed9\u306e\u524d\u304a\u3088\u3073\u305d\u306e\u5f8c\u306e\u6761\u4ef6\u3092\u8868\u3057\u307e\u3059\u3002\u3053\u308c\u307e\u3067\u306e\u3068\u3053\u308d\u3001\u3053\u306e\u30a2\u30d7\u30ed\u30fc\u30c1\u306f\u3001\u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08\u306e\u4e00\u822c\u7684\u306a\u5b9f\u73fe\u3067\u8ffd\u6c42\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002 \u3059\u3079\u3066\u306e\u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u306b\u306a\u308a\u307e\u3059 \u524d\u63d0\u6761\u4ef6 \uff08 \u524d\u63d0\u6761\u4ef6 \uff09 \u3068 \u30d5\u30a1\u30ed\u30fc\u30a2\u30c3\u30d7 \uff08 \u30dd\u30b9\u30c8\u30b3\u30f3\u30c7\u30a3\u30b7\u30e7\u30f3 \uff09\u5272\u308a\u5f53\u3066\u3002 \u524d\u63d0\u6761\u4ef6 \u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u3092\u547c\u3073\u51fa\u3059\u5fc5\u8981\u304c\u3042\u308b\u72b6\u6cc1\u3092\u6c7a\u5b9a\u3057\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u30d5\u30a1\u30a4\u30eb\u304b\u3089\u8aad\u307f\u53d6\u308b\u305f\u3081\u306e\u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u306f\u3001\u4e8b\u524d\u306b\u30d5\u30a1\u30a4\u30eb\u304c\u6b63\u5e38\u306b\u958b\u304b\u308c\u305f\u5834\u5408\u306b\u306e\u307f\u547c\u3073\u51fa\u3055\u308c\u308b\u5834\u5408\u304c\u3042\u308a\u307e\u3059\u3002 \u30d5\u30a1\u30ed\u30fc\u30a2\u30c3\u30d7 \u30b5\u30d6\u30d7\u30ed\u30b0\u30e9\u30e0\u547c\u3073\u51fa\u3057\u304c\u5b8c\u4e86\u3057\u305f\u5f8c\u306b\u4e0e\u3048\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u6761\u4ef6\u3092\u6c7a\u5b9a\u3057\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u512a\u5148\u9806\u4f4d\u3068\u30d5\u30a9\u30ed\u30fc\u30a2\u30c3\u30d7\u6761\u4ef6\u306f\u3001\u30d6\u30fc\u30eb\u5f0f\u3068\u3057\u3066\u7b56\u5b9a\u3055\u308c\u307e\u3059\u3002\u524d\u63d0\u6761\u4ef6\u304c\u6e80\u305f\u3055\u308c\u3066\u3044\u306a\u3044\u5834\u5408\uff08\u3064\u307e\u308a\u3001\u8a55\u4fa1\u7d50\u679c \u9593\u9055\u3044 \u3001\u3057\u305f\u304c\u3063\u3066\u3001\u300c\u6b63\u3057\u304f\u306a\u3044\u300d\uff09\u3001\u547c\u3073\u51fa\u3057\u30b3\u30fc\u30c9\u306b\u30a8\u30e9\u30fc\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u3053\u3067\u3001\u524d\u63d0\u6761\u4ef6\u304c\u6e80\u305f\u3055\u308c\u3066\u3044\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u80cc\u4e2d\u306e\u72b6\u614b\u304c\u6e80\u305f\u3055\u308c\u306a\u3044\u5834\u5408\u3001\u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u81ea\u4f53\u306b\u30a8\u30e9\u30fc\u304c\u3042\u308a\u307e\u3059\u3002\u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u306f\u3001\u5f8c\u65b9\u72b6\u614b\u304c\u6e80\u305f\u3055\u308c\u308b\u3053\u3068\u3092\u4fdd\u8a3c\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002 \u3057\u305f\u304c\u3063\u3066\u3001\u4fdd\u8b77\u3068\u30d5\u30a9\u30ed\u30fc\u30a2\u30c3\u30d7\u306f\u4e00\u7a2e\u306e\u5951\u7d04\u3092\u5f62\u6210\u3057\u307e\u3059\uff08\u82f1\u8a9e \u5951\u7d04 \uff09\uff1a \u3082\u3057\u3082 \u901a\u8a71\u30b3\u30fc\u30c9\u306f\u524d\u63d0\u6761\u4ef6\u3092\u6e80\u305f\u3057\u307e\u3059\u3001 \u305d\u308c\u304b\u3089 \u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u306f\u3001\u80cc\u4e2d\u306e\u72b6\u614b\u3092\u6e80\u305f\u3059\u7fa9\u52d9\u304c\u3042\u308a\u307e\u3059\u3002 \u30ea\u30b9\u30b3\u30d5\u306e\u4ee3\u66ff\u539f\u7406 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] Liskovsche\u306e\u4ee3\u66ff\u539f\u5247\u3092\u4e8b\u524d\u304a\u3088\u3073\u30dd\u30b9\u30c8\u30b3\u30f3\u30c7\u30a3\u30b7\u30e7\u30f3\u306b\u9069\u7528\u3059\u308b\u3068\u3001\u6b21\u306e\u58f0\u660e\u304c\u5f97\u3089\u308c\u307e\u3059\u3002 \u30b5\u30d6\u30af\u30e9\u30b9\u306e\u65b9\u6cd5\u3092\u547c\u3073\u51fa\u3059\u524d\u306b\u4e0a\u6d41\u968e\u7d1a\u306e\u524d\u63d0\u6761\u4ef6\u304c\u6e80\u305f\u3055\u308c\u3066\u3044\u308b\u5834\u5408\u3001\u3053\u306e\u65b9\u6cd5\u306f\u4e0a\u6d41\u968e\u7d1a\u306e\u5f8c\u7d9a\u6761\u4ef6\u3092\u6e80\u305f\u3059\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002 \u3053\u308c\u306f\u3001\u30b5\u30d6\u30af\u30e9\u30b9\u306e\u65b9\u6cd5\u304c\u3001\u305d\u306e\u524d\u5f8c\u306e\u6761\u4ef6\u306e\u8a2d\u8a08\u3067\u81ea\u7531\u3067\u306f\u306a\u3044\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u5c11\u306a\u304f\u3068\u3082\u3001\u524d\u5f8c\u306e\u6761\u4ef6\u306b\u3088\u3063\u3066\u7b56\u5b9a\u3055\u308c\u305f\u300c\u5951\u7d04\u300d\u3092\u6e80\u305f\u3059\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u524d\u63d0\u6761\u4ef6\u3092\u5f15\u304d\u7de0\u3081\u3066\u306f\u306a\u3089\u306a\u3044\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\uff08\u5fc5\u8981\u306a\u4e0a\u6d41\u968e\u7d1a\u3088\u308a\u3082\u547c\u3073\u51fa\u3057\u30b3\u30fc\u30c9\u304b\u3089\u3053\u308c\u4ee5\u4e0a\u8981\u6c42\u3057\u3066\u306f\u306a\u308a\u307e\u305b\u3093\uff09\u3002\u5f8c\u7d9a\u306e\u6761\u4ef6\u3092\u548c\u3089\u3052\u3066\u306f\u3044\u3051\u307e\u305b\u3093\uff08\u5c11\u306a\u304f\u3068\u3082\u4e0a\u6d41\u968e\u7d1a\u3068\u540c\u3058\u304f\u3089\u3044\u4fdd\u8a3c\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff09\u3002 \u30b5\u30d6\u30af\u30e9\u30b9\u306e\u5951\u7d04\u6761\u4ef6\u306e\u6982\u8981 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08\u306e\u5834\u5408\u3001\u30b5\u30d6\u30af\u30e9\u30b9\u306f\u4e0a\u6d41\u968e\u7d1a\u306b\u95a2\u3059\u308b\u6b21\u306e\u898f\u5247\u306b\u5f93\u3046\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002 \u6b63\u5f0f\u306b\u306f\u3001\u30b9\u30fc\u30d1\u30fc\u30af\u30e9\u30b9\u3068\u30b5\u30d6\u30af\u30e9\u30b9\u306e\u95a2\u4fc2\u306f\u3001\u4ee5\u524d\u3068\u5f8c\u7d9a\u306e\u6761\u4ef6\u306b\u95a2\u3057\u3066\u6b21\u306e\u3088\u3046\u306b\u8868\u73fe\u3067\u304d\u307e\u3059\u3002 \u524d\u63d0\u6761\u4ef6 \u7d20\u6674\u3089\u3057\u3044 \u2192 \u524d\u63d0\u6761\u4ef6 \u30b5\u30d6 \u518d\u8abf\u6574 \u30b5\u30d6 \u2192 \u518d\u8abf\u6574 \u7d20\u6674\u3089\u3057\u3044 \u30b5\u30d6\u30af\u30e9\u30b9\u306e\u5951\u7d04\u6761\u4ef6\u306e\u30ec\u30d3\u30e5\u30fc [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u524d\u306e\u6bb5\u843d\u306b\u8a18\u8f09\u3055\u308c\u3066\u3044\u308b\u8ad6\u7406\u7684\u610f\u5473\u306e\u5c65\u884c\u306f\u3001\u975e\u5e38\u306b\u9069\u5207\u306b\u30c1\u30a7\u30c3\u30af\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff08\u5c65\u884c\u554f\u984c\uff09\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u73fe\u5728\u306e\u5b9f\u73fe\u306b\u306f\u30c8\u30ea\u30c3\u30af\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002 \u524d\u63d0\u6761\u4ef6\u306f\u30ea\u30f3\u30af\u3055\u308c\u305f\u5206\u96e2\uff08\u8ad6\u7406\u307e\u305f\u306f\uff09\uff09\u3067\u3059\u3002\u305d\u306e\u7d50\u679c\u3001\u4e0a\u6d41\u968e\u7d1a\u306e\u524d\u63d0\u6761\u4ef6\u306f\u5f31\u4f53\u5316\u3059\u308b\u3053\u3068\u3057\u304b\u3067\u304d\u307e\u305b\u3093\u304c\u3001\u5f15\u304d\u7de0\u3081\u3089\u308c\u307e\u305b\u3093\u3002 \u5f8c\u7d9a\u306e\u6761\u4ef6\u306f\u3001\u4eee\u5b9a\uff08\u8ad6\u7406\u7684\u304a\u3088\u3073\uff09\u30ea\u30f3\u30af\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306f\u7de0\u3081\u3089\u308c\u308b\u3060\u3051\u3067\u3059\u304c\u3001\u5f31\u304f\u306a\u308b\u3053\u3068\u306f\u3042\u308a\u307e\u305b\u3093\u3002 Invariantes\u3082\u4eee\u5b9a\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08 \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30d7\u30ed\u30d1\u30c6\u30a3\u306b\u306e\u307f\u9069\u7528\u3067\u304d\u307e\u3059\u3002\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30d7\u30ed\u30d1\u30c6\u30a3\u306f\u3001\u51e6\u65b9\u7b8b\u3068\u30d5\u30a9\u30ed\u30fc\u30a2\u30c3\u30d7\u3068\u3057\u3066\u7b56\u5b9a\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u307e\u3059\u3002 \u300c\u30eb\u30fc\u30c1\u30f3A\u304c\u30eb\u30fc\u30c1\u30f3\u306e\u524d\u306b\u547c\u3073\u51fa\u3055\u308c\u3066\u3044\u308b\u5fc5\u8981\u304c\u3042\u308b\u300d\u306a\u3069\u306e\u6761\u4ef6\u306f\u3001\u30b9\u30c6\u30fc\u30bf\u30b9\u5909\u6570\u3092\u4ecb\u3057\u3066\u30de\u30c3\u30d4\u30f3\u30b0\u3067\u304d\u307e\u3059\u3002\u4e00\u65b9\u3067\u3001\u3053\u308c\u306f\u30af\u30e9\u30b9\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u305f\u3081\u306e\u52aa\u529b\u306e\u5897\u52a0\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u4ed6\u65b9\u3067\u306f\u3001\u30e6\u30fc\u30b6\u30fc\u306f\u305d\u306e\u3088\u3046\u306a\u88c5\u5099\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3092\u5236\u5fa1\u4e0b\u306b\u7f6e\u3044\u3066\u304a\u304f\u3053\u3068\u3092\u907f\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u304c\u3001\u4ed6\u306e\u6a5f\u80fd\u306b\u6e21\u3057\u3066\u3001\u30b9\u30c6\u30fc\u30bf\u30b9\u306e\u5909\u66f4\u306b\u53cd\u5fdc\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u540c\u69d8\u306b\u3001\u300c\u30eb\u30fc\u30c1\u30f3A\u306f\u5e38\u306b\u30b3\u30fc\u30b9\u5185\u306e\u30eb\u30fc\u30c1\u30f3B\u3092\u547c\u3073\u51fa\u3059\u300d\uff08\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u9818\u57df\u3067\u306f\u7279\u306b\u91cd\u8981\uff09\u30dd\u30b9\u30c8\u6761\u4ef6\u304a\u3088\u3073\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u4e0d\u5909\u5264\u3092\u4ecb\u3057\u3066\uff08\u7279\u306b\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u9818\u57df\u3067\u91cd\u8981\uff09\u306a\u3069\u306e\u6761\u4ef6\u3002 \u4e0d\u5909\u304c\u88dc\u52a9\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306b\u57fa\u3065\u3044\u3066\u3044\u308b\u5834\u5408\u3001\u30a8\u30a4\u30ea\u30a2\u30b7\u30f3\u30b0\u306b\u3088\u3063\u3066\u4e0d\u5909\u3092\u7834\u58ca\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3059\u3079\u3066\u306e\u30eb\u30fc\u30c1\u30f3\u306e\u958b\u59cb\u306b\u52a0\u3048\u3066\u4e0d\u5909\u5264\u304c\u30c1\u30a7\u30c3\u30af\u3055\u308c\u305f\u5834\u5408\u3001\u305d\u306e\u3088\u3046\u306a\u4e0d\u5909\u4fb5\u5bb3\u306e\u305f\u3081\u306b\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u9593\u9055\u3063\u305f\u6c7a\u5b9a\u3092\u4e0b\u3059\u524d\u306b\u4e0d\u5909\u306e\u7834\u58ca\u3092\u78ba\u5b9f\u306b\u8a3a\u65ad\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u304c\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u306f\u30a8\u30a4\u30ea\u30a2\u30b9\u304c\u751f\u6210\u3055\u308c\u305f\u5834\u6240\u3068\u88dc\u52a9\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u304c\u5b9f\u969b\u306b\u7834\u58ca\u3055\u308c\u305f\u3068\u304d\u306e\u5146\u5019\u3092\u53d7\u3051\u53d6\u308a\u307e\u305b\u3093\u3002 \u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u306e\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u304c\u524d\u63d0\u6761\u4ef6\u3001\u5f8c\u7d9a\u306e\u6761\u4ef6\u3001\u304a\u3088\u3073\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u4e0d\u5909\u5264\u306b\u5b8c\u5168\u306b\u5dfb\u304d\u8fbc\u307e\u308c\u3066\u3044\u308b\u5834\u5408\u3001\u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u306e\u6a5f\u80fd\u7684\u306a\u4ed5\u69d8\u3092\u53d6\u5f97\u3057\u3001\u5b9f\u969b\u306e\u30b5\u30d6\u30eb\u30fc\u30c1\u30f3\u306f\u539f\u5247\u3068\u3057\u3066\u4fdd\u8a3c\u306b\u3088\u3063\u3066\u751f\u6210\u3055\u308c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u30b8\u30a7\u30cd\u30ec\u30fc\u30bf\u30fc\u306f\u3001\u6a5f\u80fd\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u30c6\u30af\u30cb\u30c3\u30af\u304b\u3089\u4f5c\u6210\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u70b9\u3067\u3001\u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08\u5f8c\u306e\u624b\u9806\u304c\u5b8c\u74a7\u306b\u8868\u793a\u3055\u308c\u307e\u3059\u3002 D\u3084Eiffel\u306a\u3069\u306e\u3044\u304f\u3064\u304b\u306e\u666e\u53ca\u3057\u3066\u3044\u306a\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306f\u3001\u5c11\u306a\u304f\u3068\u3082\u90e8\u5206\u7684\u306b\u30cd\u30a4\u30c6\u30a3\u30d6\u3001ADA 2012\u4ee5\u6765\u306eADA\u306a\u3069\u306e\u5951\u7d04\u306b\u3088\u308b\u30c7\u30b6\u30a4\u30f3\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\u3002.NET\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306b\u306f\u3001\u30d0\u30fc\u30b8\u30e7\u30f34.0\u306e\u30af\u30e9\u30b9\u30e9\u30a4\u30d6\u30e9\u30ea\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\uff08\u7279\u306b\u540d\u524d\u30eb\u30fc\u30e0\u3067 System.diagnostics.contracts \uff09\u3001\u8ab0\u3082 \u30b3\u30fc\u30c9\u5951\u7d04 \u5951\u7d04\u306b\u3088\u308b\u8a2d\u8a08\u306e\u5b9f\u88c5\u306e\u305f\u3081\u306b\u6307\u5b9a\u3055\u308c\u3066\u3044\u307e\u3059\u3002 [\u521d\u3081] Bean\u691c\u8a3c\u306e\u6982\u5ff5\u306fJava\u3067\u540c\u3058\u65b9\u6cd5\u3067\u63d0\u4f9b\u3055\u308c\u3001Java Bean\u691c\u8a3c1.1\u4ee5\u964d\u3001\u6ce8\u91c8\u3092\u4f7f\u7528\u3057\u3066\u30e1\u30bd\u30c3\u30c9\u306b\u76f4\u63a5\u4e8b\u524d\u304a\u3088\u3073\u30dd\u30b9\u30c8\u30b3\u30f3\u30c7\u30a3\u30b7\u30e7\u30cb\u30f3\u30b0\u3092\u5b9f\u88c5\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u307e\u3057\u305f\u3002 [2] [3] \u3053\u308c\u306f\u4ee5\u524d\u306f\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u30aa\u30fc\u30d0\u30eb\u307e\u305f\u306fJava\u30e2\u30c7\u30ea\u30f3\u30b0\u8a00\u8a9e\uff08JML\u304c\u7565\u3057\u3066\uff09\u3092\u4ecb\u3057\u3066\u884c\u308f\u308c\u307e\u3057\u305f [4] Java\u3067\u53ef\u80fd\u3067\u3059\u3002GContracts\u306a\u3069\u306e\u305d\u306e\u4ed6\u306e\u5b9f\u88c5 [5] Groovy\u306e\u5834\u5408\u3001API\u306f\u30b3\u30f3\u30d1\u30a4\u30e9\u62e1\u5f35\u6a5f\u80fd\u3092\u4f7f\u7528\u3057\u3066\u9069\u5207\u306a\u8a00\u8a9e\u8981\u7d20\u3092\u8ffd\u52a0\u3057\u307e\u3057\u305f\u3002 \u2191  msdn.microsoft.com  \u2191  \u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u5236\u7d04 Java Bean\u691c\u8a3c1.1\u3092\u4f7f\u7528\u3057\u307e\u3059  \u2191  \u5024\u306e\u5236\u7d04\u3092\u8fd4\u3057\u307e\u3059 Java Bean\u691c\u8a3c1.1\u3092\u4f7f\u7528\u3057\u307e\u3059  \u2191  eecs.ucf.edu 2015\u5e742\u67086\u65e5\u306b\u30a2\u30af\u30bb\u30b9  \u2191  github.com       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/4933#breadcrumbitem","name":"\u5951\u7d04\u306b\u3088\u308b\u30c7\u30b6\u30a4\u30f3 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2"}}]}]