دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
دانلود کتاب «UML» 2004 - زبان مدل سازی واحد. زبانها و برنامه های مدل سازی: هفتمین کنفرانس بین المللی ، لیسبون ، پرتغال ، 11-15 اکتبر 2004. مجموعه مقالات
مشخصات کتاب
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Amador Durán, Beatriz Bernárdez, Marcela Genero, Mario Piattini (auth.), Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor (eds.) سری: Lecture Notes in Computer Science 3273 ISBN (شابک) : 9783540233077, 3540233075 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 157 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب «UML» 2004 - زبان مدل سازی واحد. زبانها و برنامه های مدل سازی: هفتمین کنفرانس بین المللی ، لیسبون ، پرتغال ، 11-15 اکتبر 2004. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، مدیریت محاسبات و سیستم های اطلاعاتی، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب «UML» 2004 - زبان مدل سازی واحد. زبانها و برنامه های مدل سازی: هفتمین کنفرانس بین المللی ، لیسبون ، پرتغال ، 11-15 اکتبر 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب «UML» 2004 - زبان مدل سازی واحد. زبانها و برنامه های مدل سازی: هفتمین کنفرانس بین المللی ، لیسبون ، پرتغال ، 11-15 اکتبر 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی زبان مدلسازی یکپارچه، UML 2004، در لیسبون، پرتغال، در اکتبر 2004 است.
30 مقاله کامل اصلاح شده همراه با خلاصه هایی در مورد ارائه شده است. کارگاه ها و آموزش ها به دقت بررسی و از بین 135 مقاله فنی ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد مدلسازی فرامدل، جنبه‌ها، نمایه‌ها و الحاقات، OCL، تبدیل مدل، تأیید و سازگاری مدل، امنیت و روش‌شناسی سازماندهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th International Conference on the Unified Modeling Language, UML 2004, held in Lisbon, Portugal, in October 2004.
The 30 revised full papers presented together with summaries on the workshops and tutorials were carefully reviewed and selected from 135 technical paper submissions. The papers are organized in topical sections on metamodeling, aspects, profiles and extensions, OCL, model transformation, verification and model consistency, security, and methodology.
فهرست مطالب
Front Matter....Pages I-XIII
Empirically Driven Use Case Metamodel Evolution....Pages 1-11
Applying OO Metrics to Assess UML Meta-models....Pages 12-26
An OCL Formulation of UML2 Template Binding....Pages 27-40
A Metamodel for Generating Performance Models from UML Designs....Pages 41-53
On the Classification of UML’s Meta Model Extension Mechanism....Pages 54-68
Modeling Business Processes in Web Applications with ArgoUWE....Pages 69-83
Model Composition Directives....Pages 84-97
Query Models....Pages 98-112
Specifying Cross-Cutting Requirement Concerns....Pages 113-127
A UML Profile to Model Mobile Systems....Pages 128-142
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time....Pages 143-157
A UML Profile for Executable and Incremental Specification-Level Modeling....Pages 158-172
Applying Refactoring Techniques to UML/OCL Models....Pages 173-187
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report....Pages 188-196
From Informal to Formal Specifications in UML....Pages 197-211
Building Precise UML Constructs to Model Concurrency Using OCL....Pages 212-225
An ASM Definition of the Dynamic OCL 2.0 Semantics....Pages 226-240
Towards a Framework for Mapping Between UML/OCL and XML/XQuery....Pages 241-259
Model-Driven Architecture for Automatic-Control: An Experience Report....Pages 260-274
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation....Pages 275-289
Generic and Meta-transformations for Model Transformation Engineering....Pages 290-304
Supporting Model Refactorings Through Behaviour Inheritance Consistencies....Pages 305-319
Determining the Structural Events That May Violate an Integrity Constraint....Pages 320-334
Deductive Verification of UML Models in TLPVS....Pages 335-349
Integrating a Security Requirement Language with UML....Pages 350-364
Automated Verification of UMLsec Models for Security Requirements....Pages 365-379
Extending OCL for Secure Database Development....Pages 380-394
Test Driven Development of UML Models with SMART Modeling System....Pages 395-409
Behavioral Domain Analysis — The Application-Based Domain Modeling Approach....Pages 410-424
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications....Pages 425-439
Workshops at the UML 2004 Conference....Pages 440-448
Tutorials at the UML 2004 Conference....Pages 449-452
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Smart Sensing and Context: Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007. Proceedings
دانلود کتاب Medical Imaging and Augmented Reality: 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, Proceedings
دانلود کتاب Universal Access in Human-Computer Interaction. Applications and Services: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
دانلود کتاب Enterprise Interoperability: Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009, Proceedings
دانلود کتاب Non-Perturbative Methods and Lattice Qcd: Proceedings of the International Workshop Guangzhou, China 15-20 May 2000
دانلود کتاب Proceedings of Liverpool Singularities Symposium II
دانلود کتاب FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
دانلود کتاب Warhammer Army Book - (Games Workshop) - High Elves
دانلود کتاب Knowledge Discovery in Life Science Literature: PAKDD 2006 International Workshop, KDLL 2006, Singapore, April 9, 2006. Proceedings
