مقاله ترجمه شده مدلسازي مديريت تصادف خودرو با روش KAOS

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

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

Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. KAOS is a goal-driven, model based approach for elaborating a complete, adequate, consistent, and well-structured set of measurable software requirements and environment assumptions. The modeling language and method cover the intentional, structural, functional, and behavioral facets of the target system. Declarative and operational sub-models are integrated.

 Semi-formal and formal techniques complement each other for model construction, analysis and evolution. They support early and incremental reasoning on partial models for a variety of purposes including goal satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management

تعدادصفحات فارسی:14
تعدادصفحات انگلیسی:6
سال انتشار:2013

• مشخصات محصول
• دسته‌بندی محصول
• برچسب‌ها
• دیدگاه‌ها