کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875329 1441650 2015 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Technology transfer: Formal analysis, engineering, and business value
ترجمه فارسی عنوان
انتقال فن آوری: تجزیه و تحلیل رسمی، مهندسی و ارزش کسب و کار
کلمات کلیدی
ترجمه چکیده
در حالیکه ما تمرکز خاصی بر گوانا و تجربه ما با این تکنولوژی اساسی داریم، ما معتقدیم که بسیاری از این جنبه ها برای زمینه گسترده ای از تجزیه و تحلیل رسمی و فن آوری تایید و پذیرش آن در صنعت درست است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
انتقال فن آوری: تجزیه و تحلیل رسمی، مهندسی و ارزش کسب و کار
چکیده انگلیسی
While we provide a particular focus on Goanna and our experience with that underlying technology, we believe that many of those aspects hold true for the wider field of formal analysis and verification technology and its adoption in industry.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 103, 1 June 2015, Pages 3-12
نویسندگان
,