English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 80990/80990 (100%)
造訪人次 : 42587066      線上人數 : 1064
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜尋範圍 查詢小技巧：
  • 您可在西文檢索詞彙前後加上"雙引號"，以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋，建議至進階搜尋限定作者欄位，可獲得較完整資料
    •  進階搜尋


    請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/57209


    題名: 軟體需求分析與正規化規格語言之整合研究;Towards an Integration of Informal Methods and Formal Specifications
    作者: 黃為德;李允中
    貢獻者: 中央大學資訊工程學系
    關鍵詞: 資訊科學--軟體;需求工程;方法整合;正規規格語言;非正規方法論;Requirement engineering;Method Integration;Formal specification;Informalmethod
    日期: 1996-09-01
    上傳時間: 2012-10-01 15:16:14 (UTC+8)
    出版者: 行政院國家科學委員會
    摘要: 研究期間 8408 ~ 8507
    關聯: 財團法人國家實驗研究院科技政策研究與資訊中心
    顯示於類別:[資訊工程學系] 研究計畫

    文件中的檔案:

    檔案 描述 大小格式瀏覽次數
    index.html0KbHTML336檢視/開啟


    在NCUIR中所有的資料項目都受到原著作權保護.

    社群 sharing

    ::: Copyright National Central University. | 國立中央大學圖書館版權所有 | 收藏本站 | 設為首頁 | 最佳瀏覽畫面: 1024*768 | 建站日期：8-24-2009 :::
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 隱私權政策聲明