دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
دانلود کتاب رویکردهای اساسی مهندسی نرم افزار: ششمین کنفرانس بین المللی ، FASE 2003 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار ، ETAPS 2003 ورشو ، لهستان ، 7 تا 11 آوریل 2003
مشخصات کتاب
Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
ویرایش: 1 نویسندگان: Michal Young (auth.), Mauro Pezzè (eds.) سری: Lecture Notes in Computer Science 2621 ISBN (شابک) : 9783540008996, 3540008993 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 416 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب رویکردهای اساسی مهندسی نرم افزار: ششمین کنفرانس بین المللی ، FASE 2003 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار ، ETAPS 2003 ورشو ، لهستان ، 7 تا 11 آوریل 2003: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای اساسی مهندسی نرم افزار: ششمین کنفرانس بین المللی ، FASE 2003 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار ، ETAPS 2003 ورشو ، لهستان ، 7 تا 11 آوریل 2003 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای اساسی مهندسی نرم افزار: ششمین کنفرانس بین المللی ، FASE 2003 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار ، ETAPS 2003 ورشو ، لهستان ، 7 تا 11 آوریل 2003
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین‌المللی رویکردهای بنیادی به مهندسی نرم‌افزار، FASE 2003، در ورشو، لهستان، در آوریل 2003 است.
20 مقاله کامل اصلاح‌شده همراه با یک مقاله ارائه شده است. مقاله اصلی به دقت بررسی و از بین 89 مورد ارسالی انتخاب شد. این مقالات در بخش‌های موضوعی در بخش‌های نرم‌افزار، محاسبات تلفن همراه، جنبه‌ها و برنامه‌های کاربردی وب، اندازه‌گیری‌های نرم‌افزار، تأیید رسمی، تجزیه و تحلیل و آزمایش، و یکپارچه‌سازی و گسترش مدل سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003, held in Warsaw, Poland, in April 2003.
The 20 revised full papers presented together with a keynote paper were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on software components, mobile computing, aspects and web applications, software measurements, formal verficiation, analysis and testing, and model integration and extension.
فهرست مطالب
Symbiosis of Static Analysis and Program Testing....Pages 1-5
An Ontology for Software Component Matching....Pages 6-21
A Description Language for Composable Components....Pages 22-36
A Logical Basis for the Specification of Reconfigurable Component-Based Systems....Pages 37-51
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems....Pages 52-66
Composing Specifications of Event Based Applications....Pages 67-86
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems....Pages 87-101
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment....Pages 102-117
Towards UML-Based Formal Specifications of Component-Based Real-Time Software....Pages 118-134
Modelling Recursive Calls with UML State Diagrams....Pages 135-149
Pipa: A Behavioral Interface Specification Language for Aspect....Pages 150-165
PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features....Pages 166-169
Model-Based Development of Web Applications Using Graphical Reaction Rules....Pages 170-183
Modular Analysis of Dataflow Process Networks....Pages 184-199
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement....Pages 200-215
An Information-Based View of Representational Coupling in Object-Oriented Systems....Pages 216-230
A Temporal Approach to Specification and Verification of Pointer Data-Structures....Pages 231-245
A Program Logic for Handling J ava C ard’s Transaction Mechanism....Pages 246-260
Monad-Independent Hoare Logic in H AS C ASL ....Pages 261-277
Visual Specifications of Policies and Their Verification....Pages 278-293
Automatic Model Driven Animation of SCR Specifications....Pages 294-309
Probe Mechanism for Object-Oriented Software Testing....Pages 310-324
Model Checking Software via Abstraction of Loop Transitions....Pages 325-340
Integration of Formal Datatypes within State Diagrams....Pages 341-355
Xere: Towards a Natural Interoperability between XML and ER Diagrams....Pages 356-371
Detecting Implied Scenarios Analyzing Non-local Branching Choices....Pages 372-386
Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs....Pages 387-402
