ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Software Engineering — ESEC/FSE ’99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6–10, 1999 Proceedings

دانلود کتاب مهندسی نرم افزار — ESEC/FSE ’99: هفتمین کنفرانس مهندسی نرم افزار اروپا به طور مشترک با هفتمین سمپوزیوم ACM SIGSOFT در زمینه مبانی مهندسی نرم افزار تولوز، فرانسه، 6 تا 10 سپتامبر 1999 مجموعه مقالات برگزار شد

Software Engineering — ESEC/FSE ’99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6–10, 1999 Proceedings

مشخصات کتاب

Software Engineering — ESEC/FSE ’99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6–10, 1999 Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 1687 
ISBN (شابک) : 9783540665380, 9783540481669 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 541 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 49,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب مهندسی نرم افزار — ESEC/FSE ’99: هفتمین کنفرانس مهندسی نرم افزار اروپا به طور مشترک با هفتمین سمپوزیوم ACM SIGSOFT در زمینه مبانی مهندسی نرم افزار تولوز، فرانسه، 6 تا 10 سپتامبر 1999 مجموعه مقالات برگزار شد: است



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Software Engineering — ESEC/FSE ’99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6–10, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مهندسی نرم افزار — ESEC/FSE ’99: هفتمین کنفرانس مهندسی نرم افزار اروپا به طور مشترک با هفتمین سمپوزیوم ACM SIGSOFT در زمینه مبانی مهندسی نرم افزار تولوز، فرانسه، 6 تا 10 سپتامبر 1999 مجموعه مقالات برگزار شد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مهندسی نرم افزار — ESEC/FSE ’99: هفتمین کنفرانس مهندسی نرم افزار اروپا به طور مشترک با هفتمین سمپوزیوم ACM SIGSOFT در زمینه مبانی مهندسی نرم افزار تولوز، فرانسه، 6 تا 10 سپتامبر 1999 مجموعه مقالات برگزار شد



برای دومین بار، کنفرانس مهندسی نرم افزار اروپا به طور مشترک با سمپوزیوم ACM SIGSOFT در زمینه مبانی مهندسی نرم افزار (FSE) برگزار می شود. اگرچه این دو کنفرانس ریشه ها و سنت های متفاوتی دارند، اما همپوشانی قابل توجهی در هدف و موضوع وجود دارد. برگزاری مشترک کنفرانس ها در زمانی که در اروپا برگزار می شود به واضح تر شدن این پیوندهای موضوعی کمک می کند و محققان و دست اندرکاران را تشویق می کند تا در هر دو رویداد شرکت کنند و مقاله ارسال کنند. روند ESEC به طور سنتی توسط Springer-Verlag منتشر می‌شود، همانطور که امسال نیز منتشر می‌شود، اما طبق ترتیبات ویژه، جلسات برای اعضای ACM SIGSOFT توزیع می‌شود، همانطور که معمولاً برای FSE انجام می‌شود. ESEC/FSE به‌عنوان یک رویداد واحد برگزار می‌شود، نه به‌عنوان یک جفت رویداد مشترک. بنابراین مقالات ارسالی توسط یک کمیته برنامه واحد ارزیابی شد. ESEC/FSE طیف وسیعی از موضوعات مهندسی نرم افزار را در (عمدتا) دو قاره نشان می دهد و در نتیجه اعضای کمیته برنامه برای نشان دادن طیفی از موضوعات مهندسی نرم افزار سنتی و نوظهور انتخاب شدند. در مجموع 141 مقاله از سراسر جهان ارسال شد. از این تعداد، نزدیک به نیمی به عنوان پژوهشی طبقه بندی شدند - افراد، چهار مقاله تجربی، و هر دو تحقیق و تجربه. بیست و نه مقاله از پنج قاره برای ارائه و گنجاندن در جلسات انتخاب شدند. با توجه به تعداد زیاد گزارش‌های تجارب صنعتی ارائه شده، امسال نیز دو جلسه در مورد ارائه‌های موردی کوتاه معرفی کرده‌ایم.


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

For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Holding the conferences jointly when they are held in Europe helps to make these thematic links more explicit, and enco- ages researchers and practitioners to attend and submit papers to both events. The ESEC proceedings have traditionally been published by Springer-Verlag, as they are again this year, but by special arrangement, the proceedings will be distributed to members of ACM SIGSOFT, as is usually the case for FSE. ESEC/FSE is being held as a single event, rather than as a pair of collocated events. Submitted papers were therefore evaluated by a single program committee. ESEC/FSE represents a broad range of software engineering topics in (mainly) two continents, and consequently the program committee members were selected to represent a spectrum of both traditional and emerging software engineering topics. A total of 141 papers were submitted from around the globe. Of these, nearly half were classified as research - pers,aquarterasexperiencepapers,andtherestasbothresearchandexperiencepapers. Twenty-nine papers from five continents were selected for presentation and inclusion in the proceedings. Due to the large number of industrial experience reports submitted, we have also introduced this year two sessions on short case study presentations.



فهرست مطالب

Extreme Programming: A Discipline of Software Development....Pages 1-1
Components and Generative Programming....Pages 2-19
A Component and Communication Model for Push Systems....Pages 20-38
A Fine-Grained Model for Code Mobility....Pages 39-56
Robots: A Real-Time Systems Architectural Style....Pages 57-74
Collaboration and Composition: Issues for a Second Generation Process Language....Pages 75-90
Using UML for Software Process Modeling....Pages 91-108
A Probabilistic Model for Software Projects....Pages 109-126
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?....Pages 127-146
Using Model Checking to Generate Tests from Requirements Specifications....Pages 146-162
Specification-Based Prototyping for Embedded Systems’....Pages 163-179
Coping with Type Casts in C....Pages 180-198
Efficient Points-to Analysis for Whole-Program Analysis....Pages 199-215
The Concept of Dynamic Analysis....Pages 216-234
Data-Flow Analysis of Program Fragments....Pages 235-252
Yesterday, my Program Worked. Today, it Does Not. Why?....Pages 253-267
Comparison Checking: An Approach to Avoid Debugging of Optimized Code....Pages 268-284
Structural Specification-Based Testing: Automated Support and Experimental Evaluation....Pages 285-302
An Efficient Relevant Slicing Method for Debugging....Pages 303-321
Analyzing Exception Flow in Java™ Programs....Pages 322-337
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs....Pages 338-354
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java....Pages 355-374
The CIP Method: Component- and Model-Based Construction of Embedded Systems....Pages 375-392
Algebraic Software Architecture Reconfiguration....Pages 393-409
Consistency Checking for Multiple View Software Architectures....Pages 410-428
Synergy Between Component-Based and Generative Approaches....Pages 429-445
Transitioning Legacy Assets to a Product Line Architecture....Pages 446-463
CHIME: A Metadata-Based Distributed Software Development Environment....Pages 464-475
FACADE: A Typed Intermediate Language Dedicated to Smart Cards....Pages 476-493
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification....Pages 494-510
Checking Progress with Action Priority: Is it Fair?....Pages 511-527




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