造價(jià)通
更新時(shí)間：2024.12.28
如何構(gòu)建應(yīng)用軟件造價(jià)評估模型

格式：pdf

大?。?span class="single-tag-height">1.2MB

頁數(shù)： 2頁

通信行業(yè)競爭愈發(fā)激烈,集約化、精確化成本管理已成為公司市場轉(zhuǎn)型的必修課,而應(yīng)用軟件投資結(jié)構(gòu)、投資管理模式仍顯粗放,缺乏科學(xué)指導(dǎo),應(yīng)用軟件造價(jià)評估缺少標(biāo)準(zhǔn)化、可量化、可評估的軟件開發(fā)工作量衡量工具,在此背景下,筆者建議構(gòu)建可量化、可評估、標(biāo)準(zhǔn)化的軟件開發(fā)投資造價(jià)評估模型,提高應(yīng)用軟件投資估算的精細(xì)化管控程度,以從一定程度上起到支撐網(wǎng)絡(luò)規(guī)劃、年度投資計(jì)劃、工程項(xiàng)目投資預(yù)算和綜合造價(jià)分析的作用。

基于模型的應(yīng)用軟件的靜態(tài)檢測方法研究

格式：pdf

大?。?span class="single-tag-height">1.7MB

頁數(shù)： 2頁

該文把靜態(tài)分析技術(shù)與基于模型的演繹驗(yàn)證結(jié)合起來提供了一個(gè)框架,分析應(yīng)用源代碼,自動(dòng)生成一個(gè)分析器,它能夠推斷關(guān)于給定程序行為的邏輯約束方面的信息。該文引入了一階邏輯斷言來描述API調(diào)用語義。這些斷言構(gòu)成分析器使用的模型。通過實(shí)驗(yàn),該方法可被用來識(shí)別Java程序中的關(guān)于安全的邏輯錯(cuò)誤。

熱門知識(shí)

軟件 模型 書

最新知識(shí)

軟件 模型 書
點(diǎn)擊加載更多>>
專題概述
軟件 模型 書相關(guān)專題

分類檢索：