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

格式：pdf

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

頁數(shù)： 2頁

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

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

格式：pdf

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

頁數(shù)： 2頁

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

相關(guān)問答

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

分類檢索：