ورود
مقالات فارسیISIکنفرانسهاژورنالها

راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT

محل انتشار: ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران
سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,155

فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:
https://civilica.com/doc/185242

شناسه ملی سند علمی:

CCCI06_017

تاریخ نمایه سازی: 13 اسفند 1391

چکیده مقاله:

روشهای توصیف صوری نیازمندی ها درفرایند توسعه نرم افزار توسط بسیاری ازتوسعه دهندگان نرم افزار اشتباه برداشت شده مورد کم توجهی قرارگرفته است درحالیکه بیشتر تحقیقات صورت گرفته روی نقاط ضعف و قوت آنها متمرکز شده اند و این درحالی است که این روش ها برای جلوگیری از آسیب پذیری توسعه سیستم های C4I درایجاد ترتیب آزمون ها از توصیف صوری بسیار مناسب است باتوجه به اینکه تحلیل و ارزیابی بسیاری روی این روشها صورت گرفته اما کماکان به یک ارزیابی هدفمند و با قاعده جهت بیان راهبردهایی برای بهبود این روشها درسیستم های C4I بطورخاص و توسعه نرم افزار بطور عام مورد نیاز است ما دراین مقاله یک مرور ازنقاط ضعف و وقت این روشها براساس روش تحلیل قوت ضعف فرصت - تهدید Strengths-Weaknesses-Opportunities-Threats(SWOT ارایه کرده ایم

کلیدواژه ها:

نویسندگان

میلاد محمدی

تهران دانشگاه شهید بهشتی

سیدمحمد قرشی
حسن حقیقی

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • J. Woodcock and J. Davies, Using Z: Specification, Refinement, and ...
  • Pressman Roger S., SOFTWARE ENGINEERING : _ PRA CTITIONER 'S ...
  • Marciniak, J. J. (ed.), Encyclopedia of Software Engineering, 2d ed., ...
  • D. Andrews, Formal Methods in Software Engineering Education Discussion Summary, ...
  • P.G. Larsen, J. Fitzgerald, S. Wolff, Are Formal Methods Ready ...
  • F. Kordon, L. Petrucci, Toward Form al-Methods Oecumenism?, IEEE Distributed ...
  • A. Hall, Seven Myths of Formal Methods, 0740- 745 9/90/0900/00 ...
  • J.P. Bowen, M.G. Hinchey, Seven More Myths of Formal Methods, ...
  • J.P. Bowen, M.G. Hinchey, Ten Comman dments of Formal Methods ...
  • G. Tremblay, Formal Methods: Mathematics, Computer Science or Software Engineering?, ...
  • S. Liu, K. Takahashi, T. Hayashi, T. Nakayama, Teaching Formal ...
  • C.M. Holloway, WHY ENGINEER S SHOULD CONSDER FORMAL METHODS, Proceedings ...
  • _ Avionics Systems Conference, _ 1997. ...
  • Armstrong, M., Management Processes and Functions, CIPD, London, 1996 ...
  • M.G. Hinchey, Confession of Formal Methodist, _ Australian workshop on ...
  • D. Hamilton, R. Covington, A. Lee, An Experience _ _ ...
  • V.R. Basili, B.T. Perricone, Software Errors and Empirical ...
  • Commun ications of the ACM, 21(1): 42-52, January, 1984. ...
  • B.W. Boehm, Software Engineering Economics, IEEE Transactions on Software Engineering, ...
  • J.C. Kelly, J.S. Sherif, J. Hops, An Analysis of Defect ...
  • M.G. Hinchey and J.P. Bowen, eds., Applications of Formal Methods, ...
  • G.R. Hird, Formal Methods in Software Engineering, CH2929 -8/90/0000-02 30, ...
  • M.G. Hinchey, J.L. Rash, and C.A. Rouff, Requirements to Design ...
  • P. Zave and M. Jackson, Where Do Operations Come From? ...
  • M. Buchi, E. Sekerinski, Formal Methods for Component Software: The ...
  • I. Schaefer, R. Hahnle, Formal Methods in Software Product Line ...
  • A. Dix, Formal Method for Interactive System, Academic Press, San ...
  • K. Kinney, Mathematical Notations in Formal Specifications: _ Difficult for ...
  • P.G. Larsen, J. Fitzgerald, and T. Brookes, Applying ...
  • L.W. Yeoh, M.C. NG, Architecting C4I Systems, Second _ _ ...
  • M. A. Fecko, M. i. Uyar, P. D. Amer, A. ...
    • نمایش کامل مراجع