default-logo
  • الرئيسية
  • عن المنصة
  • الخبراء
  • المؤلفات

966506000590+

تواصل معنا

أ.د. فتحي البورعي عيسى

  1. الرئيسية
  2. publications
  3. أ.د. فتحي البورعي عيسى
  4. Page 21

OOSTM: Object-Oriented Static Testing Model

Building of an Object-Oriented Analysis Tool

A Reliability and Performance Model for Static Data Flow Machines

DDFRAM: A Computational Model for Dynamic Data Flow Machines

CDFL: A Data Flow Programming Language

AIDA: A Dynamic Analyzer for the ADA Language

A Simulator for Dataflow Machines

Temporal Logic Based Dynamic Analyzer Expert System

A Distributed Compiler Server for Local Area Network

The Use of Temporal Logic in Software Testing

تعدد صفحات المقالات

1 … 19 20 21 22

منصّة إلكترونية متخصّصة في تقديم الاستشارات للقطاعين الأكاديمي وقطاع الأعمال، عبر نخبة من الخبراء المعتمدين من ذوي المؤهلات العلمية والخبرات العملية المتنوّعة.

الرقم الوطني الموحد: 7040794963

العنوان

السعودية- الرياض

تواصل معنا

info@wjz.sa

966506000590+

حقوق النشر © 2025 جميع الحقوق محفوظة.