< B語言與方法:實用形式化開發(fā)指南>> 本書介紹了B抽象機(jī)符號語言以及用于支持形式化規(guī)格說明和高集成 系統(tǒng)開發(fā)的方掛。首先,介紹了B 語言的發(fā)展歷史及與其他語言的關(guān)系,然 后,從集合、序列等基本數(shù)學(xué)符號表示到B 語言的結(jié)構(gòu)化機(jī)制,再到它所支 持的大型程序設(shè)計方法,全面地介細(xì)了B 符號語言的描述方法。
標(biāo)簽: gt 語言 lt 開發(fā)指南
上傳時間: 2014-11-29
上傳用戶:康郎
由VB做的ERP程序﹐文檔還可以﹐其實只是一個倉庫管理﹐但是思路還可以
標(biāo)簽: ERP 程序
上傳時間: 2016-04-11
上傳用戶:aappkkee
uclinux 中如何使用b核的文章,經(jīng)典
標(biāo)簽: uclinux 如何使用
上傳用戶:jqy_china
在了解實時嵌入式操作系統(tǒng)內(nèi)存管理機(jī)制的特點以及實時處理對內(nèi)存管理需求的基礎(chǔ)上,練習(xí)并掌握有效處理內(nèi)存碎片的內(nèi)存管理機(jī)制,同時理解防止內(nèi)存泄漏問題的良好設(shè)計方法。使用預(yù)先規(guī)劃的思想,構(gòu)建自己的私有內(nèi)存管理機(jī)制,在系統(tǒng)內(nèi)存池中申請內(nèi)存,并將其納入私有內(nèi)存管理機(jī)制中,形成靜態(tài)預(yù)分配內(nèi)存池; 靜態(tài)預(yù)分配內(nèi)存池支持一種以上固定長度內(nèi)存池,如16 字節(jié)內(nèi)存池和256 字節(jié)內(nèi)存池。固定長度內(nèi)存池的單塊長度應(yīng)考慮體系結(jié)構(gòu)開銷,并盡量減少內(nèi)部碎片;固定長度內(nèi)存池數(shù)量應(yīng)可配置; 靜態(tài)預(yù)分配內(nèi)存池與系統(tǒng)內(nèi)存池的統(tǒng)一管理機(jī)制。向用戶分配內(nèi)存時應(yīng)保證長度最佳匹配原則。當(dāng)申請內(nèi)存的長度超過靜態(tài)預(yù)分配長度或資源不足時,自動向系統(tǒng)內(nèi)存池申請; 管理機(jī)制包括: a) 初 始化函數(shù); b) 內(nèi) 存申請/釋放函數(shù)。并特別要保證釋放安全; c) 告 警機(jī)制; d) 管 理監(jiān)視機(jī)制。 5. 利用可能的互斥機(jī)制或代碼可重入設(shè)計,保證以上管理機(jī)制的操作安全性; 6. 創(chuàng)建多Task 環(huán)境測試及演示以上內(nèi)容
標(biāo)簽: 內(nèi)存管理 實時嵌入式 實時處理 操作系統(tǒng)
上傳時間: 2016-04-12
上傳用戶:lizhen9880
該系統(tǒng)是一個B/S結(jié)構(gòu)的公司定飯系統(tǒng),整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應(yīng)用于商業(yè)環(huán)境,如實在要使用的話,請與作者聯(lián)系!(使用此系統(tǒng)無比要有ORACLE8i以上版本數(shù)據(jù)庫!)
標(biāo)簽: ORACLE8i JSP 家
上傳時間: 2014-01-25
上傳用戶:壞壞的華仔
全新的B/S結(jié)構(gòu)開發(fā)方式,用純JS+HTML實現(xiàn)了類似C/S的強(qiáng)大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數(shù)據(jù),有完整的數(shù)據(jù)庫表訪問和純web打印
標(biāo)簽: HTML web JS 方式
上傳時間: 2014-01-20
上傳用戶:lacsx
一個職工信息管理系統(tǒng)。 系統(tǒng)功能如下: 1,創(chuàng)建存儲該單位職工信息的存儲系統(tǒng),在第一次輸入基本信息時,創(chuàng)建文件將職工信息寫入文件。 2,增加職工信息,增加新職工時輸入新職工的基本信息并加入文件。 3,刪除某職工的基本信息,同時修改文件中相應(yīng)的內(nèi)容。 4,修改某職工的某些信息,如加工資,獲新學(xué)位,晉升職稱。 5,可以輸出符合某種特征的職工信息列表,包括: a)全體職工信息; b)某職稱的職工全部信息; c)出生日期在某一范圍的全部職工信息; d)某一部門全部職工信息。
標(biāo)簽: 信息管理系統(tǒng)
上傳時間: 2013-11-30
上傳用戶:woshini123456
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程,其中p為任意素數(shù),a,b,c為任意整數(shù).
標(biāo)簽: mod 方程
上傳時間: 2014-01-11
上傳用戶:er1219
用java編寫的標(biāo)準(zhǔn)化考試系統(tǒng) (B/S網(wǎng)絡(luò)版)
標(biāo)簽: java 編寫 標(biāo)準(zhǔn)化
上傳時間: 2013-12-18
上傳用戶:qoovoop
用java編寫的 圖書查詢系統(tǒng) (B/S網(wǎng)絡(luò)版)
標(biāo)簽: java 編寫 圖書 查詢系統(tǒng)
上傳用戶:三人用菜
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1