این برنامه لینوکس با نام A-Spec است که آخرین نسخه آن را می توان با نام a-spec.V0.6.1a.tar.gz دانلود کرد. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن با نام A-Spec را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. OnWorks Linux آنلاین یا شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MACOS را از این وب سایت راه اندازی کنید.
- 5. از سیستم عامل لینوکس OnWorks که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. اپلیکیشن را دانلود کرده، نصب و اجرا کنید.
A-Spec
Ad
شرح
یک زبان مشخصات طراحی بر اساس Z Notation و CSP.
امکانات
- نماد CSP
- نماد Z
- خروجی لاتکس
- خروجی درخت نحو XML
- خروجی درخت نحوی GraphViz
مخاطبان
علم/تحقیق، آموزش، صنعت مخابرات، توسعه دهندگان، مهندسی
رابط کاربری
کنسول/ترمینال، خط فرمان
این برنامه ای است که می توان آن را از https://sourceforge.net/projects/a-spec/ نیز دریافت کرد. در OnWorks میزبانی شده است تا به آسانی از یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.