سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

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

Publish Year: 1391
Type: Conference paper
Language: Persian
View: 1,285

This Paper With 10 Page And PDF Format Ready To Download

Export:

Link to this Paper:

Document National Code:

CCCI06_017

Index date: 3 March 2013

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

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

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

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

میلاد محمدی

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

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
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. ...
نمایش کامل مراجع

مقاله فارسی "راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT" توسط میلاد محمدی، تهران دانشگاه شهید بهشتی؛ سیدمحمد قرشی؛ حسن حقیقی نوشته شده و در سال 1391 پس از تایید کمیته علمی ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران پذیرفته شده است. کلمات کلیدی استفاده شده در این مقاله توصیف صوری، روشهای صوری، سیستم های C4I،تحلیل SWOT هستند. این مقاله در تاریخ 13 اسفند 1391 توسط سیویلیکا نمایه سازی و منتشر شده است و تاکنون 1285 بار صفحه این مقاله مشاهده شده است. در چکیده این مقاله اشاره شده است که روشهای توصیف صوری نیازمندی ها درفرایند توسعه نرم افزار توسط بسیاری ازتوسعه دهندگان نرم افزار اشتباه برداشت شده مورد کم توجهی قرارگرفته است درحالیکه بیشتر تحقیقات صورت گرفته روی نقاط ضعف و قوت آنها متمرکز شده اند و این درحالی است که این روش ها برای جلوگیری از آسیب پذیری توسعه سیستم های C4I درایجاد ترتیب آزمون ها از توصیف ... . برای دانلود فایل کامل مقاله راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT با 10 صفحه به فرمت PDF، میتوانید از طریق بخش "دانلود فایل کامل" اقدام نمایید.