計算機軟件工程的邏輯運用的論文

計算機軟件工程的邏輯運用的論文

　　摘要:計算機和邏輯學(xué)之間的聯(lián)系非常密切，當前科學(xué)發(fā)展的重要趨勢就是學(xué)科之間的滲透。本文論述了計算機工程技術(shù)當中的邏輯運用。計算機工程技術(shù)涉及到非常廣泛的內容，本文當中只是論述了九三級工程和邏輯學(xué)之間的關(guān)系，結合軟件工程的概念，找到切入點(diǎn)，充分利用邏輯分析合理性，結合邏輯學(xué)當中的限制和概括，結合具體的實(shí)例闡明邏輯學(xué)的作用。

　　關(guān)鍵詞:計算機軟件；工程技術(shù)；

　　邏輯運用在軟件工程技術(shù)的研究方面，分析其合理性主要是理應邏輯方法，在開(kāi)發(fā)組當中，可以將各種角色和職務(wù)進(jìn)行合理的定義，在軟件團隊發(fā)展的過(guò)程中，需要將生產(chǎn)效率和軟件產(chǎn)品質(zhì)量進(jìn)行改進(jìn)，對于計算機軟件工程領(lǐng)域建模深入的研究，運用數學(xué)建模知識的過(guò)程中，和邏輯發(fā)展具有密切的關(guān)系，這就是學(xué)科之間的交叉和融合的過(guò)程。

　　1軟件工程技術(shù)當中的邏輯應用

　　1.1軟件定義階段邏輯應用

　　定義軟件的過(guò)程中，需要對于市場(chǎng)減值給予充分的考慮�？梢岳�用簡(jiǎn)單的方案或者很容易實(shí)現的方案。軟件開(kāi)發(fā)人員在這一階段需要將軟件的可操作性和不需要操作的內容進(jìn)行明確，這樣有利于將軟件的設計目的進(jìn)行明確，避免對于各種功能盲目的實(shí)現，從而對于功能軟件必要性的忽略。開(kāi)發(fā)軟件的過(guò)程中，需要設計出精確的范圍文檔。但是在設計的初級階段，開(kāi)發(fā)者并沒(méi)有明確的定義，這樣一來(lái)，這款軟件功能就沒(méi)有得到明確，對英語(yǔ)相關(guān)的要求沒(méi)符合，使雙方都遭遇很多的麻煩。在概念當中利用邏輯學(xué)，在對比和運用的過(guò)程中，可以將軟件定義進(jìn)行完善。

　　1.2應用領(lǐng)域建模邏輯

　　在領(lǐng)域建模當中，主要是對概念之間和概念類(lèi)的屬性等存在的關(guān)聯(lián)進(jìn)行論述。第一方面就是復合，指的就是在領(lǐng)域當中出現的圖片或者單詞，第二方面就是內涵，指的就是定義領(lǐng)域類(lèi)，和邏輯學(xué)內涵之間具有很多的相同點(diǎn)，在領(lǐng)域類(lèi)定義當中的實(shí)例都是進(jìn)行有效的外延。邏輯學(xué)的概念在領(lǐng)域建模當中進(jìn)行有效的利用，在限制和概括的過(guò)程中包含的種屬關(guān)系，可以對于領(lǐng)域建模內涵進(jìn)行更好的理解。

　　2軟件開(kāi)發(fā)過(guò)程匯總利用邏輯

　　2.1階段應用的分析

　　分析軟件需求，我們應該明確利用軟件需要將用戶(hù)怎樣的需求進(jìn)行滿(mǎn)足，描述軟件需求的時(shí)候，需要和軟件開(kāi)發(fā)者進(jìn)行良好的描述，進(jìn)行有效精確的細化。研發(fā)軟件的過(guò)程中，比較重要的就是需求分析。在實(shí)際分析的過(guò)程中需要很多的時(shí)間，如果沒(méi)有花費很多的時(shí)間，那么很容易就會(huì )出現返工和失敗，這樣一來(lái)，軟件設計成果和用戶(hù)的需求就會(huì )出現不同，因此在描述數據的過(guò)程中，需要以各個(gè)數據為基礎，利用圖形化的方式，將數據模型之間的關(guān)系比較直觀(guān)地反映出來(lái)。

