مشخصات کتاب

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

ویرایش: 1 
نویسندگان: Dalal Alrajeh,  Alessandra Russo,  Sebastian Uchitel (auth.),  José Luiz Fiadeiro,  Paola Inverardi (eds.)  
سری: Lecture Notes in Computer Science 4961 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783540787426, 9783540787433 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 441 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

کلمات کلیدی مربوط به کتاب رویکردهای پایه ای به مهندسی نرم افزار: 11th International Conference، FASE 2008، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و نرم افزار نرم افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008.: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان

در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب رویکردهای پایه ای به مهندسی نرم افزار: 11th International Conference، FASE 2008، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و نرم افزار نرم افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب رویکردهای پایه ای به مهندسی نرم افزار: 11th International Conference، FASE 2008، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و نرم افزار نرم افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008.



این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین المللی رویکردهای بنیادی مهندسی نرم افزار، FASE 2008، برگزار شده در بوداپست، مجارستان، در مارس/آوریل 2008 به عنوان بخشی از ETAPS 2008، کنفرانس های مشترک اروپایی در نظریه و عمل است. نرم افزار.

26 مقاله کامل اصلاح شده همراه با 5 نمایش ابزار به دقت بررسی و از 119 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد نیازمندی‌ها و معماری‌ها، مدل‌ها و تبدیل‌های مدل، مدل‌های مفهومی و UML، مهندسی خدمات و خدمات سازگار، تأیید و آزمایش، و اشیا و مؤلفه‌ها سازمان‌دهی شده‌اند.

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

This book constitutes the refereed proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, FASE 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.

The 26 revised full papers presented together with 5 tool demonstrations were carefully reviewed and selected from 119 submissions. The papers are organized in topical sections on requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.

فهرست مطالب

Front Matter....Pages -
Deriving Non-zeno Behavior Models from Goal Models Using ILP....Pages 1-15
What’s in a Feature : A Requirements Engineering Perspective....Pages 16-30
Formal Approach to Integrating Feature and Architecture Models....Pages 31-45
Correctness-Preserving Configuration of Business Process Models....Pages 46-61
Consistent Integration of Models Based on Views of Visual Languages....Pages 62-76
Translating Model Simulators to Analysis Models....Pages 77-92
Orthographic Modeling Environment....Pages 93-96
HOL-OCL: A Formal Proof Environment for uml / ocl ....Pages 97-100
Towards Faithful Model Extraction Based on Contexts....Pages 101-115
Leveraging Patterns on Domain Models to Improve UML Profile Definition....Pages 116-130
When Things Go Wrong: Interrupting Conversations....Pages 131-145
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services....Pages 146-162
Engineering Service Oriented Applications: From StPowla Processes to SRML Models....Pages 163-178
A Logic of Graph Constraints....Pages 179-198
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects....Pages 199-214
Modelling and Verification of Timed Interaction and Migration....Pages 215-229
A Model Checking Approach for Verifying COWS Specifications....Pages 230-245
Contextual Integration Testing of Classes....Pages 246-260
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames....Pages 261-275
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms....Pages 276-291
Automated Analysis of Permission-Based Security Using UMLsec....Pages 292-295
Software Quality Improvement Via Pattern Matching....Pages 296-300
Object Composition in Scenario-Based Programming....Pages 301-316
Regular Inference for State Machines Using Domains with Equality Tests....Pages 317-331
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems....Pages 332-346
Verification of Architectural Refactorings by Rule Extraction....Pages 347-361
Formal Model-Driven Program Refactoring....Pages 362-376
An Algebraic Semantics for MOF....Pages 377-391
A Formal Framework for Developing Adaptable Service-Based Applications....Pages 392-406
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications....Pages 407-422
Clint: A Composition Language Interpreter (Tool Paper)....Pages 423-427
Back Matter....Pages -

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

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

دانلود کتاب Evolutionary Biology: Volume 18

دانلود کتاب A short guide to writing about art

دانلود کتاب 綠色推土機: 九零年代台北的違建、公園、自然房地產與制度化地景

دانلود کتاب Pauline Theology and the Problem of Death (Wissenschaftliche Untersuchungen zum Neuen Testament 2.reihe, 558) (German Edition)

دانلود کتاب Process Safety: An Engineering Discipline