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

আমি ভাবছি যে এমন কোনও পরীক্ষা-নিরীক্ষা রয়েছে যা গতিশীল ভাষার ব্যবহারের মধ্যে (যেমন পাইথন, রুবি বা জাভা প্ল্যাটফর্ম যেমন গ্রোভি, ক্লোজার) চলমান ভাষাগুলির মধ্যে পারস্পরিক সম্পর্কের অস্তিত্ব বা অস্তিত্বকে দেখায়? স্থির ভাষা (যেমন সি / সি ++) এবং উত্পাদনশীলতার পার্থক্য।

25 programming-languages  empirical-research  software-engineering 

থামানো সমস্যাটি সাধারণ ক্ষেত্রে সমাধান করা যায় না। অনুমতিপ্রাপ্ত ইনপুটগুলিকে সীমাবদ্ধ করে এমন সংজ্ঞায়িত নিয়মগুলি নিয়ে আসা সম্ভব এবং সেই বিশেষ মামলার জন্য কী থামানো সমস্যা সমাধান করা যেতে পারে? উদাহরণস্বরূপ, সম্ভবত মনে হচ্ছে যে কোনও ভাষা উদাহরণস্বরূপ লুপগুলিকে অনুমতি দেয় না, প্রোগ্রামটি থামবে কি না তা খুব সহজেই বলা …

18 computability  undecidability  software-engineering  formal-methods 

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

18 computability  formal-methods  software-engineering  software-verification 

লেখার জন্য ব্যয় করা সময়, বা প্রয়োজনীয়তাগুলি নিয়ে চিন্তাভাবনার ফলে বিকাশের কোনও প্রভাব পড়বে কি এমন কোনও প্রমাণ রয়েছে? স্ট্যান্ডিশ (1995) দ্বারা করা অধ্যয়ন পরামর্শ দেয় যে অসম্পূর্ণ প্রয়োজনীয়তাগুলি (13.1%) প্রকল্পগুলির ব্যর্থতায় অবদান রেখেছিল। এমন কোনও গবেষণা করা হয়েছে যা দেখায় যে প্রয়োজনীয়তা বিশ্লেষণে ব্যয় করা সময় কোনও প্রকল্পের বিকাশের …

15 software-engineering