فهرست مقالات software reliability

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

  شریعت اسلام رضایت را اساس انعقاد عقود بدون تعیین لفظی معین یا شکلی مشخص قرار داده است و از طرفی در شریعت اسلام عقد معامله با هر چیزی که بر آن دلالت کند از جمله گفتار، عمل، کتابت یا اشاره منعقد می‌گردد. عقد و قرارداد از طریق اینترنت در اصل عقد بین دو شخص است که از لحاظ زمان حاضر و از لحاظ مکان غایب هستند. تجارت الکترونیکی، توافق بین دو شخص است که از طریق شبکه ای بین المللی (اینترنت) در مقابل ایجاب فروشنده، از طرف خریدار از راه دور قبول صادر می شود و این نیز از طریق وسایل سمعی و بصری صورت می گیرد. که در آن فروشنده خود را ملزم می نماید که جنس یا مالی را در مقابل دریافت پول نقد از طریق اینترنت در ملکیت مشتری در آورد. عقدی که به وسیلۀ کتابت و نامه نگاری صورت می گیرد، عقد بین دو شخص غایب می باشد که عقد الکترونیکی نیز به این نوع ملحق شده است. اجرای عقد از طریق اینترنت و با گفت‌وگوی صوتی تصویری به عقد بین دو شخص حاضر شباهت دارد لذا بر آن قیاس می شود و از نظر زمان به عنوان عقد بین دو شخص حاضر معتبر شمرده شده است. از طرفی دیگر ایجاب و قبول باید به شیوه‌ای باشد: که قبول بعد از ایجاب و بدون فاصله بیاید، و مطابق ایجاب باشد، ایجاب هم تا زمان صدور قبول باقی مانده باشد، و هر یک از طرفین عقد گفتۀ دیگری را بشنود و فوریت در قبول شرط نمی باشد. پرونده مقاله
• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  2 - An analytical model for estimating the reliability of critical software systems by considering the self-healing property of bottleneck components
  Ali Tarinejad Habib Izadkhah Mohammad Reza MollaHosieni Kamal Mirzaie
  Architecture-based techniques for assessing the reliability of critical software systems have attracted a lot of attention in recent years. In order to prevent the failure of software systems in the final phases of development in critical software systems, we must apply چکیده کامل

  Architecture-based techniques for assessing the reliability of critical software systems have attracted a lot of attention in recent years. In order to prevent the failure of software systems in the final phases of development in critical software systems, we must apply the software reliability evaluation process to all stages of software development. Reliability evaluation of component-based critical software systems is very important in the early stages of software system development and from its architecture as one of the quality attributes of software systems. This article proposes a method to evaluate the reliability of critical software systems by considering the self-healing effect of bottleneck components. A self-healing component can automatically repair itself and return to a normal state when a failure occurs. Since the design of a self-healing component is a very complicated and costly task, it is not possible to create self-healing for all components. Therefore, identifying bottleneck components in order to self-repair them in the early stages of software development can have a great impact on reliability. Nowadays, several methods have been proposed based on design models to evaluate the reliability of software systems, but no report has been provided on the effect of self-repair on reliability and also finding components that have a great impact on software reliability in the early stages of software development. In this article, first, a method for modeling self-healing using the Markov chain will be proposed, and then four different methods (without -Taylor series - without self-healing, without Taylor series - with self-healing, with -Taylor series - without self-healing and with Taylor series - with self-healing) will be presented to evaluate the reliability of a software system based on its architecture. The relations proposed will enable a software engineer to identify the influential and bottleneck components for self-healing. پرونده مقاله
• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  3 - The Compatibility of Parametric Software ‎Reliability Growth Models in PRGA
  Reza Roshani Homayun Motameni Hosein Mohamadi
  Software Reliability (SR) is a key non-operational feature measured when evaluating software quality. To enhance this feature, it is important to detect failures and mitigate them in the testing phase. SR can be increased by identifying and removing this failure from th چکیده کامل

  Software Reliability (SR) is a key non-operational feature measured when evaluating software quality. To enhance this feature, it is important to detect failures and mitigate them in the testing phase. SR can be increased by identifying and removing this failure from the defect data. The existing literature consists of many models/methods applicable to measuring SR, including the SR Growth Models (SRGMs). Generally, SRGMs are in two main types: parametric and non-parametric. As these models are diverse, when applying to a certain problem, the particular requirements and conditions of that problem should be taken into account. The current paper explains the fundamental concepts of reliability, then reviews the Parametric SR Growth Models (PSRGMs) and evaluates various approaches already proposed in this domain. In addition, this study investigates the SRGMs compatibility by means of a novel Parallel Real-valued Genetic Algorithm (PRGA)-based method. The results achieved under a variety of conditions for each model showed the extent of compatibility with GA. پرونده مقاله