-
آرشیو :
نسخه پاییز 1397
-
موضوع :
مهندسی نرم افزار
-
نویسنده/گان :
مهدی نژادفرحانی، هما مهدی پور، نازنین نجفی
-
چکیده :
پردازش ابری برای یکپارچه کردن فنآوری های نوینی مانند وب 2 و دیگر فنآوری هایی که به تازگی عرضه شده اند، به کار می رود تا با موضوعات روزمره بتوان به کلیه نیازهای کاربران در فضای اینترنت پاسخ داد. نمونه ای از پردازش ابری که می توان به آن اشاره کرد، دراین روش گروه های بزرگی از سرورها که معمولا از نظر هزینه هم می توانند ارزان باشند، با هم به صورت شبکه در می آیند. مهندسی نرم افزار با یک روند ساده که شامل مجموعه فعالیتهایی است که به طور همزمان در مسیر مشخص اعمال می شوند. در روند سریع تغییر محیط های محاسباتی در وب سرویس های ابری و فرآیندهای توسعه دهنده های نرم افزار با چالش جدی روبرو شده اند .ودر نهایت به این نتیجه می رسیم که پردازش ابری یک نمونه موفق به جای راه های سنتی توسعه نرم افزار است.
واژگان کليدي: مهندسی نرم افزار - پردازش ابری - وب 2 - اینترنت. یکی از زبان¬های مهم در مشخصه¬سازی متدها زبان Z می¬باشد که امکان مدل¬سازی مشخصه¬های سیستم را با قواعد و روش¬های ریاضیات گسسته انجام می¬دهد. زبان Z یک زبان رسمی بر پایه¬ی تئوری مجموعه¬ها است. در این مقاله هدف بررسی جایگاه فرمال متدها و زبان Z در تحلیل مهندسی نیازمندی¬های نرم افزار همراه با ارائه نمونه¬هایی با این زبان خواهد بود.
-
کلید واژه :
فرمال متدها، زبان Z، مهندسی نیازمندی¬ها، جبر مجموعه¬ها و حساب محمولات
-
Title :
An overview of the formal and linguistic features of Z
-
Abstract :
One of the important languages in characterization of methods is Z language, which makes it possible to model the characteristics of the system with the rules and methods of discrete mathematics. Z is an official language based on set theory In this paper, the aim is to examine the formal position of methods and Z language in engineering analysis of software requirements along with providing examples with this language
-
مراجع :
[1] Beckert, B. (2009) Formal Specification of Software The Z Specification Language, Lecture Note, UNIVERSIT˜T KOBLENZ-LANDAU.
[2] Saiedian, H. (2006) Developing Formal Specifications in Z, Software Requirements Engineering, Electrical Engineering & Computer Science University of Kansas.
[3] Davies, J. (2006) Using Z Specification, Refinement, and Proof, Oxford press, University of Oxford.
[4] Spivey, J. M., Abrial, J. R., Hayes, I. J., Hoare, C. A. R., Morgan, C. C.,Sanders, J. W., Sufrin, B. A. (2006) The Z Notation: A Reference Manual Second Edition, Oxford press,University of Oxford.
- صفحات : 46-53
-
دانلود فایل
( 485 KB )