《基於對象的軟體構造過程模型和機制的研究》是依託中國科學技術大學,由李京擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名:基於對象的軟體構造過程模型和機制的研究
- 項目類別:青年科學基金項目
- 項目負責人:李京
- 依託單位:中國科學技術大學
- 批准號:69403005
- 申請代碼:F0203
- 負責人職稱:教授
- 研究期限:1995-01-01 至 1997-12-31
- 支持經費:8(萬元)
《基於對象的軟體構造過程模型和機制的研究》是依託中國科學技術大學,由李京擔任項目負責人的青年科學基金項目。
《基於對象的軟體構造過程模型和機制的研究》是依託中國科學技術大學,由李京擔任項目負責人的青年科學基金項目。中文摘要實施了中日合作第一航次黃海聯合調查,在我國首次獲得了與水色衛星感測器SeaWiFS及ADEOS/OCTS相...
面向對象的技術為軟體工程的基於構件的過程模型提供了技術框架。面向對象模型強調了類的創建、類的封裝了的數據、操縱該數據的算法。一般來講經過合適的設計和實現,面向對象的類可以在不同的套用及基於計算機的系統的體系結構中復用。基於...
對象建模技術(簡稱OMT)是一種面向對象的軟體開發方法學,它與傳統的面向功能的方法學截然不同。對象建模技術對事物的屬性和方法封裝形成對象,從對象和對象間的關係的角度文檔化系統,這是面向對象分析和設計方法的基礎。基本概念 對象...
面向對象開發方法將面向對象的思想套用於軟體開發過程中,指導開發活動,是建立在“對象”概念基礎上的方法學,簡稱OO( Object-Oriented)方法。面向對象方法的本質是主張參照人們認識一個現實系統的方法,完成分析、設計與實現一個軟體系統,...
以基於構件和面向服務的網路軟體系統為研究對象,以使用視角的綜合化可信性保障為目標,以軟體體系結構作為核心製品控制軟體系統的多重複雜性,建立貫穿軟體設計、實現和部署階段的正向保障機制,預測、驗證和消解軟體系統潛在的威脅、隱患和...
1.1結構化方法和面向對象方法/1 1.2面向對象方法的由來/4 1.3面向對象的基本概念與術語/5 1.4面向對象的軟體開發/7 1.5面向對象方法的優缺點/8 1.6面向對象程式設計語言/10 1.6.1Simula和Smalltalk語言/10 1.6.2C擴展語言...
本項目採用理論研究和實證研究相結合的方法,研究可信軟體的系統化開發理論、方法與技術,設計並實現可信軟體開發工具和支撐平台。主要研究成果如下: 1、提出了一個基於可信鏈的可信軟體開發過程模型,並提出了一整套可信軟體構造方法和技術...
《基於模型檢測的軟體動態演化一致性保障機制研究》是依託南京航空航天大學,由周宇擔任項目負責人的青年科學基金項目。項目摘要 演化一致性保障技術是開放環境下軟體演化研究的熱點問題。傳統的模型檢測方法著力於通用的模型內部狀態的表達和...
(3)支持軟體演化的軟體過程建模方法:提出軟體過程建模方法,構造以角色為中心的、面向對象的、支持過程重用的軟體演化過程模型,支持遺產軟體的持續演化。(4)軟體演化過程構件庫:建立演化過程構件描述協定和構件庫體系結構,支持演化過程...
2.7.1 軟體質量 51 2.7.2 軟體測試的其他觀點 52 2.7.3 測試設計 52 2.7.4 編程風格 57 2.8 思考與練習題 58 第3章 面向對象的軟體構造 60 3.1 抽象與封裝 60 3.1.1 模組產生與合成 60 3.1.2 抽象與封裝 62...
《基於模型的軟體開發方法》第1章緒論 1.1軟體產業的發展和現狀 1.1.1軟體產業及其發展 1.1.2我國軟體產業的現狀 1.2軟體開發方法概述 1.2.1結構化的軟體開發方法 1.2.2面向對象的軟體開發方法 1.2.3計算機輔助軟體工程 1....
基於反射原理,研究並建立支持軟體體系結構設計、演化和重用過程的反射機制。以元信息和元模型的理論為基礎,研究並建立滿足這種反射要求的軟體體系結構元級模型,研究並給出構造和套用這種元級模型的方法與過程。以C2風格的軟體體系結構為...
3.5公共對象請求代理體系結構 3.5.1CORBA技術規範 3.5.2CORBA風格分析 3.6正交軟體體系結構 3.6.1正交軟體體系結構的抽象模型 3.6.2軟體體系結構的正交化 3.6.3正交軟體體系結構的實例 3.6.4正交軟體體系結構的優點...