formal specification 中文意思是什麼

formal specification 解釋
格式說明
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • specification : n. 1. 詳細說明，逐一登記，詳記。2. 〈pl. 〉規范，規格。3. 清單，明細單。4. 【法律】（申報新發明時的）設計說明書。5. 【法律】用來料加工製成新產品所取得的權利。
  1. Formal specification and verification of air - ticket reservation systems using pvs

    的飛機訂票系統的形式化描述與驗證
  2. Ontology is a formal explicit specification of a shared conceptualization

    本體是共享的概念化的正式的顯式的規格說明。
  3. As form - function mapping can be viewed as the mapping of nouns on the formal level to arguments on the functional level, argument specification satisfaction is the extent to which a noun satisfies the semantic specifications on an argument nouns higher in argument specification satisfaction for an argument have a better chance to be mapped on that argument

    論元特徵滿足度就是形式層上的名詞對功能層上的論元特徵限定的滿足程度，論元特徵滿足度高的名詞將在句子理解中更有機會被投射到論元上。
  4. In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language. uml lacks in a strict definition of dynamic semantics

    在uml規范中，編制者是用較為形式化的語言ocl （ objectconstraintlanguage ）和自然語言兩種手段描述靜態語義，而動態語義卻基本上完全是用自然語言來描述的， uml缺乏一個嚴格的動態語義定義。
  5. Huang wenji ( computer software & theory ) directed by dong yunmei the implementation and application of formal specification language lfc are studied in this thesis

    Lfc是以上下文無關語言上的遞歸函數（ cfrf ）理論為基礎的形式規約語言，能較好地支持形式規約的獲取和檢驗。
  6. This paper formalizes analysis patterns with raise. after analyzing static structure diagram, present a definite specification by raise language and analysis patterns " formal specifications. the formalizing is a foundation of reusing analysis patterns efficiency and automated tools

    在對分析模式的靜態結構圖進行分析后，給出使用raise規約語言的描述定義，並對具體的分析模式進行形式化描述，為有效復用分析模式提供有力的保障基礎，為分析模式的自動工具支持提供基礎。
  7. By such a formalization, a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications, which forms the continuation of the previous work on formalization of uml class diagrams in rsl. this allows the definition of uml semantic interpretations that are precise and unambiguous, and also enhancing the readability, conciseness and abstraction of the resulting rsl specification

    通過這一形式化提出了一種對圖形化的uml狀態機視圖模型的形式化和rsl規范進行集成的框架，這一工作是對uml類圖在rsl中形式化的繼續，使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋，同時也提高了rsl規范的抽象層次，增強了其可讀性簡明性。
  8. 1 formal specification : clear information stated on working instruction or guideline documents

    有效標準/規格檔;資料記載在作業指導書或指引文件中
  9. Forth, depending on a limited syntax language, a research on the method and process of the semi - formal specification of the top level function is developed. this top level specification paves the way for the system verification and the covert channel analysis

    第四，藉助一種受限的句法語言，研究了對系統頂層功能進行半形式化規范的方法和過程，而頂層功能規范則為系統驗證、隱蔽通道分析等后繼工作奠定了基礎。
  10. Design and implementation of the formal specification acquisition system saq. in conf. software : theory and practice, ifip 16th world computer congress 2000, rm beijing, 2000, pp. 201 - 211

    在當前internet快速發展軟體新技術不斷出現的情況下，軟體產業需要軟體工程提供更強有力的理論方法和技術支持。
  11. Vocabularies from this electronic business project typically use a large amount of prose in their formal specification ; examples, xml dtds, and schemas are also provided

    來自這一電子商務專案的辭匯表通常在它們的正式規范中採用大量的平敘，也提供了例子、 dtd和樣式。
  12. Lfc is a formal specification language based on recursive functions defined on context free languages ( cfrf ) and supports the acquisition and validation of formal specification very well

    同時lfc也是一種函數式語言，具有良好的數學基礎、引用透明、無副作用、模式匹配等特點。
  13. Formal specification and modeling of intelligent traffic control signals

    智能交通信號燈形式化建模
  14. 6. the architecture of a protocol conformance test system for testing distributed embedded software. also a formal specification language is defined to specify conformance test suites

    本文針對分散式嵌入式軟體系統的結構特點，提出了一種與被測系統的硬體結構無關的軟體測試系統平臺。
  15. Find the formal specification of n - triples in the relevant section

    （您也可以單擊本文頂部或底部的
  16. The static formal specification on such systems falls to many drawbacks

    而這類系統採用靜態的體系結構形式化描述存在著許多缺陷和不足。
  17. Information technology - z formal specification notation - syntax, type system and semantics

    信息技術. z形式規范注釋.語法類型系統和語義學
  18. The formal specification of architecture is on the assumption of static system interaction and configuration

    體系結構的形式化描述大都基於系統的靜態的交互和配置。
  19. In traditional sgml circles, the representation of document rules has been as dtds - and indeed the formal specification of the

    在傳統sgml派系中，文檔規則的表示曾經是dtd - -
  20. A formal specification of element names that indicates which elements are allowed in an xml document, and in what combinations

    元素名的正式規范，指示xml文檔中允許包含的元素以及如何組合。
分享友人
分享到 Line

分享到臉書