প্রশ্ন ট্যাগ «formal-methods»

22
কিছু প্রোগ্রামাররা কেন ভাবেন যে তত্ত্ব এবং অনুশীলনের মধ্যে একটি বৈসাদৃশ্য রয়েছে? [বন্ধ]
সিভিল ইঞ্জিনিয়ারিংয়ের সাথে সফটওয়্যার ইঞ্জিনিয়ারিংয়ের তুলনা করে আমি অন্যরকম চিন্তাভাবনা অবলম্বন করে অবাক হয়েছিলাম: যে কোনও সিভিল ইঞ্জিনিয়ার জানেন যে আপনি বাগানে একটি ছোট্ট কুঁড়িঘর তৈরি করতে চাইলে আপনি কেবলমাত্র উপকরণগুলি পেতে পারেন এবং এটি তৈরি করতে যেতে পারেন তবে আপনি যদি নির্মাণ করতে চান তবে একটি 10 ​​তলা বাড়ি …

8
আপনি যদি সফ্টওয়্যারটির জন্য আনুষ্ঠানিক পদ্ধতিগুলি শিখে থাকেন তবে আপনি এটি কতটা কার্যকর খুঁজে পেয়েছেন?
আপনি যদি প্রোগ্রামিংয়ের জন্য প্রথাগত পদ্ধতি (এফএম) ব্যবহার সম্পর্কে প্রশিক্ষণ প্রাপ্ত হন : আপনি এটি কতটা দরকারী খুঁজে পেয়েছেন? আপনার এফএম প্রশিক্ষণ কী জড়িত (যেমন একটি কোর্স, একটি বই)? আপনি কোন এফএম সরঞ্জামগুলি ব্যবহার করেন? এফএম ব্যবহার না করার সাথে তুলনা করে গতি / গুণমানের কী সুবিধা রয়েছে? আপনি এফএম …

3
আনুষ্ঠানিক পদ্ধতিগুলি ব্যাপকভাবে গ্রহণে বাধা কী? [বন্ধ]
বন্ধ । এই প্রশ্নটি মতামত ভিত্তিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে পোস্টটি সম্পাদনা করে সত্য এবং উদ্ধৃতি দিয়ে উত্তর দেওয়া যায় । 2 বছর আগে বন্ধ । কোনও অ্যাপ্লিকেশনটির কোড নির্দিষ্ট করতে, প্রমাণ করতে ও উত্পন্ন করতে আনুষ্ঠানিক পদ্ধতিগুলি …

5
সফ্টওয়্যার পরীক্ষার কোনও আনুষ্ঠানিক / গাণিতিক তত্ত্ব আছে?
গুগলিং "সফ্টওয়্যার টেস্টিং থিয়োরি" মনে হয় কেবল শব্দটির নরম অর্থে তত্ত্ব প্রদান করেছে; আমি গাণিতিক, তথ্য তাত্ত্বিক বা অন্য কোনও বৈজ্ঞানিক ক্ষেত্রের অর্থে একটি তত্ত্ব হিসাবে শ্রেণিবদ্ধ হবে এমন কোনও কিছুই খুঁজে পাইনি। আমি যা খুঁজছি সেটি হ'ল যা পরীক্ষণটি কীভাবে প্রথাগত হয়, ব্যবহৃত ধারণাগুলি, পরীক্ষার কেস কী, কোনও কিছুর …

3
আমি কোনও কিছু ভেঙে দিই না তা নিশ্চিত করার জন্য কোনও বৃহত পদ্ধতিতে রিফ্যাকচার করার সময় কী সহায়তা করবে?
আমি বর্তমানে বৃহত্তর কোডবেসের একটি অংশকে রিফেক্টর করছি যা কোনও ইউনিট পরীক্ষা ছাড়াই। আমি অবিশ্বাস্য কোডটি কোডটি রিফ্যাক্টর করার চেষ্টা করেছি, অর্থাৎ কোডটি কী করছে এবং কী কী পরিবর্তনগুলি এর অর্থ পরিবর্তন করে না তা অনুমান করার চেষ্টা করে, তবে সাফল্য ছাড়াই: এটি এলোমেলোভাবে কোডবেসের চারপাশে সমস্ত বৈশিষ্ট্যগুলি ভেঙে দেয়। …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.