計(jì)算機(jī)軟件工程技術(shù)中的邏輯應(yīng)用探討
在科學(xué)快速發(fā)展的今天，計(jì)算機(jī)技術(shù)的發(fā)展也日新月異。在計(jì)算機(jī)產(chǎn)生和發(fā)展的過程中邏輯學(xué)貫穿了整個(gè)的過程。下面是小編搜集整理的相關(guān)內(nèi)容的論文，歡迎大家閱讀參考。
摘要：計(jì)算機(jī)與邏輯學(xué)之間存在著緊密的聯(lián)系，學(xué)科之間的滲透是當(dāng)代科學(xué)發(fā)展的一個(gè)重要趨勢(shì)。本文主要探討邏輯學(xué)在軟件工程開發(fā)中的應(yīng)用問題。由于軟件工程技術(shù)所步及的內(nèi)容比較廣泛，因而，本文只是選取軟件工程技術(shù)中軟件部分生命周期以及軟件開發(fā)階段中邏輯的應(yīng)用展開探討。文章主要為了說明軟件工程與邏輯學(xué)之間聯(lián)系的必要性，并簡(jiǎn)單地闡述了論文選題的緣由和意義、以及國(guó)內(nèi)外研巧的現(xiàn)狀。從軟件工程的概念出發(fā)，以需求分析作為切入點(diǎn)，再利用邏輯分析的合理性，主要結(jié)合了邏輯學(xué)中概念的內(nèi)潘和外延的應(yīng)用,通過對(duì)軟件開發(fā)階段軟件的分析，分別從各個(gè)階段出發(fā)，再次結(jié)合邏輯學(xué)中概念的限制和概括、種屬關(guān)系認(rèn)及真值函數(shù)的對(duì)比等方面進(jìn)斤研巧，同時(shí)結(jié)合一些實(shí)例來進(jìn)一步說明邏輯學(xué)在其中的應(yīng)用。
關(guān)鍵詞：軟件工程;邏輯學(xué);概念;邏輯方法
引言
1.軟件工程研究至目前表明，現(xiàn)代邏輯對(duì)于人工智能深入研究相對(duì)較多，例如軟件工程技術(shù)在軟件開發(fā)團(tuán)隊(duì)模式的研究，其合理性的分析主要利用邏輯方法進(jìn)行，在整個(gè)開發(fā)組中的過程中，合理定義各種角色、職務(wù)以及技能需求，定義開發(fā)團(tuán)隊(duì)中的“某人”在“某時(shí)間”，做了“某事”，“如何做”等以及怎樣測(cè)評(píng)這些內(nèi)容。在發(fā)展軟件團(tuán)隊(duì)的過程中，不斷改進(jìn)生產(chǎn)效率以及軟件產(chǎn)品質(zhì)量，深入研究軟件工程中的軟件領(lǐng)域建模，即數(shù)學(xué)建模。
2.交叉學(xué)科的應(yīng)用度可以影響其他學(xué)科以及邏輯學(xué)的進(jìn)步，在信息科學(xué)的運(yùn)用中，讓其起到完善計(jì)算機(jī)科學(xué)理論，并提供應(yīng)用方法。關(guān)于計(jì)算機(jī)軟件設(shè)計(jì)的內(nèi)同，緊密相關(guān)聯(lián)邏輯發(fā)展以及應(yīng)用，兩者關(guān)乎融合，也體現(xiàn)了存在于其中的交叉性與容和習(xí)慣，另外，不管是邏輯研究還是市場(chǎng)分析研究，在研究智能軟件的過程中都將認(rèn)知邏輯、數(shù)理邏輯、非形式邏輯以及人工智能作為開發(fā)方向的邏輯工具，將主要背景定義為人類知識(shí)表達(dá)。融合現(xiàn)代學(xué)科的只是表達(dá)以及推理的特點(diǎn)，進(jìn)行智能化推力模型的構(gòu)建，開發(fā)的智能軟件需要帶有實(shí)用性，這在人文社會(huì)科學(xué)發(fā)展中，起到了技術(shù)成果轉(zhuǎn)變?yōu)樯a(chǎn)力的作用。
3.在研究中，除了對(duì)數(shù)學(xué)建模方面知識(shí)的運(yùn)用，也要使用于計(jì)算機(jī)軟件設(shè)計(jì)知識(shí)，和邏輯發(fā)展緊密相連、應(yīng)用密切，這就是所謂學(xué)科中間的在交叉與融合的過程。不管是對(duì)于市場(chǎng)分析，還是開展研究，這些都非常的重要。本文的選取角度是軟件工程技術(shù)，這項(xiàng)研究可以說貫徹了軟件工程技術(shù)一系列的內(nèi)同，特別具有理論研究意義。
一、軟件工程技術(shù)中的軟件部分生命周期邏輯的應(yīng)用
相對(duì)于軟件工程技術(shù)，怎樣在各個(gè)階段提高軟件的工作效率，十分重要，描述軟件、管理軟件還有軟件文檔等各方面的技巧研究，都是軟件工程技術(shù)研究的部分。軟件工程研發(fā)的方法、工具以及過程中看來，都需要從要素入手進(jìn)行研巧的開展。在邏輯學(xué)中，使用類比法將軟件工程看作是軟件工程的每一個(gè)生存周期，也可以比喻成人的生命周期。從嬰兒進(jìn)化到幼兒的過程中，軟件同人類是一樣的，從定義出發(fā)，在階段之中設(shè)計(jì)的問題，分析其可行性，一款軟件怎么進(jìn)行需求分析與定義，對(duì)于后期的軟件開發(fā)以及維護(hù)都很重要;另外，從兒童成長(zhǎng)到少年，再成長(zhǎng)為中年，可以與軟件開發(fā)階段進(jìn)行比較，這一階段的研究依舊要著手于需求分析，還需要進(jìn)行概念設(shè)計(jì)，并進(jìn)行詳細(xì)設(shè)計(jì)，與此之外還有編寫代碼的通過，在測(cè)試后，發(fā)布軟件。
1.1軟件定義階段邏輯的應(yīng)用
進(jìn)行軟件定義的過程中，有以下幾個(gè)方面很重要，分別是：定義問題，分析可行性，合同的立項(xiàng)與簽訂。在典型范圍的描述下，需要注意幾點(diǎn)：初始需求的請(qǐng)清單;客戶范圍內(nèi)的約束;開發(fā)者范圍內(nèi)的約束。在某個(gè)軟件設(shè)計(jì)的過程中，必須要考慮其市場(chǎng)價(jià)值的。此時(shí)主要選用簡(jiǎn)單或者易實(shí)現(xiàn)的方案來達(dá)成目的。所以，相對(duì)于軟件開發(fā)者來說，在軟件的'這一階段里，必須明確軟件的可以操作與不需要操作內(nèi)容，這樣才能明確軟件的設(shè)計(jì)出發(fā)點(diǎn)與目的，并不是在盲目追求實(shí)現(xiàn)與運(yùn)行各種功能，而忽略了功能對(duì)于軟件的必要性與有效性。在軟件開發(fā)過程中，設(shè)計(jì)一個(gè)合理精確的范圍文檔是非常關(guān)鍵的。比如：某醫(yī)院需要一款醫(yī)藥管理軟件，軟件功能是病人可以通過其查看醫(yī)藥的價(jià)格，但不能查看庫(kù)存與盤點(diǎn)藥品的功能等。但是在設(shè)計(jì)之初，開發(fā)者對(duì)這一需求的定義不明確，那么就會(huì)造成這款軟件的功能不明確。導(dǎo)致了設(shè)計(jì)出來的醫(yī)藥管理軟件，不符合要求，也給雙方造成很多麻煩。這就是因?yàn)樵O(shè)計(jì)初期不明確目的的影響。在邏輯學(xué)運(yùn)用到概念中，在對(duì)比與運(yùn)用中，完善軟件定義階段。
1.2領(lǐng)域建模邏輯的應(yīng)用
1.2.1任何概念在邏輯學(xué)中都能看作是“類概念”，也就是說，概念是思維的一種形式，它承載著相關(guān)的思維內(nèi)筒，同時(shí)也是對(duì)理性認(rèn)識(shí)的一種基本形式。概念，相關(guān)于語(yǔ)詞和詞組。在邏輯學(xué)的概念中，主要分為幾種：首先，對(duì)概念的肯定或否定，不管對(duì)何時(shí)來說，這兩者的概念都相同，主要根據(jù)概念反應(yīng)的對(duì)象，進(jìn)行屬性的區(qū)分。當(dāng)然這中間肯定概念與否定概念，也分別被稱作正概念與負(fù)概念;其次，相對(duì)于普通概念，單獨(dú)概念外延分子是1，指的是1個(gè)對(duì)象，也就是事物、專名與摹狀物的獨(dú)一無(wú)二面，相對(duì)于單獨(dú)概念來說的普通概念是外延分子大于2，指的就是對(duì)象、形容詞或者動(dòng)詞。兩者看來，是根據(jù)反應(yīng)對(duì)象數(shù)目差異進(jìn)行劃分的。第三，主要是關(guān)于集合與非集合的概念，主要是將反應(yīng)集合體成為集合的概念，另外，非集合概念也就是不反映集合體的概念。
1.2.2個(gè)體涵蓋了兩個(gè)以及連個(gè)以上的組成統(tǒng)一整體，也就是集合體。綜上所述，每個(gè)概念的不同內(nèi)涵與外延劃分的共同形式進(jìn)行劃分的上述幾種概念，所以概念的本質(zhì)是概念的內(nèi)涵或者外延。這兩者的特點(diǎn)說明的概念分別從量與質(zhì)出發(fā)的。從字面上進(jìn)行理解，外延也就是概念使用的范圍，內(nèi)涵只得是概念特有的屬性。領(lǐng)域建模在計(jì)算機(jī)軟件工程中都可以運(yùn)用上面所說的只是，過渡到類圖建模就必須分析領(lǐng)域建模，這也幫助了對(duì)于領(lǐng)域建模的了解。領(lǐng)域建模里，存在一個(gè)問題域，也就是對(duì)相關(guān)事務(wù)或者概念對(duì)象的研究。問題域之中的對(duì)象靜態(tài)模型通常運(yùn)用圖形來表示。領(lǐng)域模型里面，主要描述有以下幾點(diǎn)：概念之間、概念類的屬性以及概念類之間存在的關(guān)聯(lián)。從幾個(gè)方面入手進(jìn)行表達(dá);分貝時(shí)符合、內(nèi)涵與外延。第一，符合，指的是領(lǐng)域類里面的圖片或者單詞;第二，內(nèi)涵，是定義領(lǐng)域類，與邏輯學(xué)內(nèi)涵有著相同點(diǎn)，領(lǐng)域類定義其中的事例就是此時(shí)的外延。舉例說明：在某個(gè)銷售中，領(lǐng)域建模包含了sale、date和time，作為一次銷售，這是一種購(gòu)買交易時(shí)間，它具有時(shí)間與日期，但是外延則是從sale-1、sale-2、sale-3，所以邏輯學(xué)的概念也可以應(yīng)用在領(lǐng)域建模中，這個(gè)內(nèi)涵也是我們之前了解到的種屬關(guān)系，在限制或者概括的過程中，可以通過其更好的理解領(lǐng)域建模內(nèi)涵，這里也就不進(jìn)行舉例說明了。
二、軟件開發(fā)階段邏輯的應(yīng)用
通常情況下，軟件開發(fā)氛圍五個(gè)階段：需求分析;軟件設(shè)計(jì);代碼生成;軟件測(cè)試;軟件維護(hù)。接下來說明邏輯學(xué)就從這五個(gè)階段中進(jìn)行。
2.1需來分析階段的應(yīng)用
相對(duì)于軟件需求分析，我們需要明白，設(shè)計(jì)軟件到底需要滿足用戶的什么需求，用戶在進(jìn)行軟件需求的描述中，需要與軟件開發(fā)者進(jìn)行協(xié)商，雙方達(dá)成一致后，就需要一個(gè)描述范圍的文檔，這個(gè)文檔需要良好的描述，并且還需要進(jìn)行細(xì)化，每一項(xiàng)都必須精確，這個(gè)細(xì)化過程中，我們將它成為需求分析。在軟件研發(fā)中，需求分析可以說非常重要。所以在分析需求的過程中，需要?jiǎng)澐州^多時(shí)間進(jìn)行研究。如果不愿意花費(fèi)時(shí)間進(jìn)行研究，那么就會(huì)造成后期的返工與失敗，這個(gè)問題也是大多數(shù)軟件工程師初期不注意的，造成了軟件設(shè)計(jì)成果與用戶需要的軟件不同，或者沒有達(dá)到用戶的要求。在浪費(fèi)人力、財(cái)力以及物力的過程中，對(duì)開發(fā)團(tuán)隊(duì)和項(xiàng)目組都造成了很大的麻煩。所以，在進(jìn)行數(shù)據(jù)描述的過程中，設(shè)計(jì)者不能單獨(dú)考慮，需要結(jié)合各個(gè)數(shù)據(jù)，進(jìn)行分析，通常采取圖形化的方式進(jìn)行描述，也可以直觀的反應(yīng)數(shù)據(jù)模型之間的關(guān)系。相當(dāng)于邏輯學(xué)里面的歐拉圖，通�？梢杂脷W拉圖來表示概念外延的關(guān)系。然而軟件規(guī)格說明中，需要盡可能的做到清晰明了、完全外、避免矛盾以及二義性。
2.2軟件設(shè)計(jì)(規(guī)范巧述)的應(yīng)用
如何具體說明實(shí)現(xiàn)在計(jì)算機(jī)系統(tǒng)與軟件中的內(nèi)同?在上述規(guī)范化描述的過程中，可以看出是從需求到軟件的一種設(shè)計(jì)，這個(gè)過程可以看做是非形式轉(zhuǎn)化到形式，這種階段我們一般從兩種方面進(jìn)行考慮，第一，軟件需求轉(zhuǎn)化成一種軟件體系的結(jié)構(gòu)。必須在這個(gè)階段中確定系統(tǒng)接口、全局?jǐn)?shù)據(jù)結(jié)果以及數(shù)據(jù)庫(kù)模式，也可稱之為概念設(shè)計(jì)，另外需要對(duì)模塊進(jìn)行算法的實(shí)現(xiàn)。在局部數(shù)據(jù)結(jié)構(gòu)中，需要使用恰當(dāng)?shù)姆绞竭M(jìn)行結(jié)構(gòu)季節(jié)的算法表述與數(shù)據(jù)，也稱其為詳細(xì)設(shè)計(jì)階段。軟件需要一個(gè)分析需求以及描述階段，主要作用是說明。系統(tǒng)設(shè)計(jì)階段就是為了達(dá)到這一目的，而眾所周知，數(shù)理邏輯與計(jì)算機(jī)科學(xué)具有很大的關(guān)系。數(shù)理邏輯主要是將人類思維進(jìn)行分解，變成簡(jiǎn)單而機(jī)械的運(yùn)算，利用機(jī)器進(jìn)行模擬。這時(shí)出現(xiàn)了計(jì)算機(jī)與電子計(jì)算機(jī)。計(jì)算機(jī)在使用的過程中要進(jìn)行程序設(shè)計(jì)。需要研究者有充分的數(shù)理邏輯訓(xùn)練，這樣才能很好地從事這一類設(shè)計(jì)。在設(shè)計(jì)程序的時(shí)候，怎么保證程序正確，在計(jì)算過程中怎么防止錯(cuò)誤計(jì)算情況及時(shí)的發(fā)現(xiàn)錯(cuò)誤，并加以改正?這些都是關(guān)于程序設(shè)計(jì)理論非常根本與重要的內(nèi)容，大多數(shù)認(rèn)為，數(shù)理邏輯與這些內(nèi)容關(guān)系很大。如果使用的是計(jì)算機(jī)語(yǔ)言來書寫這種數(shù)理邏輯，那么就是數(shù)理邏輯應(yīng)用在計(jì)算機(jī)。
2.3代碼生成中的聯(lián)系
2.3.1下面我們通過代碼的生成來看計(jì)算機(jī)與邏輯學(xué)的聯(lián)系，我們都知道命題邏輯中的幾種聯(lián)結(jié)詞，等值一般用表示，而計(jì)算機(jī)中的等值我們通常用來表示，對(duì)于邏輯中的運(yùn)用主要是對(duì)真值形式的判斷，當(dāng)我們需要對(duì)兩種真值形式進(jìn)行判斷時(shí)候，我們就可運(yùn)用真值表法，通過計(jì)算得出這兩種真值形式相等，則該表達(dá)式為真，如果通過計(jì)算這兩個(gè)表達(dá)式的真值不相等，則該表達(dá)式為假，那么在計(jì)算機(jī)中又是如何的呢?對(duì)于下面的登陸程序而言，當(dāng)你輸入口令或輸入密碼正確的時(shí)候，它根據(jù)一開始設(shè)置的情況進(jìn)行判斷，如果登陸用戶所輸入的口令或密碼與這個(gè)程序的口令或密碼相同，那么就為真，其結(jié)果就是返回登陸成功，登陸到主界面;如果登陸用戶輸入的口令或密碼與這個(gè)程序的口令或密碼不相同，那么就為假，登陸不成功。
2.3.2當(dāng)巧對(duì)于一個(gè)具體的購(gòu)物網(wǎng)站而言，當(dāng)用戶在選擇商品的時(shí)候，比如加入購(gòu)物車的時(shí)候，如果超過一定的時(shí)限，還沒有購(gòu)買的話，就會(huì)失效，一下就有這3種代碼的具體表述。我們可til拿計(jì)算機(jī)中的代碼舉個(gè)例子，比如登陸程序的各種關(guān)聯(lián)，我們可以看到前臺(tái)代碼例如：當(dāng)輸入正確的用戶名和密碼的時(shí)候就會(huì)有Login登陸界面相關(guān)代碼。在網(wǎng)購(gòu)付款時(shí)，沒有在規(guī)定時(shí)間內(nèi)付完款，那么就會(huì)要求你重新登陸，這個(gè)時(shí)候在編寫代碼的時(shí)候會(huì)有個(gè)LockForm的代碼，此功能是針對(duì)長(zhǎng)時(shí)間未登錄，系統(tǒng)被鎖定。當(dāng)然用戶登錄進(jìn)去后，會(huì)看到一個(gè)主界面。在計(jì)算機(jī)中我們稱之為：Mseteorm的代碼。以上三個(gè)個(gè)程序，我們也可從邏揖學(xué)的角度來看，在實(shí)踐中，我們不僅需要軟件規(guī)格說明和驗(yàn)證，更希望有系統(tǒng)的方法把規(guī)格說明逐步演化成程序，即屬于自動(dòng)程序成(ASP)的研究領(lǐng)域。
2.3.3E在演繹過程中有兩種關(guān)系即水平關(guān)系和垂直關(guān)系，而上述H個(gè)程序么間也存在著這樣的關(guān)系，如果從垂直關(guān)系的角度來看，如果Login登陸界面和LockForm長(zhǎng)時(shí)間未登錄能夠正確運(yùn)行，LockForm長(zhǎng)時(shí)間未登錄和MasterForm登陸進(jìn)去的主界面也能正常運(yùn)行，那么LockForm長(zhǎng)時(shí)間未登錄能夠正確運(yùn)行和Maste將orm登陸進(jìn)去的主界面也一定能夠運(yùn)行實(shí)現(xiàn)。至于水平關(guān)系，由于篇幅關(guān)系就不把其余剩下的代碼一一列舉出來，縱觀這3個(gè)程序，不難發(fā)現(xiàn)它們都存在著函數(shù)的調(diào)用，會(huì)調(diào)用某個(gè)公共的函數(shù)。
三、軟件測(cè)試階段的應(yīng)用
軟件測(cè)試是在軟件的全部模塊設(shè)計(jì)實(shí)現(xiàn)之后進(jìn)入的階段。對(duì)于軟件工程中的軟件測(cè)試我們知道，就它的整體而言其主要目的就是尋找軟件存在的各種BUG，而測(cè)試人員只要找出來并不需要測(cè)試人員去修改，而是經(jīng)過測(cè)試經(jīng)理的審核，然后轉(zhuǎn)給相對(duì)應(yīng)的開發(fā)進(jìn)行修改，開發(fā)修改完畢，會(huì)有一個(gè)回歸問題的流程，所謂問題的回歸就是將原先存在的問題，經(jīng)過開發(fā)修改之后測(cè)試再次進(jìn)行問題是否解決的一種驗(yàn)證。在測(cè)試么前，每一個(gè)測(cè)試人員都需要學(xué)習(xí)需要測(cè)試的軟件的業(yè)務(wù)功能，只有在自己學(xué)會(huì)了正確的功能應(yīng)該是什么樣子的，才能對(duì)比出，軟件存在的缺陷和不足，從而提出問題的所在。就比如對(duì)網(wǎng)絡(luò)安全的測(cè)試這一塊，就需要測(cè)試人員對(duì)網(wǎng)絡(luò)安全的知識(shí)有所把握;在對(duì)網(wǎng)管軟件進(jìn)行測(cè)試的時(shí)候，就要知道設(shè)備測(cè)試時(shí)用到的簡(jiǎn)單的配置的命令，知道如何通過在設(shè)備側(cè)通過命令來搭建業(yè)務(wù)，當(dāng)然也是需要知道業(yè)務(wù)的基本的流程的，W及也要知道在網(wǎng)管進(jìn)行業(yè)務(wù)的搭建，W及兩者之間進(jìn)行對(duì)比查看彼此的異同點(diǎn)來尋找BUG等等。很顯然，在此時(shí)我們用邏輯學(xué)中的觀察、在這個(gè)過程中存各種還餐銜接，有利于測(cè)試人員更好的掌握業(yè)務(wù)的基本流程，從而利于軟件開發(fā)人員進(jìn)行糾錯(cuò)和簡(jiǎn)化運(yùn)算，提高效率。
四、軟件維護(hù)中的應(yīng)用
現(xiàn)在科技產(chǎn)品一般都有維修站，一般如果當(dāng)用戶在使用某個(gè)產(chǎn)品的時(shí)候如果出現(xiàn)一些問題，如何及時(shí)反饋和維修，這時(shí)候就需要用戶在使用軟件的時(shí)候認(rèn)真的記錄下出現(xiàn)的問題，這樣對(duì)于軟件工程師后期對(duì)軟件的維護(hù)和修改才能找到癥結(jié)所在。既然軟件的錯(cuò)誤和缺陷是確實(shí)存在的，這種情況一般我們也避免不了。此時(shí)使用軟件的用戶和軟件設(shè)計(jì)者之間就存在著一個(gè)矛盾，那么我們?cè)撊绾伪苊膺@樣的矛盾呢?這也能通過邏輯學(xué)里的一些小知識(shí)點(diǎn)來看，如何理解用戶和軟件設(shè)計(jì)者的矛盾問題，可對(duì)比得出比較科學(xué)的結(jié)論。作為使用軟件的用戶肯定希望能夠盡快把軟件的問題和缺陷而改掉，而對(duì)于軟件設(shè)計(jì)者而言，改掉這些缺陷巧錯(cuò)誤需要一定的時(shí)間。這樣的一個(gè)過程，在軟件工程中稱為軟件的維護(hù)，這樣的一個(gè)維護(hù)過程從軟件的生命周期來看，相對(duì)而言也是最長(zhǎng)的一個(gè)周期。軟件的可靠性也是其中比較重要的因素之一，這就需要軟件開發(fā)人員有良好的程序設(shè)計(jì)風(fēng)格。這樣才能在軟件開發(fā)的過程中更好的做起維護(hù)服務(wù)。在我們生活中，我們知道生活離不開交流，交流離不開語(yǔ)言，同樣的我們?yōu)橛?jì)算機(jī)編寫程序，需要設(shè)計(jì)出計(jì)算機(jī)能看懂的語(yǔ)言。當(dāng)然隨著工作環(huán)境或者硬件環(huán)境的變化，有些機(jī)器語(yǔ)言的可移植性會(huì)變差，因而如何才能更好的把機(jī)器語(yǔ)言用到計(jì)算機(jī)中，我們需要一個(gè)良好的用戶文檔。這樣對(duì)于后期的維護(hù)和發(fā)展比較好。
五、總結(jié)
本文在一方面通過對(duì)計(jì)算機(jī)軟件工程中的部分生命周期各個(gè)階段進(jìn)行研究，發(fā)現(xiàn)其與邏揖學(xué)之間的聯(lián)系，并且通過列舉一些事例作為解析這些應(yīng)用之間的關(guān)系，以便更好的說明邏輯學(xué)在其中的應(yīng)用，并在軟件開發(fā)階段中有涉及到邏揖應(yīng)用的方面也做了比較和拓展。此外，在另一個(gè)方面，本文選取軟件開發(fā)中其他軟件工程技術(shù)為視角，詳細(xì)說明了一些邏輯方法在軟件開發(fā)過程中，特別是對(duì)于開發(fā)團(tuán)隊(duì)的一些應(yīng)用。分別說明了一堅(jiān)邏輯方法在軟件開發(fā)團(tuán)隊(duì)中的應(yīng)用，更加詳細(xì)的論述了邏輯學(xué)在計(jì)算機(jī)軟件工程中的作用，強(qiáng)化了邏輯學(xué)應(yīng)用。同時(shí)，通過此文，不難發(fā)現(xiàn)邏輯學(xué)與眾多學(xué)科之間的交叉關(guān)系，在科學(xué)決策的時(shí)候與管理學(xué)有聯(lián)系、在領(lǐng)域建模的時(shí)候與數(shù)學(xué)有聯(lián)系、在實(shí)際應(yīng)用時(shí)候與計(jì)尊機(jī)有著密切的聯(lián)系，因而本文著重從邏輯學(xué)的應(yīng)用方面論述其重要性。邏輯學(xué)中特別是數(shù)理還輯在人工智能方面的研究也是當(dāng)今的重點(diǎn)之一，由于相關(guān)知識(shí)儲(chǔ)備不充分，就沒有在這方面進(jìn)行展開討論，其中的代碼編寫方面也是粗略的進(jìn)行了比較，沒有深入研究，因此，本文在這些方面有待進(jìn)一步考慮。綜上，跨學(xué)科的研究需要不斷的進(jìn)行知識(shí)的積累，邏輯學(xué)與計(jì)算機(jī)中的密切相關(guān)，軟件工程技術(shù)中也有著重要的應(yīng)用價(jià)值。
參考文獻(xiàn)：
[1]古樂,史九林編著.軟件測(cè)試-技術(shù)概論[M].北京:清華大學(xué)出版化2004.
[2]葫飛,武勝君,杜承烈,等.軟件工程基礎(chǔ)[M].北京:窩等教育出版社2008
[3]黃錫滋.軟件可靠性、安全性與質(zhì)量保證[M].電子工業(yè)出版化,2002.
[4]李友仁.軟件工程與軟件質(zhì)量分析[M].電子工業(yè)出版社,1987.
[5]汪定偉,王俊偉編著.智能優(yōu)化方法[M].高等教育出版化,2007.
[6]江天攫編著.當(dāng)代西方科學(xué)哲學(xué)[M].中國(guó)社會(huì)科學(xué)出版狂,1984.
[7]任曉明,桂起權(quán)主編主編,計(jì)算機(jī)科學(xué)哲學(xué)研究：認(rèn)知、計(jì)算與目的性的哲學(xué)思考[M].北京:人民出版社,2010.
【計(jì)算機(jī)軟件工程技術(shù)中的邏輯應(yīng)用探討】相關(guān)文章：
1.計(jì)算機(jī)軟件測(cè)試應(yīng)用探討
2.探討計(jì)算機(jī)軟件測(cè)試的相關(guān)技術(shù)應(yīng)用
3.關(guān)于《邏輯哲學(xué)論》中的哲學(xué)觀探討論文
4.有關(guān)《邏輯哲學(xué)論》中的哲學(xué)觀探討論文
5.計(jì)算機(jī)軟件工程管理與應(yīng)用探討