آزمون خودکار با استفاده از ضوابط نرم افزار از مهمترین زمینه های تحقیقاتی آزمون نرم افزار می باشد. اهمیت آزمون خودکار در کاهش هزینه های تولید نرم افزار و بالا بردن ضریب اطمینان به نرم افزار است. روش های موجود برای آزمون خودکار با تعریف معیارهای مورد نیاز که وابسته به کد و یا ضوابط نرم افزار می باشد، به دنبال تولید داده آزمون به منظور پوشش معیارها، اجرای آزمون روی برنامه و بررسی نتایج حاصل با ارا...

تاریخ گذاری سوره های قرآن کریم در شناخت درست آن ها و برگزیدن اقوال و آراء صحیح و ردّ سخنان ناصواب، بس مؤثر است. این امر خود بر شناختی دیگر استوار است که آن تعیین مکی یا مدنی بودن یک سوره است. علم مکی و مدنی، بسیاری از سوره های قرآن را بدون اختلاف مکی برمی شمرد و تعدادی کم تری را بدون هیچ سخن دگرسان، مدنی می داند ولی در خصوص اندک سوره هایی، اختلاف در مکی یا مدنی بودن را نشان می دهد. سوره عادیات، ...

پیچیده تر شدن روشهای جمع آوری، سازماندهی و تحلیل اطلاعات در علوم رفتاری بر وسعت پژوهشها افزوده و چنین گسترشی به آگاهی و نگرانی بیشتر نسبت به موضوع اخلاق پژوهش انجامیده و کنکاش در مسائل اخلاقی در این حیطه را الزامی ساخته است. در علوم رفتاری، تخطّی و تجاوز از اصول اخلاقی عمدتاً شامل دستکاری شرکت کنندگان در مطالعه یا وجود برخی از تهدیدهای پنهان و فقدان  مصونیت در برابر آن و نیز بررسیهای پنهانی امور ...

در این مقاله، ضمن شرح مختصری از سیر تطوّر روابط تعیین وقت نمازها در اسلام، دو رابط? نویافته و یک ضابطه برای تعیین وقت نمازهای پنجگانه، که از خلال نسخه های خطّی استخراج شده است، مورد بررسی قرار گرفته اند. این متون عبارتند از: (1) صدباب در معرفت اسطرلاب سیّد ضیاء الدّین شوشتری؛ (2) استیعاب فی علم الاصطرلاب ابوریحان بیرونی؛ (3) انیس الطّلّاب فی معرفة الاصطرلاب محمّد مجدالدّین بن زین الدّین محمد همدانی؛ (4)...

پژوهش حاضـر به منظور بررسـی اثر مشاوره­ی راه­حل-محور بر رضایت زناشویی زوج­های هر دو شاغل صورت گرفته است. مشاوره­ی راه­حل محور یکی از انواع درمان­های کوتاه مدت است که بر یافتن راه­حل­ها توسط مراجع با کمک مشاور تأکید دارد. جامعه­ی پژوهش شامل آن دسته از معلم­هایی می­باشد که همسر آنها نیز شاغل است. نمونه­ی پژوهش شامل 24 زوج است که از بین زوجینی که حاضر به شرکت در مطالعه شدند به­صورت تصادفی انتخاب ش...

فرض می کنیم یک منیفلد ریمانی جهتدار فشرده ی بدون مرز و از بعد n=4k مانند m داشته باشیم. علامت یک منیفلد همانند علامت یک فرم درجه دوم مانند q تعریف می شود .در تعریف علامت q از دو ضرب متفاوت به نام های ضرب خارجی فرم ها و ضرب ناوی کلاس های کوهمولوژی استفاده خواهیم کرد. لازم به ذکر است که علامت یک منیفلد به عنوان یک محصول توپولوژیکی پایا به اثبات رسیده است. همچنین با استفاده از متریک موجود یک عملگر...

شکل گیری فرم در معماری، حاصل عوامل مختلف عملکردی، اقتصادی، اجتماعی و فرهنگی، اقلیمی و محیطی و همچنین شرایط ساخت و ایستایی است. ایستایی در این میان، نقش اساسی در شکل گیری فرم و پایداری در مقابل عوامل محیطی دارد، زیرا نقش ایستایی متضمن پایداری کل ساختار فرم معماری است؛ بنابراین، جایگاه سازه و اهمیت آن در طراحی و نقشی که در شکل دادن به فرم دارد، موضوعی است که به سبب اهمیت آن باید مورد مطالعه قرار ...

کنترل نحوه استفاده از اراضی در شهرها و پیرامون آن، همواره به عنوان مسئله اصلی برنامه ریزان شهری و منطقه ای مطرح بوده است. به عبارتی، انتخاب کاربری بهینه با لحاظ معیارهای متعدد جهت هدایت به سوی برنامه ای همه جانبه و در راستای توسعه پایدار، از نگرش های جدید برنامه ریزی در دو دهه اخیر بوده. با تغییر نگرش به طرح های شهرسازی، شیوه ها و قابلیت های متعددی برای رویارویی با این موضوع چه در داخل شهرها و ...

چکیده ندارد.

چکیده ندارد.