প্রশ্ন ট্যাগ «se.software-engineering»

স্থগিত সমস্যা যে এটা অসম্ভব একটি প্রোগ্রাম যে যদি অন্য প্রোগ্রাম স্থগিত নির্ধারণ করতে পারেন, জন্য লিখতে সম্ভাব্য সব ইনপুট প্রোগ্রাম । আমি তবে অবশ্যই একটি প্রোগ্রাম লিখতে পারি যা লাইক প্রোগ্রামের চলমান সময় গণনা করতে পারে: for(i=0; i<N; i++) { x = 1; } এবং সময় জটিলতাটি এটি কখনও …

23 computability  time-complexity  formal-methods  se.software-engineering 

আমি নিজেই আনুষ্ঠানিক পদ্ধতি শিখছি। আমি শুনেছি মিশন সমালোচনামূলক সফ্টওয়্যার (যেমন পারমাণবিক চুল্লী নিয়ন্ত্রক, বিমান উড়ান নিয়ন্ত্রক, স্পেস প্রোব নিয়ামক) তৈরি করতে আনুষ্ঠানিক পদ্ধতিগুলি ব্যবহার করা হয় (এবং সাধারণত কেবল ব্যবহৃত হয়)। এজন্যই আমি এটি শিখতে আগ্রহী: পি তবে, আনুষ্ঠানিক পদ্ধতিগুলি (বিশেষত এলটিএল, সিটিএল এবং তাদের ভাইবোন) শিখার পরে, আমি …

15 program-verification  formal-methods  se.software-engineering