　　2.2規范的應用軟件設計

　　需要在另一個(gè)方面進(jìn)行考慮，轉化軟件需求，使其成為軟件體系的結果，因此概念設計就包括系統接口和全局數據結果以及數據庫模式，還可以實(shí)現模塊的算法。劇目數據結構當中，可以利用更加恰當的方式，進(jìn)行有效的數據計算，這也就是處在了詳細設計的階段。軟件的分析需求和描述階段是特別重要的，可以發(fā)揮出說(shuō)明的作用。數理邏輯和計算機科學(xué)之間的關(guān)系非常密切，利用數理邏輯，可以分解人類(lèi)思維，使其運算變得更加簡(jiǎn)單和機械，利用機器實(shí)現模擬。使用計算機的時(shí)候，需要通過(guò)程序設計。相關(guān)的研究人員需要經(jīng)過(guò)數理路基的相關(guān)訓練，這樣這一類(lèi)型的設計才會(huì )更好的完成。程序在設計的過(guò)程中，程序的正確性需要得到保證，在實(shí)際計算的過(guò)程中，怎樣防止出現錯誤計算的情況，并且及時(shí)將錯誤找出來(lái)，利用方法進(jìn)行改正，這些都是比較重要和程序設計理論有關(guān)的內容，樹(shù)立邏輯和這些內容具有緊密的聯(lián)系，將這種樹(shù)立邏輯利用計算機語(yǔ)言進(jìn)行書(shū)寫(xiě)，就是在計算機當中利用樹(shù)立邏輯。

　　2.3代碼生成過(guò)程中的聯(lián)系

　　站在邏輯學(xué)的角度，在實(shí)踐過(guò)程中的說(shuō)明和驗證不僅需要利用軟件規格，還希望利用系統方法和規范，使其生成程序，這就是自動(dòng)程序的研究領(lǐng)域。E在實(shí)際演繹的過(guò)程匯總，主要有水平關(guān)系和垂直關(guān)系兩個(gè)方面組成，在垂直關(guān)系看待這個(gè)問(wèn)題，如果長(cháng)時(shí)間沒(méi)有登錄Login和LockForm，可以正確的運行，LockForm長(cháng)時(shí)間沒(méi)有登錄，但是，MasterForm在登錄的過(guò)程中，其主界面可以正常的運行，這就說(shuō)明如果LockForm沒(méi)有長(cháng)時(shí)間進(jìn)行登錄，但是可以正確的運行，那么Maste登錄進(jìn)去的主頁(yè)面就會(huì )實(shí)現運行。而水平關(guān)系可以一一列舉其余的代碼，這3個(gè)程序之間可以調用函數，將某一個(gè)公共函數進(jìn)行直接調動(dòng)。

　　3在軟件的測試階段進(jìn)行應用

　　設計實(shí)現軟件的所有模塊之后，從而就會(huì )進(jìn)入到軟件測試階段。對于軟件工程實(shí)現軟件測試，主要目的就是將軟件當中的BUG找出來(lái)，但是不是要測試人員進(jìn)行修改，經(jīng)過(guò)審核，從而使相應的開(kāi)發(fā)完成修改，完畢之后，才會(huì )回歸到正常的流程當中，在采取測試之前，需要每個(gè)測試人員對于業(yè)務(wù)功能進(jìn)行學(xué)習，掌握之后，才可以明確軟件的缺陷和不足。例如測試網(wǎng)絡(luò )安全的過(guò)程中，需要測試人員把握網(wǎng)絡(luò )安全知識，測試網(wǎng)管軟件的過(guò)程中，需要明確簡(jiǎn)單的配置指令，還要對于業(yè)務(wù)的基本流程進(jìn)行熟悉。利用邏輯學(xué)進(jìn)行觀(guān)察，可以促進(jìn)測試人員對于業(yè)務(wù)基本流程進(jìn)行更好的掌握，使開(kāi)發(fā)人員可以實(shí)現糾錯，并且將運算進(jìn)行簡(jiǎn)化，從而將效率進(jìn)行提高。

