এই কমান্ড cafeobj যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
cafeobj - বীজগাণিতিক স্পেসিফিকেশন এবং প্রোগ্রামিং ভাষা
সাইনোপিসিস
cafeobj [অনুযায়ী OPTION]... [নথি পত্র] ...
বর্ণনাঃ
শুরু করে ক্যাফেওবিজে দোভাষী
ক্যাফেওবিজে একটি সবচেয়ে উন্নত আনুষ্ঠানিক স্পেসিফিকেশন ভাষা যা উত্তরাধিকারসূত্রে অনেক উন্নত
বৈশিষ্ট্য (যেমন নমনীয় মিক্স-ফিক্স সিনট্যাক্স, অর্ডার দিয়ে শক্তিশালী এবং পরিষ্কার টাইপিং সিস্টেম
বাছাই, প্যারামিটারিক মডিউল এবং প্যারামিটার এবং মডিউল ইনস্ট্যান্ট করার জন্য ভিউ
অভিব্যক্তি, ইত্যাদি) OBJ (বা আরও ঠিক OBJ3) বীজগণিতীয় স্পেসিফিকেশন ভাষা থেকে।
CafeOBJ হল মডেলের ফর্মাল (অর্থাৎ গাণিতিক) স্পেসিফিকেশন লেখার জন্য একটি ভাষা
সফ্টওয়্যার এবং সিস্টেমের বিস্তৃত বৈচিত্র্য এবং সেগুলির বৈশিষ্ট্যগুলি যাচাই করা। ক্যাফেওবিজে
পুনর্লিখনের মাধ্যমে সমীকরণমূলক যুক্তি প্রয়োগ করে এবং একটি শক্তিশালী ইন্টারেক্টিভ উপপাদ্য হিসাবে ব্যবহার করা যেতে পারে
প্রমান সিস্টেম। স্পেসিফায়াররা CafeOBJ-এও প্রুফ স্কোর লিখতে পারে এবং এর মাধ্যমে প্রমাণ করতে পারে
প্রমাণ স্কোর নির্বাহ.
CafeOBJ-এ প্রতিষ্ঠানের উপর ভিত্তি করে অত্যাধুনিক কঠোর লজিক্যাল শব্দার্থ আছে। ক্যাফেওবিজে
কিউব বিভিন্ন যুক্তির সমন্বয়ের অন্তর্নিহিত বিভিন্ন যুক্তির গঠন দেখায়
ভাষা দ্বারা বাস্তবায়িত দৃষ্টান্ত। CafeOBJ-এ প্রুফ স্কোরও এর উপর ভিত্তি করে
প্রতিষ্ঠান ভিত্তিক কঠোর শব্দার্থবিদ্যা, এবং প্রমাণের সম্পূর্ণ সেট ব্যবহার করে নির্মাণ করা যেতে পারে
নিয়ম।
বিকল্প
বিকল্প দুটি শ্রেণীর আছে. প্রথম জন্য বিকল্প cafeobj মোড়ানো স্ক্রিপ্ট
যা অন্তর্নিহিত কমন লিস্প ইন্টারপ্রেটার নির্বাচন করতে এবং অনুসন্ধানের পথ সামঞ্জস্য করতে দেয়
প্যারামিটার।
-ইঞ্জিন NAME এর
অন্তর্নিহিত সাধারণ লিস্প ইঞ্জিন নির্বাচন করে। যদি না দেওয়া হয়, প্রথম একটি নির্বাচন
নির্মাণ সময় ব্যবহার করা হয়.
তালিকা-ইঞ্জিন
সমস্ত উপলব্ধ সাধারণ লিস্প ইঞ্জিনের তালিকা করে
-র্যাপার-লিবপথ পাথ
পথ সেট করে যেখানে লিস্প ইন্টারপ্রেটারের মেমরি ডাম্প পাওয়া যায়
- wrapper-sharepath পাথ
পথ সেট করে যেখানে CafeOBJ ইনিশিয়ালাইজেশন ফাইলগুলি অনুসন্ধান করা হয়
নিম্নলিখিত বিকল্পগুলির সেট সরাসরি CafeOBJ দোভাষীর কাছে নির্দেশিত হয়:
-হেল্প একটি সাহায্য বার্তা প্রিন্ট করুন
-q ব্যবহারকারীর ইনিশিয়ালাইজেশন ফাইল লোড করবেন না
-ব্যাচ ব্যাচ মোডে চালান
-p পাথ
স্ট্যান্ডার্ড প্রিলিউড ফাইল সংজ্ঞায়িত মডিউল দেয়
+p পাথ
অতিরিক্ত প্রিলিউড ফাইল লোড করুন
-l DIR- তালিকা
কোলন দ্বারা পৃথক করা মডিউল অনুসন্ধান পথের জন্য পথনামের তালিকা সেট করুন
+l DIR- তালিকা
মডিউল অনুসন্ধান পথের জন্য পথনামের একটি তালিকা যোগ করে
নথি পত্র ক্রমানুসারে স্টার্টআপ সময়ে লোড করা হয় যে ফাইল.
onworks.net পরিষেবা ব্যবহার করে অনলাইনে cafeobj ব্যবহার করুন