این برنامه ویندوز به نام FOML است که آخرین نسخه آن را می توان با نام foml1.3.zip دانلود کرد. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن با نام FOML را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. هر شبیه ساز آنلاین OS OnWorks را از این وب سایت راه اندازی کنید، اما شبیه ساز آنلاین ویندوز بهتر است.
- 5. از OnWorks Windows OS که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. برنامه را دانلود و نصب کنید.
- 7. Wine را از مخازن نرم افزار توزیع لینوکس خود دانلود کنید. پس از نصب، می توانید روی برنامه دوبار کلیک کنید تا آنها را با Wine اجرا کنید. همچنین می توانید PlayOnLinux را امتحان کنید، یک رابط کاربری فانتزی بر روی Wine که به شما کمک می کند برنامه ها و بازی های محبوب ویندوز را نصب کنید.
Wine راهی برای اجرای نرم افزار ویندوز بر روی لینوکس است، اما بدون نیاز به ویندوز. Wine یک لایه سازگار با ویندوز منبع باز است که می تواند برنامه های ویندوز را مستقیماً بر روی هر دسکتاپ لینوکس اجرا کند. اساساً، Wine در تلاش است تا به اندازه کافی از ویندوز را از ابتدا مجدداً پیاده سازی کند تا بتواند همه آن برنامه های ویندوز را بدون نیاز به ویندوز اجرا کند.
FOML
Ad
شرح
FOML یک زبان قواعد منطقی بیانی است که از مدل‌سازی، تحلیل و استنتاج شی پشتیبانی می‌کند. به طور طبیعی از فعالیت‌های سطح مدل مانند محدودیت‌ها (گسترش نمودارهای UML)، مدل‌سازی ترکیبی پویا، تحلیل و استدلال در مورد مدل‌ها، آزمایش مدل، مدل‌سازی الگوی طراحی، مشخصات زبان‌های مدل‌سازی خاص دامنه، و مدل‌سازی متا پشتیبانی می‌کند.
FOML می تواند در مورد:
1. فراداده مدل (استدلال سطح فرا مدل یا استدلال نحوی)
2. سطح داده: دلیل در مورد یک مدل و داده های آن (مدل نمونه، به عنوان مثال، نمودار)
FOML به عنوان یک لایه معنایی در بالای PathLP ساخته شده است - یک زبان قواعد منطقی فشرده از عبارات مسیر محافظت شده، اقتباسی از زیر مجموعه ای از F-logic.
امکانات
مخاطبان
علم/تحقیق
رابط کاربری
کنسول/ترمینال، خط فرمان
زبان برنامه نویسی
مقدمه
محیط پایگاه داده
پروژه یک ابزار مدیریت پایگاه داده است
دسته بندی ها
این برنامه ای است که می توان آن را از https://sourceforge.net/projects/pathlp/ نیز دریافت کرد. در OnWorks میزبانی شده است تا به آسانی از یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.
