ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

دانلود کتاب قابلیت اطمینان، کیفیت و ایمنی سیستم‌های مبتنی بر نرم‌افزار: IFIP TC5 WG5.4 سومین کنفرانس بین‌المللی قابلیت اطمینان، کیفیت و ایمنی سیستم‌های مبتنی بر نرم‌افزار (ENCRESS '97)، 29 تا 30 مه 1997، آتن، یونان

Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

مشخصات کتاب

Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

ویرایش: 1 
نویسندگان: , ,   
سری: IFIP — The International Federation for Information Processing 
ISBN (شابک) : 9781475763997, 9780387350974 
ناشر: Springer US 
سال نشر: 1997 
تعداد صفحات: 275 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 21 مگابایت 

قیمت کتاب (تومان) : 41,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 2


در صورت تبدیل فایل کتاب Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب قابلیت اطمینان، کیفیت و ایمنی سیستم‌های مبتنی بر نرم‌افزار: IFIP TC5 WG5.4 سومین کنفرانس بین‌المللی قابلیت اطمینان، کیفیت و ایمنی سیستم‌های مبتنی بر نرم‌افزار (ENCRESS '97)، 29 تا 30 مه 1997، آتن، یونان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب قابلیت اطمینان، کیفیت و ایمنی سیستم‌های مبتنی بر نرم‌افزار: IFIP TC5 WG5.4 سومین کنفرانس بین‌المللی قابلیت اطمینان، کیفیت و ایمنی سیستم‌های مبتنی بر نرم‌افزار (ENCRESS '97)، 29 تا 30 مه 1997، آتن، یونان



امروزه به طور گسترده قابل قبول است که در هیچ کجا تمرکز بر بهبود کیفیت نرم افزار به اندازه سیستم هایی با الزامات در زمینه ایمنی و قابلیت اطمینان - به ویژه برای توزیع شده، بلادرنگ و تعبیه شده مهمتر نیست. سیستم های. بنابراین، کارهای تحقیقاتی زیادی در این زمینه‌ها در حال پیشرفت است، زیرا بهبود فرآیند نرم‌افزار مستقیماً بر سطوح کیفیت به‌دست‌آمده تأثیر می‌گذارد، و بسیاری از آزمایش‌های کاربردی با هدف نشان دادن نتایج کمی نشان‌دهنده اثربخشی رویکردهای خاص هستند. الزامات ایمنی و قابلیت اطمینان - مانند سایر الزامات به اصطلاح غیرعملکردی برای سیستم های مبتنی بر رایانه - اغلب با عبارات مبهم و مبهم بیان می شوند یا اصلاً بیان نمی شوند. مشخصات بر جنبه‌های عملکردی و فنی تمرکز دارند، با موضوعاتی مانند ایمنی که فقط به طور ضمنی پوشش داده می‌شوند، یا به‌طور مستقیم به آن‌ها پرداخته نمی‌شوند زیرا احساس می‌شود واضح هستند. متأسفانه آنچه برای یک کاربر نهایی یا کاربر سیستم آشکار است، به تدریج برای دیگران کمتر می شود، تا جایی که یک توسعه دهنده نرم افزار ممکن است حتی از اینکه ایمنی یک مشکل است آگاه نباشد. بنابراین، شواهد رو به رشدی برای تشویق به درک بیشتر مسائل مربوط به ایمنی و قابلیت اطمینان، درست در سراسر طیف از کاربر نهایی تا توسعه‌دهنده نرم‌افزار وجود دارد. نه تنها در مناطق حساس ایمنی سنتی (مانند هسته ای، هوافضا) بلکه اذعان به نیاز به مواردی مانند ضربان ساز قلب و سایر سیستم های پزشکی و روباتیک بسیار قابل اعتماد هستند.


توضیحاتی درمورد کتاب به خارجی

It is, indeed, widely acceptable today that nowhere is it more important to focus on the improvement of software quality than in the case of systems with requirements in the areas of safety and reliability - especially for distributed, real-time and embedded systems. Thus, much research work is under progress in these fields, since software process improvement impinges directly on achieved levels of quality, and many application experiments aim to show quantitative results demonstrating the efficacy of particular approaches. Requirements for safety and reliability - like other so-called non-functional requirements for computer-based systems - are often stated in imprecise and ambiguous terms, or not at all. Specifications focus on functional and technical aspects, with issues like safety covered only implicitly, or not addressed directly because they are felt to be obvious; unfortunately what is obvious to an end user or system user is progressively less so to others, to the extend that a software developer may not even be aware that safety is an issue. Therefore, there is a growing evidence for encouraging greater understanding of safety and reliability requirements issues, right across the spectrum from end user to software developer; not just in traditional safety-critical areas (e.g. nuclear, aerospace) but also acknowledging the need for such things as heart pacemakers and other medical and robotic systems to be highly dependable.



فهرست مطالب

Front Matter....Pages i-x
Front Matter....Pages 1-1
Pythia: A regression test selection tool based on textual differencing....Pages 3-21
ProveIt: a C program correctness prover....Pages 22-31
An assessment of the number of paths needed for control flow testing....Pages 32-39
Front Matter....Pages 41-41
Automating software quality modelling, measurement and assessment....Pages 43-53
A quality-intensive approach to software development....Pages 54-64
Front Matter....Pages 65-65
User-perceptions Of Embedded Software Reliability....Pages 67-82
Motivated Humans for Reliable Software Products....Pages 83-91
Front Matter....Pages 93-93
Specification composition for the verification of message passing program composition....Pages 95-106
Front Matter....Pages 107-107
Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems....Pages 109-120
Object-oriented Safety Monitor Synthesis....Pages 121-133
Modification of Safety Critical Systems: An Assessment of three Approaches....Pages 134-147
Front Matter....Pages 149-149
Selected Legal Issues Related to Internet Use....Pages 151-160
Security of World Wide Web Search Engines....Pages 161-174
The Cascade Vulnerability Problem for Open Distributed Systems: A Review....Pages 175-185
Improving the Quality of Secure Distributed Systems....Pages 186-197
Front Matter....Pages 199-199
Partnership with Customers in Product Improvement....Pages 201-214
Introducing the Goal-Question-Metric approach to telecommunications software development: the PITA experiment....Pages 215-230
Software Development and Testing for Shipyard Robotic Welding....Pages 231-241
Testing based on users’ quality needs....Pages 242-255
Front Matter....Pages 257-257
An evaluation scheme of software testing techniques....Pages 259-262
Front Matter....Pages 257-257
Real-MFG: A Petri Net based model focusing on the integration of schedulability and fault tolerance....Pages 263-268
Design of an Integrated Educational Software Development Environment Oriented in Reuse and Quality Assurance of Products and Processes....Pages 269-272
An Approach to Improve Software Quality in Length Measurement Calibration....Pages 273-276
Back Matter....Pages 277-278




نظرات کاربران