2016Q1 Windows page2-5 tc · 轉換到個人雲。享受隨手可得地雲端體 驗,同時保有數據安全在你手上。 5 無需取得用 1 戶端存取授權 無需取得Windows伺服器用戶端存取授
ソフトウェア工学 (7)...
40
Transcript of ソフトウェア工学 (7)...
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
➔
◼
◼
◼
◼
◼
◼
◼
◼
→
int f(int x) { return 2 * x; }
int h(int x, int y) {
if (x != y)
if (f(x) == x + 10)
abort(); /* error */
return 0;
}
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