دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Kent Beck (auth.), Oscar Nierstrasz, Michel Lemoine (eds.) سری: Lecture Notes in Computer Science 1687 ISBN (شابک) : 9783540665380, 9783540481669 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 541 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار — 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار — 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