دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Engineering Techniques: Design for Quality
دانلود کتاب تکنیک های مهندسی نرم افزار: طراحی برای کیفیت
مشخصات کتاب
Software Engineering Techniques: Design for Quality
ویرایش: [1 ed.] نویسندگان: Leszek A. Maciaszek (auth.), Krzysztof Sacha (eds.) سری: IFIP International Federation for Information Processing 227 ISBN (شابک) : 9780387393872, 9780387393889 ناشر: Springer US سال نشر: 2007 تعداد صفحات: 378 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Software Engineering Techniques: Design for Quality به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های مهندسی نرم افزار: طراحی برای کیفیت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های مهندسی نرم افزار: طراحی برای کیفیت
مجموعه IFIP جدیدترین نتایج را در زمینه علوم و فناوری اطلاعات و ارتباطات منتشر می کند. دامنه این مجموعه شامل: مبانی علوم کامپیوتر; تئوری و عمل نرم افزار؛ تحصیلات؛ کاربردهای کامپیوتری در فناوری؛ سیستم های ارتباطی؛ مدل سازی و بهینه سازی سیستم ها؛ سیستم های اطلاعاتی؛ کامپیوتر و جامعه؛ تکنولوژی سیستم های کامپیوتری؛ امنیت و حفاظت در سیستم های پردازش اطلاعات؛ هوش مصنوعی؛ و تعامل انسان و کامپیوتر مجموعه مقالات و مقالات پس از کنفرانس های بین المللی ارجاع شده در علوم کامپیوتر و زمینه های بین رشته ای برجسته شده است. این نتایج اغلب قبل از انتشار مجله است و نشان دهنده جدیدترین تحقیقات است. هدف اصلی مجموعه IFIP تشویق آموزش و انتشار و تبادل اطلاعات در مورد تمام جنبه های محاسباتی است.
برای اطلاعات بیشتر در مورد 300 کتاب دیگر در مجموعه IFIP، لطفاً به www.springer مراجعه کنید. com.
برای اطلاعات بیشتر در مورد IFIP، لطفاً به www.ifip.org مراجعه کنید.
توضیحاتی درمورد کتاب به خارجی
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
فهرست مطالب
Table of Contents......Page 8
Preface......Page 6
From Hubs Via Holons to an Adaptive Meta-Architecture – the \"AD-HOC\" Approach......Page 11
A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications......Page 24
Scenario-based Component Behavior Filtration......Page 34
Mobile Ambients in Aspect-Oriented Software Architectures......Page 46
The architecture of distributed systems driven by autonomic patterns......Page 58
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments......Page 70
Crossing the Borderline – From Formal to Semi-Formal Specifications......Page 81
Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices......Page 93
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware......Page 105
Estimation of mean response time of multi-agent systems......Page 117
Integrated Approach to Modelling and Analysis using RTCP-nets......Page 122
Hybrid modeling and verification of Java based software......Page 128
An evolutionary approach to project management process improvement for software-intensive projects......Page 134
Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation......Page 146
Software Risk Management: a Process Model and a Tool......Page 156
An Approach to Software Quality Specification and Evaluation (SPoQE)......Page 162
Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications......Page 174
Reaching and Maintaining High Quality of Distributed J2EE Applications-BeesyCluster Case Study......Page 186
Automatic software validation process......Page 198
j2eeprof – a tool for testing multitier applications......Page 205
An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy......Page 217
Minimizing Test Execution Time During Test Generation......Page 229
An Integrated Regression Testing Framework to Multi-Threaded Java Programs......Page 242
DynAlloy as a Formal Method for the Analysis of Java Programs......Page 254
Verification of UML State Diagrams Using Concurrent State Machines......Page 266
Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing......Page 277
Advanced mutation operators applicable in C# programs......Page 287
An Open Platform of Data Quality Monitoring for ERP Information Systems......Page 293
Managing Data from Heterogeneous Data Sources Using Knowledge Layer......Page 304
Checkpoint-based resumption in data warehouses......Page 316
A C++ Refactoring Browser and Method Extraction......Page 327
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications......Page 339
Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar......Page 351
Minik: A Tool for Maintaining Proper Java Code Structure......Page 363
Multidimensional Legacy Aspects of Modernizing Web Based Systems......Page 374
