کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951440 | 1364355 | 2016 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The Vienna Development Method (VDM) is one of the most mature formal methods, with a history of cost-effective industrial deployment. One important route for this has been the development of robust tools supporting the construction of models, and their animation. We trace the history of this strand of work from the mid-1990s to 2015, taking as our starting point challenges for the industrial usage of formal methods set out by José Nuno Oliveira in 1997. We describe five generations of VDM tools: the IFAD VDM Toolbox, VDMTools, Overture, Crescendo and Symphony, emphasising the influence that the goal of industry usage has had on their features and architectures. We chart the move from a single-formalism tool focused on executable VDM specifications to a platform for multi-tool analysis of a wider range of models, and look forward to the growth of integrated multidisciplinary toolchains from the ongoing INTO-CPS project. We briefly compare the VDM tool story with the approaches taken by other formalisms that have been applied in industry.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 5, Part 2, August 2016, Pages 985-998
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 5, Part 2, August 2016, Pages 985-998
نویسندگان
Peter Gorm Larsen, John Fitzgerald,