Formal Methods at the Crossroads

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity, held in Lisbon, Portugal, March 18-21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute's10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere, notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute's research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST's research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in?uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any 'n- formal' practice, dismissing it as an inappropriate contribution to the as yet ill-de?ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2003

نویسنده

Tom Maibaum

ناشر

Springer

شابک

9783540205272

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Formal Methods at the Crossroads

Formal Methods at the Crossroads

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2003

نویسنده

ناشر

شابک

کتاب های مرتبط

C All-In-One Desk Reference for Dummies

Professional CSS

Digital Photography For Dummies

A Truck Full of Money

Nonlinear Dynamics and Chaos

Nonlinear Dynamics and Chaos

Nonlinear Dynamics and Chaos, 2nd ed. SET with Student Solutions Manual

Complete Electronics

Trojan Horse

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Automatic Digital Document Processing and Management

Guide to Assembly Language

Core Concepts in Data Analysis

Core Concepts in Data Analysis

Guide to e-Science

The Connected Home

Militarized Conflict Modeling Using Computational Intelligence

Introduction to Compiler Design

Robert Recorde

Robert Recorde

دیدگاه کاربران