在您的搜寻 主题建议
Showing 1 - 20 results of 27 for search '"Formal methods"', 查询时间: 0.07s Refine Results
  1. 1
    Linking integrated formal method with UML /
    由 Liu, Jing
    出版 2001
    Thesis 图书
    加到收藏夹
    Saved in:
  2. 2
    Usability of semi-formal and formal methods integration : empirical assessments /
    由 Rozilawati Razali
    出版 2008
    Thesis 图书
    加到收藏夹
    Saved in:
  3. 3
    Formal method for landmark saliency measurement based on social network analysis
    由 Najafpour, Hamed
    出版 2012
    Thesis
    加到收藏夹
    Saved in:
  4. 4
    Collaborative model for preparing formal software specification document /
    由 Sullabi, Mohamed Ahmed
    出版 2008
    主题: “...Formal methods (Computer science)...”
    Thesis 图书
    加到收藏夹
    Saved in:
  5. 5
    The role of formative assessment in the Malaysian English language classroom: A case study / Adam Prakash Abdullah
    由 Abdullah, Adam Prakash
    出版 2005
    “.... Teachers choose more formal methods of assessment, particularly those that involve writing because...”
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  6. 6
    A unified trust model for common criteria recognition arrangement for product acceptance
    由 Mat Isa, Mohd Anuar
    出版 2018
    “... in minimizing the trust problem using a process of relation algebra and formal methods. Precedent methods...”
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  7. 7
    A Development of Database Driven Inventory Management for Saudi Small Enterprises
    由 Yousef, Alqahtani Ebtisam
    出版 2011
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  8. 8
    Requirement Model for Purchasing Management System: A Case Study at Agensi Anti-Dadah Kebangsaan Kedah (AADK)
    由 Ahmad Sahbudin, Che Mat
    出版 2007
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  9. 9
    Kolej Komuniti Arau Perlis (KKAP) Network Modeling Using OMNeT++
    由 Mohd Aishamuddin, Yaakob
    出版 2012
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  10. 10
    Performance Modelling of UUM Local Area Network(Wired)
    由 Adegbite, Taiwo Ayankunle
    出版 2009
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  11. 11
    A model of software component interactions using the call graph technique
    由 Nooraini, Ismail
    出版 2013
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  12. 12
    The Requirement Model of a Ploughing Incentive Information System
    由 Norfazlin, Rashid
    出版 2011
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  13. 13
    A test case generation framework based on UML statechart diagram
    由 Salman, Yasir Dawood
    出版 2018
    获取全文
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  14. 14
    An adaptive trust based service quality monitoring mechanism for cloud computing
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  15. 15
    An Innovative Signature Detection System for Polymorphic and Monomorphic Internet Worms Detection and Containment
    由 Rasheed, Mohammad M.
    出版 2012
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  16. 16
    An efficient pending interest table control management in named data network
    由 Alubady, Raaid Nasur Kadham
    出版 2017
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  17. 17
    A process based approach software certification model for agile and secure environment
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  18. 18
    Iterative Simulation-Based Design of a Multi Input Controller for a Hybrid Renewable Energy System
    由 Abdullahi, Inusa
    出版 2021
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  19. 19
    An Automated Approach To Elicit And Validate Security Requirements Of Mobile Application
    由 Yusop, Noorrezam
    出版 2018
    获取全文
    获取全文
    Thesis
    加到收藏夹
    Saved in:
  20. 20
    Apresiasi karya seni catan berunsurkan elemen seni tradisional Melayu dalam konteks etnomatematik
    获取全文
    thesis
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索