　　4在軟件的維護階段進(jìn)行利用

　　當前科技產(chǎn)品通常情況下都配置了維修站，某個(gè)產(chǎn)品在實(shí)際應用的過(guò)程中有時(shí)候會(huì )出現一些問(wèn)題，要想進(jìn)行及時(shí)的反饋和維修，在利用軟件的過(guò)程中，就要將出現的問(wèn)題認真的記錄下來(lái)，這樣在日后維修和修改的過(guò)程中，可以更好地找到癥結。軟件用戶(hù)和設計者之間具有矛盾，這樣的矛盾要想避免，需要利用邏輯學(xué)知識。軟件可靠性是非常重要的，那么開(kāi)發(fā)人員自身需要具備良好的程序設計風(fēng)格，這樣在開(kāi)發(fā)軟件的過(guò)程中，才可以提供維護服務(wù)。當前工作環(huán)節和硬件環(huán)境不斷發(fā)生變化，很多機器語(yǔ)言就會(huì )缺乏可移植性，要想在計算機當中利用機器語(yǔ)言，那么就需要良好的用戶(hù)文檔，對于后期的維護和發(fā)展都發(fā)揮著(zhù)非常重要的作用。

　　5結論

　　綜上所述，全面的研究計算機軟件工程當中的部分階段，將其余邏輯學(xué)的聯(lián)系進(jìn)行挖掘，通過(guò)一些具體事例從而將應用之間的關(guān)系進(jìn)行解析，這樣可以明確邏輯學(xué)在其中的有效利用，在開(kāi)發(fā)利用邏輯學(xué)的過(guò)程中，也拓展了邏輯學(xué)的應用。

　　參考文獻

　　[1]黃武雙，李進(jìn)付.再評北京精雕訴上海奈凱計算機軟件侵權案——兼論軟件技術(shù)保護措施與反向工程的合理緯度[J].電子知識產(chǎn)權，2017（10）：58-62.

　　[2]于繼武.高職院校經(jīng)濟類(lèi)專(zhuān)業(yè)計算機技術(shù)基礎課程教育的研究——以武漢軟件工程職業(yè)學(xué)院電子商務(wù)專(zhuān)業(yè)為例[J].吉林省教育學(xué)院學(xué)報（上旬），2013（12）：91-93.

　　[3]孫國菊.計算機專(zhuān)業(yè)課考試模式改革的探討與實(shí)踐——以遼寧信息職業(yè)技術(shù)學(xué)院軟件工程系部分專(zhuān)業(yè)課程考核為例[J].遼寧高職學(xué)報，2012（11）：43-44.

　　[4]“節能環(huán)保型循環(huán)水養殖工程裝備與關(guān)鍵技術(shù)研究集成系統V1.0”獲國家版權局計算機軟件著(zhù)作權[J].中國水產(chǎn)，2015（12）：46.

　　[5]方建幫.匯聚軟件英才打造專(zhuān)業(yè)精品——福州大學(xué)工程技術(shù)學(xué)院計算機應用專(zhuān)業(yè)側記[J].中國職業(yè)技術(shù)教育，2015（3）：57.

【計算機軟件工程的邏輯運用的論文】相關(guān)文章：

計算機軟件工程的邏輯運用論文07-04

計算機軟件工程技術(shù)中的邏輯運用論文07-03

基于語(yǔ)言邏輯的計算機軟件開(kāi)放設計論文07-04

計算機軟件工程管理的思考論文07-03

計算機軟件工程管理研究論文07-03

計算機軟件工程管理與應用的論文07-03

計算機軟件工程管理與應用論文07-02

投標風(fēng)險計算機軟件工程論文07-04

與計算機軟件工程相關(guān)的研究論文07-04

小議計算機軟件工程的維護論文07-04