دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering
دانلود کتاب رویکردهای اساسی در مهندسی نرم افزار
مشخصات کتاب
Fundamental Approaches to Software Engineering
ویرایش: 1st ed.
نویسندگان: Alessandra Russo. Andy Schürr
سری: Lecture Notes in Computer Science 10802
ISBN (شابک) : 9783319893624, 9783319893631
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 361
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 25 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب رویکردهای اساسی در مهندسی نرم افزار: علوم کامپیوتر، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سازماندهی سیستم‌های کامپیوتری و شبکه‌های ارتباطی، حرفه محاسبات، تئوری محاسبات
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای اساسی در مهندسی نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای اساسی در مهندسی نرم افزار
این کتاب تحت مجوز CC با دسترسی آزاد است.
این کتاب مجموعه مقالات بیست و یکمین کنفرانس بین المللی
رویکردهای اساسی مهندسی نرم افزار، FASE 2018 است که در سال
2018 در تسالونیکی، یونان در آوریل 2018 برگزار شد. بخشی از
کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار،
ETAPS 2018. 19 مقاله ارائه شده در این جلد به دقت بررسی و از
63 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی به نام
های: توسعه نرم افزار مبتنی بر مدل سازماندهی شده اند. تجزیه و
تحلیل برنامه و سیستم توزیع شده؛ طراحی و تایید نرم افزار؛ تست
مشخصات و برنامه؛ توسعه نرم افزار مبتنی بر خانواده.
توضیحاتی درمورد کتاب به خارجی
This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 21st
International Conference on Fundamental Approaches to
Software Engineering, FASE 2018, which took place in
Thessaloniki, Greece in April 2018, held as Part of the
European Joint Conferences on Theory and Practice of
Software, ETAPS 2018.The 19 papers presented in this volume
were carefully reviewed and selected from 63 submissions. The
papers are organized in topical sections named: model-based
software development; distributed program and system
analysis; software design and verification; specification and
program testing; family-based software development.
فهرست مطالب
Front Matter ....Pages I-XII
Front Matter ....Pages 1-1
A Formal Framework for Incremental Model Slicing (Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter)....Pages 3-20
Multiple Model Synchronization with Multiary Delta Lenses (Zinovy Diskin, Harald König, Mark Lawford)....Pages 21-37
Controlling the Attack Surface of Object-Oriented Refactorings (Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau)....Pages 38-55
Effective Analysis of Attack Trees: A Model-Driven Approach (Rajesh Kumar, Stefano Schivo, Enno Ruijters, Buǧra Mehmet Yildiz, David Huistra, Jacco Brandt et al.)....Pages 56-73
Front Matter ....Pages 75-75
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis (Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer)....Pages 77-93
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism (Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo)....Pages 94-110
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (Márton Búr, Gábor Szilágyi, András Vörös, Dániel Varró)....Pages 111-128
EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States (Joonyoung Park, Kwangwon Sun, Sukyoung Ryu)....Pages 129-145
Front Matter ....Pages 147-147
Hierarchical Specification and Verification of Architectural Design Patterns (Diego Marmsoler)....Pages 149-168
Supporting Verification-Driven Incremental Distributed Design of Components (Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi)....Pages 169-188
Summarizing Software API Usage Examples Using Clustering Techniques (Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton)....Pages 189-206
Fast Computation of Arbitrary Control Dependencies (Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall)....Pages 207-224
Front Matter ....Pages 225-225
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (Oszkár Semeráth, Dániel Varró)....Pages 227-245
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications (David Landsberg, Youcheng Sun, Daniel Kroening)....Pages 246-263
TCM: Test Case Mutation to Improve Crash Detection in Android (Yavuz Koroglu, Alper Sen)....Pages 264-280
CRETE: A Versatile Binary-Level Concolic Testing Framework (Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie)....Pages 281-298
Front Matter ....Pages 299-299
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\\(^{\\star }\\) (Aleksandar S. Dimovski)....Pages 301-318
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems (Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin)....Pages 319-336
Taming Multi-Variability of Software Product Line Transformations (Daniel Strüber, Sven Peldzsus, Jan Jürjens)....Pages 337-355
Back Matter ....Pages 357-357
