亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        一種基于學(xué)分制排課系統(tǒng)的Z規(guī)格說明

        2012-04-12 00:00:00姜虹李峰俞均
        現(xiàn)代電子技術(shù) 2012年12期

        摘要:運(yùn)用形式化方法建模在軟件開發(fā)過程中可提高目標(biāo)系統(tǒng)的正確性和可靠性,在此提出了一種利用Z語言進(jìn)行語義分析的方法。該方法在序列圖Z規(guī)范的基礎(chǔ)上,用屬性集表示對象狀態(tài),并將序列圖的上下文表示為Z形式約束,通過檢查上下文約束與對象狀態(tài)間的一致性對序列圖進(jìn)行語義分析。在此以一個基于學(xué)分制的排課系統(tǒng)為例,使用面向?qū)ο蟮男问揭?guī)格說明語言Z,描述了一個精確、完整的高校排課系統(tǒng)的形式化數(shù)學(xué)模型。過程顯示,該方法具有精確的描述性和很強(qiáng)的抽象性,能為軟件系統(tǒng)的開發(fā)和驗證提供科學(xué)的框架。

        關(guān)鍵詞:形式化方法;規(guī)格說明;Z語言;排課系統(tǒng)

        中圖分類號:TP311-34文獻(xiàn)標(biāo)識碼:A文章編號:1004-373X(2012)12-0050-04

        秋霞影院亚洲国产精品| 欧美性受xxxx白人性爽| 成人自慰女黄网站免费大全| 亚洲中文字幕成人无码| 奇米影视久久777中文字幕 | 久久夜色精品国产噜噜av| 国产成人无码av在线播放dvd | 97久久天天综合色天天综合色hd| 免费一区二区三区视频狠狠| 亚洲天堂av在线免费播放| 亚洲成年国产一区二区| 日韩精品久久无码中文字幕| 人妻av一区二区三区精品| 久久久精品人妻一区二区三区日本| 日韩中文字幕不卡在线| 国产免费一区二区三区免费视频| 国产精品丝袜黑色高跟鞋| 特黄三级一区二区三区| 亚洲男人综合久久综合天堂| 色拍自拍亚洲综合图区| 亚洲av无码乱码国产精品fc2| 一区二区三区免费视频网站| 日韩五码一区二区三区地址| 免费a级毛片无码a∨中文字幕下载 | 亚洲一区极品美女写真在线看| 国产天堂av在线一二三四| 久久精品国产亚洲av麻豆| 国产成人国产在线观看| 国产激情小视频在线观看的| 亚洲第一狼人天堂网亚洲av| 人人妻人人澡人人爽人人精品| 完整在线视频免费黄片| 亚洲视频免费在线观看| 欧美性猛交xxxx富婆| 欧美精品AⅤ在线视频| 国产在线白浆一区二区三区在线| 青青草小视频在线观看| 少妇无码av无码一区| 亚洲国产成人久久综合一区77| 天堂av在线一区二区| 男女视频一区二区三区在线观看|