specification language 中文意思是什麼

specification language 解釋
規范語言
  • specification : n. 1. 詳細說明，逐一登記，詳記。2. 〈pl. 〉規范，規格。3. 清單，明細單。4. 【法律】（申報新發明時的）設計說明書。5. 【法律】用來料加工製成新產品所取得的權利。
  • language : n 1 語言；（某民族，某國的）國語；語調，措詞。2 （談話者或作者所使用的）言語，語風，文風，文體。3...
  1. Timed bundle event structures, is used as the system model and a real - time lotos - like process algebra is used as the specification language

    動作精化是在並發理論當中一種很重要的層次化設計和刻畫方法。
  2. The thesis present a high level asl ( auditing specification language ) to describe the safe behaviour of system and the intrusive behaviour of network

    本文引入一種高層的asl （ auditspecificationlanguage ）描述語言來描述系統安全行為和網路入侵行為。
  3. Dsssl document style semantics and specification language amendment 2

    文獻語義和規范語言
  4. Grafcet specification language for sequential function charts

    順序功能表圖用grafcet規范語言
  5. Dsssl document style semantics and specification language amendment 1

    文件文體語義學和規范語言
  6. Property specification language

    性能規范語言psl
  7. Dsssl information technology. processing languages. document style semantics and specification language

    信息技術.處理語言.文獻類型句法和規范語言
  8. Dsssl information technology - processing languages - document style semantics and specification language

    信息技術.處理語言.文件文體語義學和規范語言
  9. It is presented that a formalization for uml statechart diagrams in the raise specification language rsl

    使用raise規范語言rsl給出了uml狀態機視圖的形式描述。
  10. 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 ）理論為基礎的形式規約語言，能較好地支持形式規約的獲取和檢驗。
  11. To picture the structure accurately, i use rsl. raise is a series of tools and convert technology on this kind of specification language and form a very rigorous approach

    Raise （ rigorousapproachtoindustrialsoftwareengineering ）是在一個廣譜的規約語言的基礎上，提供一系列工具和轉換技術，形成一種開發軟體的嚴格方法。
  12. The authors have formalized a specification language and logic - calculus in lf, together with useful lemmas, and a user - oriented syntax has been designed

    在本文中，我們考慮并行系統的驗證領域，並在lf中將特定論域的規范描述語言ccs和相關邏輯m - culculus形式化。
  13. Then based on the attack tree model, an attack specification language is consmicted and an example of ip - spoofing theck is given

    另外，還使用攻擊樹來對系統安全事前分析，並提出了權重的計算演算法。
  14. The followng research objectives accomplish this intent ". an attack specification language based on enhanced attack tree model is constfucted

    使用攻擊樹對系統安全進行事前分析，並提出了權重的計算演算法。
  15. Information technology - processing languages - document style semantics and specification language

    信息技術.處理語言.文件式樣的語義及規格說明語言
  16. Dsssl. 1 : dsssl information technology - processing languages - document style semantics and specification language amendment 1 : extensions to dsssl

    信息技術.處理語言.文件式樣的語義及規格說明語言
  17. Information technology - programming languages, their environments and system software interfaces - vienna development method - specification language - base language

    信息技術.程序語言及其環境和系統軟體介面.第1部分:維也納研製法.規范語言.基本語言
  18. The innovations of this paper are embodied as follows : 1 ) applied domain specific language into the domain of gis application system, designed a simple specification language for gis application system, named gasl, offered formalized means for defining the special requirements of gis application system. 2 ) developed an integration, visual programming environments prototype system, called gbuilder, which is an application generator integrated

    本文的創新之處體現在如下兩點： 1 ）將領域專用語言運用到gis應用系統領域，初步設計出一種簡易的gis軟體規格描述語言gasl ，為定義gis應用系統特殊需求提供了形式化手段； 2 ）開發了一個集成式可視化開發環境gbuilder系統原型，該應用產生器集工具、語言和庫於一體，為gis軟體開發提供了新的方法和工具。
  19. 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也是一種函數式語言，具有良好的數學基礎、引用透明、無副作用、模式匹配等特點。
  20. To reinforce the integration of gis application system development process and realize the reuse of software process, to provide consistent data expression and uniform interface description for gis application system, and to realize the auto generating of gis application system, this paper, in the domain of gis application system, first designed a domain specific language, named gasl ( gis application specification language ), which is described for gis application system, then developed a new - style prototype system, called gbuilder, which can auto generating the framework of gis application system, finally constructed its corresponding domain specific library

    為了加強gis應用系統開發過程的集成、實現軟體過程的復用，為了對gis應用系統提供一致的數據表示和統一的界面描述，為了實現gis應用系統的自動生成，本文在gis應用系統領域，設計出一種描述gis應用系統的領域專用語言gasl 、開發了一種新型的地理信息軟體自動生成系統gbuilder並構建了其相應的領域專用庫，為gis軟體開發提供了新的方法與工具。
分享友人
分享到 Line

分享到臉書