الموضوعات المستخلصة من بحثك.
يعرض 1 - 20 نتائج من 27 نتيجة بحث عن '"Formal methods"', وقت الاستعلام: 0.13s تنقيح النتائج
  1. 1
    Linking integrated formal method with UML /
    بواسطة Liu, Jing
    منشور في 2001
    أطروحة كتاب
    أضف إلى المفضلة
    محفوظ في:
  2. 2
    Usability of semi-formal and formal methods integration : empirical assessments /
    بواسطة Rozilawati Razali
    منشور في 2008
    أطروحة كتاب
    أضف إلى المفضلة
    محفوظ في:
  3. 3
    Formal method for landmark saliency measurement based on social network analysis
    بواسطة Najafpour, Hamed
    منشور في 2012
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  4. 4
    Collaborative model for preparing formal software specification document /
    بواسطة Sullabi, Mohamed Ahmed
    منشور في 2008
    الموضوعات: “...Formal methods (Computer science)...”
    أطروحة كتاب
    أضف إلى المفضلة
    محفوظ في:
  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...”
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  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...”
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  7. 7
    A Development of Database Driven Inventory Management for Saudi Small Enterprises
    بواسطة Yousef, Alqahtani Ebtisam
    منشور في 2011
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  8. 8
    Requirement Model for Purchasing Management System: A Case Study at Agensi Anti-Dadah Kebangsaan Kedah (AADK)
    بواسطة Ahmad Sahbudin, Che Mat
    منشور في 2007
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  9. 9
    Kolej Komuniti Arau Perlis (KKAP) Network Modeling Using OMNeT++
    بواسطة Mohd Aishamuddin, Yaakob
    منشور في 2012
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  10. 10
    Performance Modelling of UUM Local Area Network(Wired)
    بواسطة Adegbite, Taiwo Ayankunle
    منشور في 2009
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  11. 11
    A model of software component interactions using the call graph technique
    بواسطة Nooraini, Ismail
    منشور في 2013
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  12. 12
    The Requirement Model of a Ploughing Incentive Information System
    بواسطة Norfazlin, Rashid
    منشور في 2011
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  13. 13
    A test case generation framework based on UML statechart diagram
    بواسطة Salman, Yasir Dawood
    منشور في 2018
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  14. 14
    An adaptive trust based service quality monitoring mechanism for cloud computing
    بواسطة Firdhous, Mohamed Fazil Mohamed
    منشور في 2016
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  15. 15
    An Innovative Signature Detection System for Polymorphic and Monomorphic Internet Worms Detection and Containment
    بواسطة Rasheed, Mohammad M.
    منشور في 2012
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  16. 16
    An efficient pending interest table control management in named data network
    بواسطة Alubady, Raaid Nasur Kadham
    منشور في 2017
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  17. 17
    A process based approach software certification model for agile and secure environment
    بواسطة Mohamed, Shafinah Farvin Packeer
    منشور في 2015
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  18. 18
    Iterative Simulation-Based Design of a Multi Input Controller for a Hybrid Renewable Energy System
    بواسطة Abdullahi, Inusa
    منشور في 2021
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  19. 19
    An Automated Approach To Elicit And Validate Security Requirements Of Mobile Application
    بواسطة Yusop, Noorrezam
    منشور في 2018
    احصل على النص الكامل
    احصل على النص الكامل
    أطروحة
    أضف إلى المفضلة
    محفوظ في:
  20. 20
    Apresiasi karya seni catan berunsurkan elemen seni tradisional Melayu dalam konteks etnomatematik
    بواسطة Rushana Sulaiman @ Abd Rahim
    منشور في 2019
    احصل على النص الكامل
    thesis
    أضف إلى المفضلة
    محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث