相關詞條
-
時序邏輯程式設計與軟體工程(上冊)
時序邏輯語言XYZ/E的基礎部分2.1基本概念2.2狀態轉換與單元2.3三種不同形式的控制結構2.4Horn 時序邏輯語言XYZ/E3.1程式框架3.2...
內容介紹 作品目錄 -
軟體工程原理與套用
1.1.2軟體分類 13.2.2n 16.2.1工程策略
-
計算機科學
模態邏輯 時序邏輯 描述邏輯 數學 泛代數 遞歸論 模型論 機率論和...的機器更便於實現並行計算。 軟體工程 程式設計在相當長的時間內是一種類似...於怎樣實現計算,比如程式語言理論是研究描述計算的方法,而程式設計是套用特定...
簡介 研究領域 研究課題 相關獎項 統分類 -
計算機科學[一門科學領域]
專注於怎樣實現計算,比如程式語言理論是研究描述計算的方法,而程式設計是套用...,以及計算機元素與架構。CSAB還確立了其它一些重要領域,如軟體工程...、邏輯與數學方面的計算。 計算理論主條目:計算理論按照Peter J....
簡介 研究領域 科學領域 研究課題 相關獎項 -
信息科學技術
。 (2)掌握本方向所必需的多媒體技術、多媒體程式設計、軟體工程、套用...程式設計、電路理論、模擬電子線路、數字邏輯電路、信號與線性系統、自動控制...技術、計算機外部設備 、計算機控制技術及其實現等基礎知識;並且掌握程式設計...
培養目標 培養要求 畢業生能力 主幹課程 從事工作方向 -
唐稚松
軟體工程領域中發展可執行時序邏輯的先驅。由於在基於時序邏輯的軟體工程環境理論和...百篇,並著有詩詞作品集《桃蹊詩存》(桃蹊是他的筆名)。專著《時序邏輯程式設計與軟體工程》上、下冊(科學出版社1999、2001)獲2003年國家...
人物簡介 學術成就 人生歷程 人物評價 名人教誨 -
電子學與計算機
電子學與計算機 正文 電 子 學電子學是一門以套用為主要目的的科學和技術。 電子學是以電子運動和電磁波及...
電子學與計算機 正文 配圖 相關連線 -
程式邏輯
又是程式驗證的理論基礎。現代軟體工程的一個重要方法是在程式設計之前...執行細節,因此可以使用邏輯語言的全部公式。程式設計的任務就是編製程序...的邏輯公式問題,因此程式邏輯的研究又為軟體工程中自動化設計提供了有力工具。 ...
簡介 歷史發展 基本方法 套用 -
哈爾濱理工大學軟體學院
程式設計(JAVA)(雙語)、電路、數字電路及邏輯、離散數學、計算機組成原理...。現設有軟體工程和積體電路設計與集成系統兩個專業,其中軟體工程專業擁有...工程系下設軟體工程專業為具有碩士學位授予權的省級重點專業,積體電路設計與集成...
學院概況 學院介紹 辦學特色 開設專業及主要課程 學院風光 -
UML與RationalRose2003從入門到精通
精通。圖書目錄第1章 軟體工程與UML概述 1 1.1 軟體工程概述 1 1.1.1 軟體工程的產生 1 1.1.2 軟體工程... 面向對象實現 60 2.5.1 程式設計 60 2.5.2...
基本信息 圖書簡介 圖書目錄