مشخصات کتاب

Formal Methods at the Crossroads. From Panacea to Foundational 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

ویرایش: 1 
نویسندگان: Tom Maibaum (auth.),  Bernhard K. Aichernig,  Tom Maibaum (eds.)  
سری: Lecture Notes in Computer Science 2757 
ISBN (شابک) : 9783540205272, 9783540400073 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2003 
تعداد صفحات: 467 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب روش‌های رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده: مهندسی نرم افزار، علوم کامپیوتر، عمومی، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Formal Methods at the Crossroads. From Panacea to Foundational 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش‌های رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده



این جلد به کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین‌المللی فناوری نرم‌افزار دانشگاه ملل متحد، و همچنین به یاد آرماندو هابرر که در حال کار بر روی آماده‌سازی از دنیا رفت، اختصاص دارد. این کتاب در فوریه 2003.

جلد با مقاله ویژه ای از تام میبام شروع می شود که زندگی و کار آرماندو هابرر را به یاد می آورد. بخش دوم کارهای انجام شده توسط اعضای UNU/IIST و همچنین مقاله ای در مورد تاریخچه این موسسه ارائه می کند. بخش‌های موضوعی بعدی، مشارکت‌های کلیدی محققان برجسته را ارائه می‌کند و بنابراین وضعیت هنر در مهندسی نرم‌افزار و اصول مهندسی و علمی آن، از مدل‌ها گرفته تا نرم‌افزار، سیستم‌های بلادرنگ، و تأیید را ارزیابی می‌کند. در مجموع، این کتاب یک بررسی منحصر به فرد از قدرت و پتانسیل روش های رسمی در مهندسی نرم افزار است.

توضیحاتی درمورد کتاب به خارجی

This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.

The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.

فهرست مطالب

Front Matter....Pages -
In Memoriam Armando Martín Haeberer....Pages 1-25
UNU and UNU/IIST....Pages 26-33
Contract-Based Testing....Pages 34-48
The Development of the RAISE Tools....Pages 49-64
An Algebraic Approach to the VERILOG Programming....Pages 65-80
Real-Time Systems Development with Duration Calculi: An Overview....Pages 81-96
X2Rel: An XML Relation Language with Formal Semantics....Pages 97-114
Where, Exactly, Is Software Development?....Pages 115-131
From Formal Techniques to Well-Founded Software Development Methods....Pages 132-150
Towards the Verifying Compiler....Pages 151-160
A Grand Challenge Proposal for Formal Methods: A Verified Stack....Pages 161-172
“What Is an Infrastructure?” Towards an Informatics Answer....Pages 173-190
A Formal Basis for Some Dependability Notions....Pages 191-206
Multi-view Modeling of Software Systems....Pages 207-225
An Executable Specification Language Based on Message Sequence Charts....Pages 226-241
Graph-Based Models of Internetworking Systems....Pages 242-266
Software Development by Refinement....Pages 267-286
Formal Methods within a Totally Functional Approach to Programming....Pages 287-307
Coordination Technologies for Just-in-Time Integration....Pages 308-321
Real-Time Process Algebra and Its Applications....Pages 322-336
Making Timed Automata Communicate....Pages 337-351
A Tool Architecture for the Next Generation of Uppaal ....Pages 352-366
Verification by Abstraction....Pages 367-380
Combining Decision Procedures....Pages 381-422
A Theory of Hints in Model Checking....Pages 423-438
Type Systems for Concurrent Programs....Pages 439-453
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Turbulent Shear Layers in Supersonic Flow

دانلود کتاب Nutrition and Lactation in the Dairy Cow

دانلود کتاب Stories (Upper-intermediate)

دانلود کتاب Two Essays on the Geography of Ancient Asia: Intended Partly to Illustrate the Campaigns of Alexander, and the Anabasis of Xenophon

دانلود کتاب Lasso the Wind: Away to the New West