【正文】 存折、存款單 存折（無密碼）、取款單 帳目 存折（無密碼）、取款單 儲蓄所儲戶存款、取款存款日期取款日期姓名利率存款類型住址利率身份證號利率名稱利率地址 實體聯(lián)系圖: M N42 在什么情況下應(yīng)該使用形式化說明技術(shù)?使用形式化說明技術(shù)時應(yīng)遵守哪些準(zhǔn)則?答: 在開發(fā)大型軟件系統(tǒng)的過程中應(yīng)該使用形式化說明技術(shù)。答: （1） 數(shù)據(jù)流圖：計算應(yīng)漲工資S1讀贍養(yǎng)人數(shù)讀雇傭日期計算新工資計算工齡計算應(yīng)漲工資S2贍養(yǎng)人口 人數(shù) S1 新工資 S2雇傭日期 日期 工齡（2） 需求說明1． 任務(wù)概述：對于年工資未超過＄2600的教師漲工資:每贍養(yǎng)1人補(bǔ)助$100,每有一年工齡補(bǔ)助$50,漲工資上限為＄2600。(2)設(shè)MTTF=10,有10=100000/(1000*(350x))解得x=340。努力過后，才知道許多事情，堅持堅持，就過來了。在紛雜的塵世里，為自己留下一片純靜的心靈空間，不管是潮起潮落，也不管是陰晴圓缺，你都可以免去浮躁，義無反顧，勇往直前，輕松自如地走好人生路上的每一步3. 花一些時間，總會看清一些事。79 如對一個長度為100000條指令的程序進(jìn)行集成測試期間記錄下下面的數(shù)據(jù)：(a) 7月1日：集成測試開始，沒有發(fā)現(xiàn)錯誤。按照協(xié)議，所有年工資超過＄26 000(含＄26 000)的教師工資將保持不變，年工資少于＄26 000的教師將增加工資，所增加的工資數(shù)按下述方法計算：給每個由此教師所贍養(yǎng)的人(包括教師本人)每年補(bǔ)助＄100，此外，教師有一年工齡每年再多補(bǔ)助＄50，但是，增加后的年工資總額不能多于＄26 000。對軟件需求的深入理解是軟件開發(fā)工作獲得成功的前提條件，不論我們把設(shè)計和編碼工作做得如何出色，不能真正滿足用戶需求的程序只會令用戶失望，給開發(fā)者帶來煩惱。為了解決軟件危機(jī)，既要有技術(shù)措施（方法和工具），又要有必要的組織管理措施。軟件常常是不可維護(hù)的。軟件不同于硬件，它是計算機(jī)系統(tǒng)中的邏輯部件而不是物理部件。瀑布模型歷史悠久、廣為人知，它的優(yōu)勢在于它是規(guī)范的、文檔驅(qū)動的方法；這種模型的問題是，最終開發(fā)出的軟件產(chǎn)品可能并不是用戶真正需要的。　　應(yīng)用形式化方法的準(zhǔn)則：（1）應(yīng)該選用適當(dāng)?shù)谋硎痉椒ā?． 數(shù)據(jù)描述:數(shù)據(jù)庫描述:工資表、ＶＦ　　３．功能需求：對于年工資未超過＄2600的教師漲工資:每贍養(yǎng)1人補(bǔ)助$100,每有一年工齡補(bǔ)助$50,漲工資上限為＄2600。由可靠性積累曲線EC(t)=ET(1exp（K1t）)得：100=350*(1exp（160K1）)300=350*(1exp（320K1）)解得：K=。4.