formal description language 中文意思是什麼

formal description language 解釋
形式描述語言
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • description : n. 1. 記述，敘述，描寫；記載。2. 敘事文；（物品）說明書；相貌說明書。3. 種類。4. 作圖；繪制。
  • language : n 1 語言；（某民族，某國的）國語；語調，措詞。2 （談話者或作者所使用的）言語，語風，文風，文體。3...
  1. Architecture description language adl is typical in formal description while in visual description uml is typical. their advantages are that adl can describe accurately and uml can describe intuitionistic, which are complement to each other. so a hotspot in software architecture description is to combining the two together

    形式化描述嚴格精確，以軟體體系結構描述語言adl為代表;可視化描述清楚直觀，以uml為代表，兩者在描述軟體體系結構方面具有很強的互補性，於是對adl和uml結合問題的研究成為目前軟體體系結構描述領域的熱點。
  2. This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic. it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development

    本文通過將面向對象的可視化建模語言與基於時序邏輯的形式化方法結合起來描述軟體體系結構，對軟體體系結構描述研究、 uml形式語義研究和形式化方法在軟體開發中的應用等方面都有一定的推動作用。
  3. Not only the formal description and the scheduling algorithm of ecdf model are depicted but also the e visual language and its development environment are depicted

    文中不僅給出了ecdf模型的文法描述和調度演算法，也給出了e語言及其開發環境的設計與實現方法。
  4. A language element in the formal description of a computer language, for example, the metavariables in an arithmetical expression are constants, variables, operators, etc

    計算機語言的形式描述中的語言元素，如在算術表達式中的元變量是常數、變量、運算符等。
  5. This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement

    本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於證明與靜態、動態數據依賴關系有關的程序性質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
  6. Therefore, pe is a program optimization technique dependent on specific language. to better research on pe itself and its application in other program analysis fields, the present paper introduces a partial evaluator of snl ( small nested langue ) as well as its formal description, and implements a pe system utilizing the partial evaluation approach

    另外，本文還在該部分求值器的應用方面做了一定的工作:將部分求值與別名分析、程序分片相結合，提出了一種并行融合部分求值的別名分析方法，以及一種基於部分求值的程序分片方法。
  7. Based on these, this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2. 0 and xyz / adl. in this paper, the disadvantage of several main methods of software architectural description is analysed, the advantage of uml 2. 0 compared with uml 1. x in the software architecture description is analysed, the corresponding relationship between uml 2. 0 and xyz / adl in the architectural description is given and uml 2. 0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine uml 2. 0 and xyz / adl through defining the semantics of xyz / e for uml 2. 0 is composed. in order to realize this method, the formal semantics of uml 2. 0 sequence diagram and state diagram based on xyz / e are defined. in final, the arcitectural description of a simple dask manager system which uses our method is given

    本文分析和比較了當前國內外常用的軟體體系結構描述方法，指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟體體系結構描述方面的優勢，確定了用uml2 . 0描述軟體體系結構概念元素所使用的相關模型元素，給出了uml2 . 0與xyz / adl在體系結構描述中的元素對應關系;提出了一種通過定義uml2 . 0相關視圖的xyz / e語義，把uml2 . 0與xyz / adl結合起來描述軟體體系結構的新方法，並分別定義了uml2 . 0的順序圖和狀態圖的xyz / e時序邏輯語義;最後通過對一個簡單的任務管理系統的體系結構進行描述，把本文提出的結合思想運用到實例系統的描述當中。
  8. This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description, and we have implemented a partial evaluator for like - pascal

    摘要提出一種應用於過程式語言的動靜態結合的部分求值技術，並給出該方法的形式描述。採用該方法，實現一個實驗性的部分求值系統。
分享友人
分享到 Line

分享到臉書