دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
دانلود کتاب رویکردهای اساسی به مهندسی نرم افزار: هفتمین کنفرانس بین المللی ، FASE 2004. به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2004 ، بارسلونا ، اسپانیا ، 29 مارس - 2 آوریل 2004 برگزار می شود. مجموعه مقالات
مشخصات کتاب
Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.) سری: Lecture Notes in Computer Science 2984 ISBN (شابک) : 3540213058, 9783540213055 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 402 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 55,000
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای اساسی به مهندسی نرم افزار: هفتمین کنفرانس بین المللی ، FASE 2004. به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2004 ، بارسلونا ، اسپانیا ، 29 مارس - 2 آوریل 2004 برگزار می شود. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای اساسی به مهندسی نرم افزار: هفتمین کنفرانس بین المللی ، FASE 2004. به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2004 ، بارسلونا ، اسپانیا ، 29 مارس - 2 آوریل 2004 برگزار می شود. مجموعه مقالات
ETAPS 2004 هفتمین نمونه از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار بود. ETAPS یک کنفرانس سالانه فدرال است که در سال 1998 با ترکیب تعدادی از کنفرانس های موجود و جدید تأسیس شد. این سال شامل کنفرانس‌هایی (FOSSACS، FASE، ESOP، CC، TACAS)، 23 کارگاه آموزشی ماهواره‌ای، 1 آموزش و 7 سخنرانی دعوت‌شده (بدون احتساب سخنرانی‌هایی که مختص رویدادهای ماهواره‌ای هستند) بود. رویدادهایی که ETAPS را شامل می شود جنبه های مختلف سیستم - فرآیند توسعه، از جمله مشخصات، طراحی، پیاده سازی، تجزیه و تحلیل و بهبود را مورد توجه قرار می دهد. زبان‌ها، روش‌ها و ابزارهایی که از این فعالیت‌ها پشتیبانی می‌کنند، همگی در محدوده آن هستند. آمیزه‌های متفاوتی از تئوری و عمل، با تمایل به نظریه با انگیزه عملی از یک سو و عمل مبتنی بر درستی از سوی دیگر مورد انتقاد قرار می‌گیرند. بسیاری از مسائل مربوط به طراحی نرم افزار به طور کلی در مورد سیستم ها، از جمله سیستم های سخت افزاری، و theemphasisonsoftwareisnotintendedtobeexclusive اعمال می شود.
توضیحاتی درمورد کتاب به خارجی
ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di?erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive.
فهرست مطالب
Front Matter....Pages -
Distributed Information Management with XML and Web Services....Pages 1-11
A Formal Treatment of Context-Awareness....Pages 12-36
Consistent Adaptation and Evolution of Class Diagrams during Refinement....Pages 37-53
Measuring Aspect Cohesion....Pages 54-68
Refactoring Object-Z Specifications....Pages 69-83
Checking Absence of Illicit Applet Interactions: A Case Study....Pages 84-98
A Tool-Assisted Framework for Certified Bytecode Verification....Pages 99-113
Reasoning about Card Tears and Transactions in Java Card....Pages 114-128
Predictable Dynamic Plugin Systems....Pages 129-143
A Correlation Framework for the CORBA Component Model....Pages 144-159
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems....Pages 160-164
Actor-Centric Modeling of User Rights....Pages 165-179
Modeling Role-Based Access Control Using Parameterized UML Models....Pages 180-193
Compositional Nested Long Running Transactions....Pages 194-208
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets....Pages 209-213
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation....Pages 214-228
An Operational Semantics for Stateflow....Pages 229-243
Improving Use Case Based Requirements Using Formally Grounded Specifications....Pages 244-260
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design....Pages 261-266
Automated Debugging Using Path-Based Weakest Preconditions....Pages 267-280
Filtering TOBIAS Combinatorial Test Suites....Pages 281-294
Systematic Testing of Software Architectures in the C2 Style....Pages 295-309
Optimising Communication Structure for Model Checking....Pages 310-323
Translating Software Designs for Model Checking....Pages 324-338
Enhancing Remote Method Invocation through Type-Based Static Analysis....Pages 339-353
Specification and Analysis of Real-Time Systems Using Real-Time Maude....Pages 354-358
A Systematic Methodology for Developing Component Frameworks....Pages 359-373
Automating Decisions in Component Composition Based on Propagation of Requirements....Pages 374-388
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب The Engineering of Mixed Reality Systems
دانلود کتاب A New Paradigm of Knowledge Engineering by Soft Computing (Fuzzy Logic Systems Institute (Flsi) Soft Computing Series, Volume 5)
دانلود کتاب Chess Skill in Man and Machine
دانلود کتاب Changing the Conversation: Messages for Improving Public Understanding of Engineering
دانلود کتاب 08.Circuits and Systems - Fundamental Theory and Applications
دانلود کتاب Frequently Asked Questions in Quantitative Finance (Wiley Series in Financial Engineering)
دانلود کتاب Techos verdes sencillo y eficaz ; planificación, ejecución, consejos prácticos
دانلود کتاب Language Engineering (program code)
دانلود کتاب Guidelines for Evaluating the Characteristics of Vapor Cloud Explosions, Flash Fires, and BLEVEs
