دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
دانلود کتاب پیشرفت در تکنیک های مهندسی نرم افزار: چهارمین کنفرانس IFIP TC 2 در مركز و اروپای شرقی كنفرانس در مورد فنون مهندسی نرم افزار ، CEE-SET 2009 ، كراكوف ، لهستان ، 12-14 اکتبر 2009. اصلاح شده در مقالات منتخب
مشخصات کتاب
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Bartosz Michalik, Jerzy Nawrocki (auth.), Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.) سری: Lecture Notes in Computer Science 7054 ISBN (شابک) : 9783642280375, 3642280374 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 261 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب پیشرفت در تکنیک های مهندسی نرم افزار: چهارمین کنفرانس IFIP TC 2 در مركز و اروپای شرقی كنفرانس در مورد فنون مهندسی نرم افزار ، CEE-SET 2009 ، كراكوف ، لهستان ، 12-14 اکتبر 2009. اصلاح شده در مقالات منتخب: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در تکنیک های مهندسی نرم افزار: چهارمین کنفرانس IFIP TC 2 در مركز و اروپای شرقی كنفرانس در مورد فنون مهندسی نرم افزار ، CEE-SET 2009 ، كراكوف ، لهستان ، 12-14 اکتبر 2009. اصلاح شده در مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در تکنیک های مهندسی نرم افزار: چهارمین کنفرانس IFIP TC 2 در مركز و اروپای شرقی كنفرانس در مورد فنون مهندسی نرم افزار ، CEE-SET 2009 ، كراكوف ، لهستان ، 12-14 اکتبر 2009. اصلاح شده در مقالات منتخب
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل چهارمین کنفرانس IFIP TC2 اروپای مرکزی و شرقی در زمینه تکنیک‌های مهندسی نرم‌افزار، CEE-SET 2009، در کراکوف، لهستان، در اکتبر 2009 برگزار شد. 19 مقاله کامل اصلاح‌شده ارائه شده بودند. به دقت بررسی و از 63 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در زمینه معماری و توسعه نرم افزار سازماندهی شده اند. مدل سازی و روش های رسمی در توسعه نرم افزار؛ اندازه گیری، آزمایش و کیفیت نرم افزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.
فهرست مطالب
Front Matter....Pages -
Front Matter....Pages 1-1
Towards Decision Centric Repository of Architectural Knowledge....Pages 3-15
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning....Pages 16-29
Integration of Application Business Logic and Business Rules with DSL and AOP....Pages 30-39
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling....Pages 40-53
On the Evolution of Component-Based Software....Pages 54-69
Query Processing Using Negative and Temporal Tuples in Stream Query Engines....Pages 70-83
Scalable Store of Java Objects Using Range Partitioning....Pages 84-93
Front Matter....Pages 95-95
HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration....Pages 97-108
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers....Pages 109-123
Information Systems Development Based on Visual Domain Specific Language BiLingva....Pages 124-135
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management....Pages 136-149
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach....Pages 150-163
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge....Pages 164-178
The Semantics of Role-Based Trust Management Languages....Pages 179-189
Front Matter....Pages 191-191
Applying of Smart Technologies: Evaluation of Effectiveness....Pages 193-201
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members....Pages 202-214
Dataflow Testing of Java Programs with DFC....Pages 215-228
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System....Pages 229-242
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles....Pages 243-256
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Parallel Computer Architecture: A Hardware Software Approach (The Morgan Kaufmann Series in Computer Architecture and Design)
دانلود کتاب Electronic Dreams: How 1980s Britain Learned to Love the Computer
دانلود کتاب Pattern Theory: From Representation to Inference
دانلود کتاب Distributed Computing: 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
دانلود کتاب Artificial Neural Networks – ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part II
دانلود کتاب The Computing Universe: A Journey through a Revolution
دانلود کتاب Introduction to Coding Theory
دانلود کتاب Incident Response and Computer Forensics, 2nd Edition
دانلود کتاب Logic and the Organization of Information
