精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

國家科技成果網(wǎng)
  • 首頁
  • 成果登記
  • 優(yōu)選資源
  • 精準對接
  • 成果轉(zhuǎn)化
  • 合作專欄
  • 數(shù)據(jù)排行
  • 政策動態(tài)
  • 國家科技成果網(wǎng) 首頁 成果 查看內(nèi)容

    基于MLIRF方法的軟件原型速成技術研究

    2001年 基礎理論
    • 成果簡介
    提出了一種新的軟件原型速成技術,即基于MLIRF方法的原型速成技術。該技術區(qū)別于其它原型速成技術的特色,是以項目負責人提出的MLIRF方法為基礎,使用特殊的可執(zhí)行規(guī)約語言來刻畫系統(tǒng)原型,軟件規(guī)約的語法方面和語義方面分別用上下文無關語言及其上的遞歸函數(shù)來表達,并且采用機器學習方法來獲取規(guī)約。在SUN工作站上完成實驗性系統(tǒng)SAQ1.1版,并經(jīng)移植和改進完成微機版SAQ系統(tǒng)。使用SAQ系統(tǒng)進行了...

    標簽云

    相關機構

    WeChat 微信公眾號
    WeChat
    Hotline 服務熱線
    Hotline
    主站蜘蛛池模板: 四虎必出精品亚洲高清| 亚洲无精品一区二区在线观看| 公与妇仑乱HD| 亚洲精品日本一二区| 97九色| 欧美天天综合色影久久精品| 日本一区二区一本一道| 国色天香视频社区手机版| 91福利国产在线观一区二区| 国产成人无码精品视频播放| 亚洲男人第一无码av网站| 2024国产麻豆剧传媒精品网站 | 日韩精品一区二区| 麻豆精品久久久一区二区| 啪啪免费视频在线观看| 国产精品扒开腿做爽爽爽王者A片| 亚洲av无码国产丝袜在线观看| 最新欧美精品一区二区三区| 久久av无码乱码a片无码| 国产精品无码一区二区在线A片 | 五月色播先锋在线丁香| 精品自拍视频在| 91精品久久久久久久久久| WWW亚洲精品少妇裸乳一区二区| 人妻中文第23页| 日韩免费看| 国产乱子伦无套一区二区三区| 亚洲麻豆一区| 加勒比中文无码系列| 欧美+日本+国产+在线观看| 日韩a视频| 国产乱子伦在线播放bd中字 | 91午夜一区二区| 麻豆水电工和少| 久久国内精品| 国产精品va无码免费| 无码专区人妻系列日韩精品少妇 | 亚洲国产成人| 亚洲另类性爱视频| 九9热这里真品| 伊人久久免费视频|