逐步精化（stepwise refinement）是1990年公布的自動化科學技術名詞。
基本介紹
- 中文名：逐步精化
- 外文名：stepwise refinement
- 所屬學科：自動化科學技術
- 公布時間：1990年
- 出處：《自動化名詞》第一版
公布時間
1990年，經全國科學技術名詞審定委員會審定發布。
逐步精化
相關詞條
- 逐步精化
逐步精化（stepwise refinement）是1990年公布的自動化科學技術名詞。公布時間1990年，經全國科學技術名詞審定委員會審定發布。1...
- 精化
在形式化B方法中，精化（Refinement）是一種數學表示法和若干規則的集合，它把Dijksart的衛式命令語言進行擴充，通過結合規約語句、精化規則和語言本身，用於從程式規約推導出命令式程式。這種程式精化(程式規約轉換成可執行代碼)可分為數據精化和算法精化兩種形式化將程式逐步轉換為更加便於實現的形式：數據精化把...
- 需求精化
需求精化 需求精化（requirements refinement）是2018年公布的計算機科學技術名詞。定義 對用戶需求逐步細化的過程。出處 《計算機科學技術名詞 》第三版。
- 結構程式設計(組織正確易讀程式的軟體技術)
這一過程稱為逐步精化。任何一個大系統都可以按子結構之間的疏密程度分解成較小的部分，每部分稱為模組。內容 分解的原則須使模組之間相對獨立，聯繫較少。按照不同的數據結構劃分模組，使得提供給模組外部可見的只是抽象數據及其上的抽象操作，隱蔽了實現細節。整個程式是由層次的逐級抽象的諸模組組成。程式正確性證明...
- stepwise
stepwise refinement[自] 逐步精化 ; 逐步求精法 ; [數] 逐步求精 ; 逐步最佳化 Stepwise Polymerization[高分子] 逐步聚合 ; 逐步聚合反應 ; 逐步聚合法 ; 翻譯 stepwise dissociation[無化] 逐級解離 ; 逐步離解 Stepwise Registration 逐步模式定位 stepwise hydrolysis[無化] 逐級水解 stepwise gradient 分級式梯度...
- Refinement(英語單詞)
stepwise refinement [計]逐步求精，逐步求精法 a refinement of 一種更為完美的 ; 一種完善的 mesh refinement 格線加密 incremental refinement 逐步求精 ; 增量精化 vehicle refinement 車輛拋光 structure refinement [物化] 結構精修 ; 進行結構精算 ; 翻譯 ; 結構精修英語 Symbolization Refinement 符號修飾 adaptiv...
