وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...

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

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

تکنیک تحلیل کیفی تطبیقی» که مبتنی بر «جبر بولی» یا بسط بولی منطق مقایسه اسمی استرارت میل است،روششناسی ضمنی و تلویحی تحقیقات تطبیقی – تاریخی است. بااستفاده از این تکنیک تحلیل گران می توانند به وارسی ترکیب های متفاوت از تبیین کننده ها، به مثابه علل یک نتیجه (معلول) واحد بپردازند. تکنیک جبر بولی در تحلیل تطبیقی-تاریخی نیز ابزاری سودمند برای تحلیل مجموعه داده هایی با n متوسط است. در مقاله حاضر ابتد...

همواره آزمون و وارسی جزء پیچیده ترین و هزینه برترین گام های توسعه سیستم های نرم افزاری به شمار می آیند. با پدیدار گشتن سیستم های نرم افزاری نوین که بیشتر از پیش، بر پویایی، انعطاف پذ یری، خودمختاری، اندازه پذیری و توزیع شدگیشان افزوده شده است، پیچیدگی و هزینه آزمون و وارسی نیز افزون تر گشته است. در این میان، سیستم های با معماری خدمت گرا، به ویژه خدمت های وبی، با آنکه توانسته اند با بهره گیری از...

هدف: هدف پژوهش حاضر، تعیین میزان کاربردپذیری استاندارد توصیف محتوایی آرشیوی آمریکا (دکس)، در توصیف اسناد الکترونیکی است. امروزه گسترش منابع وبی و اتوماسیون‌های اداری موجب افزایش اسناد الکترونیکی شده‌است که این موضوع ضرورت تنظیم و توصیف جامع این استاندارد را درپی‌دارد. شناسایی و به‌کارگیری استاندارد مناسب برای توصیف اسناد الکترونیکی، مدیریت صحیح و دسترسی به این اسناد را در آینده...

  میل به سادگی در توصیف نظام، یکی از مفاهیم پایه در فلسفه علم و روش ­ های علمی است. زبان‌شناسی زایا نیز، برای رسیدن به کار آمدی مؤثرتر می‌کوشد تا اسباب نظری خود را به حداکثر سادگی برساند. در این مقاله، برای تحلیل سادگی دو نگرش چیره راجع به زبان با یکدیگر مقایسه شده اند که در هر دو آن‌ها میل به سادگی الزامی روش‌شناختی است. اولی نظریۀ ایکس تیره است که چامسکی آن را با اصلاحاتی در نظریۀ حاکمیت و مر...