< B語言與方法：實用形式化開發(fā)指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規(guī)格說明和高集成 系統(tǒng)開發(fā)的方掛。首先，介紹了B 語言的發(fā)展歷史及與其他語言的關(guān)系，然 后，從集合、序列等基本數(shù)學符號表示到B 語言的結(jié)構(gòu)化機制，再到它所支 持的大型程序設(shè)計方法，全面地介細了B 符號語言的描述方法。
上傳時間： 2014-11-29
上傳用戶：康郎
uclinux 中如何使用b核的文章,經(jīng)典
上傳時間： 2016-04-11
上傳用戶：jqy_china
采用基于B/S結(jié)構(gòu)進行開發(fā)學生管理信息系統(tǒng),本系統(tǒng)采用Servlet+Jsp+JavaBean+MySQL 的設(shè)計方式
標簽： JavaBean Servlet MySQL Jsp
上傳時間： 2013-11-26
上傳用戶：yuchunhai1990
本頻率計采用數(shù)據(jù)選擇器實現(xiàn)對任意周期信號的頻率、周期、脈寬、占空比、自檢等不同功能輸入電路的選擇，通過鍵盤實現(xiàn)了各個功能的選擇，最后采用LED動態(tài)顯示模塊將所測的數(shù)值顯示出來。
標簽： 頻率計 數(shù)據(jù)選擇器 周期信號 周期
上傳時間： 2013-11-25
上傳用戶：小眼睛LSL
該系統(tǒng)是一個B/S結(jié)構(gòu)的公司定飯系統(tǒng),整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應(yīng)用于商業(yè)環(huán)境,如實在要使用的話,請與作者聯(lián)系!(使用此系統(tǒng)無比要有ORACLE8i以上版本數(shù)據(jù)庫!)
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
全新的B/S結(jié)構(gòu)開發(fā)方式,用純JS+HTML實現(xiàn)了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數(shù)據(jù),有完整的數(shù)據(jù)庫表訪問和純web打印
上傳時間： 2014-01-20
上傳用戶：lacsx
主要介紹了如何使用E8仿真器在以Renesas芯片為MCU的開發(fā)板上進行仿真調(diào)試。 第1 章 概要 第2 章 E8 仿真器功能 第3 章 使用前的準備 第4 章 調(diào)試的準備 第5 章 調(diào)試 第6 章 教程示例 附錄A E8 仿真器的構(gòu)成 附錄B 窗口功能一覽 附錄C 命令行功能 附錄D High-performance Embedded Workshop 的注意事項 附錄E 有關(guān)硬件診斷程序 E.1 為了執(zhí)行診斷程序的系統(tǒng)設(shè)置 E.2 診斷程序的執(zhí)行 E.3 錯誤發(fā)生時的處理
上傳時間： 2013-12-26
上傳用戶：chens000
基于DDS技術(shù)的任意波形發(fā)生器的研究，采用單片機控制，并用CPLD實現(xiàn)
標簽： DDS 任意波形發(fā)生器
上傳時間： 2014-09-08
上傳用戶：龍飛艇
QTP全名Quick Test Professional,是MI公司出品的一款測試工具.它的優(yōu)點是使用方便,功能強大并且可以通過與測試管理工具的互連達到自動化功能測試的目的. QTP是專門針對B/S模式的測試工具.它具有:識別能力強,回放精確等優(yōu)點,是進行B/S模式下功能測試的首選工具
標簽： Professional QTP Quick Test
上傳時間： 2016-04-21
上傳用戶：tyler
用java編寫的標準化考試系統(tǒng) (B/S網(wǎng)絡(luò)版)
上傳時間： 2013-12-18
上傳用戶：qoovoop
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
