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