ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Fundamental Approaches to Software Engineering

دانلود کتاب رویکردهای اساسی در مهندسی نرم افزار

Fundamental Approaches to Software Engineering

مشخصات کتاب

Fundamental Approaches to Software Engineering

ویرایش: [1 ed.] 
نویسندگان:   
سری: Lecture Notes in Computer Science 
ISBN (شابک) : 3030714993, 9783030714994 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 388
[383] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 Mb 

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



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

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


در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب رویکردهای اساسی در مهندسی نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب رویکردهای اساسی در مهندسی نرم افزار

این کتاب دسترسی آزاد مجموعه مقالات بیست و چهارمین کنفرانس بین‌المللی رویکردهای بنیادی به مهندسی نرم‌افزار، FASE 2021 است که در طی 27 مارس تا 1 آوریل 2021 برگزار شد و به عنوان بخشی از کنفرانس‌های مشترک تئوری و عمل نرم‌افزار برگزار شد. ETAPS 2021. کنفرانس برنامه ریزی شده بود که در لوکزامبورگ برگزار شود اما به دلیل همه گیری COVID-19 به قالب آنلاین تغییر یافت.

16 مقاله کامل ارائه شده در این جلد به دقت بررسی و از بین 52 مقاله ارسالی انتخاب شدند. این کتاب همچنین شامل 4 مشارکت Test-Comp است.

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

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. 

The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. 


فهرست مطالب

ETAPS Foreword
Preface
Organization
Contents
FASE Contributions
	On Benchmarking forConcurrent Runtime Verification
		1 Introduction
		2 Benchmark Design and Implementation
			2.1 Approach
			2.2 Realisability
			2.3 Measurement Collection
		3 Evaluation
			3.1 Benchmark Expressiveness and Veracity
			3.2 Case Study
		4 Conclusion
		Reference
	Certified Abstract Cost Analysis
		1 Introduction
		2 QAE by Example
		3 (Quantitative) Abstract Execution
			3.1 Abstract Execution with Abstract Cost
			3.2 Cost of Abstract Programs
			3.3 Proving Quantitative Properties with QAE
		4 Abstract Cost Analysis
			4.1 Inference of Abstract Cost Relations
			4.2 From ACRS to Abstract Cost Invariants
			4.3 From Cost Invariants to Postconditions
		5 Experimental Evaluation
		6 Related Work
		7 Conclusion and Future Work
		References
	Bootstrapping Automated Testing  for RESTful Web Services
		1 Introduction
		2 Motivation
		3 FET Techniques
			3.1 Type Lattice
			3.2 FET Lattice
			3.3 FET Inference
		4 FET-enhanced REST Fuzzing
			4.1 Collecting and Parsing HTTP Traffic
			4.2 Ubiquitous FET Lattice
			4.3 FET-aware Trace-driven Fuzzing
		5 Evaluation
			5.1 FET Inference Accuracy Evaluation
			5.2 Leif Effectiveness Evaluation
			5.3 Comparative Evaluation
		6 Related Work
		7 Conclusion and Future Work
		Acknowledgments
		References
	A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features
		1 Introduction
		2 Motivating Example
		3 A Language for Program Families
		4 Lifted Analysis based on Tuples
		5 Lifted Analysis based on Decision Trees
		6 Evaluation
		7 Related Work
		8 Conclusion
		References
	Finding a Universal Execution Strategy for Model Transformation Networks
		1 Introduction
		2 Problem Statement
			2.1 Motivating Example
			2.2 Context
			2.3 Formalisation
		3 Related Work
		4 Design Space
			4.1 One Execution per Transformation
			4.2 Unlimited Executions
		5 Proposed Strategy
			5.1 Execution Order: Providing Explainability
			5.2 Execution Bound: Reacting to Each Other
			5.3 The Explanatory Strategy
		6 Conclusion
		References
	CoVEGI: Cooperative Verification via Externally Generated Invariants
		1 Introduction
		2 Fundamentals
		3 Concept
			3.1 Components of the CoVEGI-Framework
			3.2 Cooperation within CoVEGI
			3.3 Witness Injection
			3.4 Adapter for LLVM-based Helper Invariant Generators
		4 Evaluation
			4.1 Research Questions
			4.2 Experimental Setup
			4.3 Experimental Results
			4.4 Threads to Validity
		5 Related work
		6 Conclusion
		References
	Engineering Secure Self-Adaptive Systems with Bayesian Games
		1 Introduction
		2 Background
			2.1 Running Example
			2.2 Bayesian Game Theory
		3 Self-Adaptive Framework Incorporating Bayesian Game Theory
		4 Bayesian Game Through Model Transformation
			4.1 Analysis Results for Znn.com Example
		5 Evaluation – Routing Games
			5.1 Game Definition for Interdomain Routing
			5.2 Dynamic Programming Algorithm
			5.3 Experiment Setup & Results
		6 Related Work
		7 Conclusion and Future Work
		Acknowledgements
		References
	An Abstract Contract Theory for  Programs with Procedures
		1 Introduction
		2 Contract Based Design
			2.1 Contract Based Design of Cyber-Physical Systems
			2.2 A Contract Meta-Theory
		3 Denotational Semantics of Programs and Contracts
			3.1 The Denotational Semantics of Programs with Procedures
			3.2 Hoare Logic and Contracts
		4 An Abstract Contract Theory
			4.1 Components
			4.2 Denotational Contracts
		5 Connection to Meta-Theory
		6 Connection to Programs with Procedures
		7 Conclusion
		References
	Paracosm: A Test Framework for Autonomous Driving Simulations
		1 Introduction
		2 Paracosm through Examples
		3 Systematic Testing of Paracosm Worlds
			3.1 Test Inputs and Coverage
			3.2 Test Generation
		4 Implementation and Tests
			4.1 Runtime System and Implementation
			4.2 Evaluation
			4.3 Case Studies
			4.4 Results and Analysis
			4.5 Threats to Validity
		5 Related Work
		6 Future Work and Conclusion
		Acknowledgements
		References
	Compositional Analysis of Probabilistic Timed Graph Transformation Systems
		1 Introduction
		2 Running Example
		3 Preliminaries
		4 Decomposition of Large-Scale Topologies
		5 Overapproximation of Behavior
		6 Evaluation
		7 Conclusion and Future Work
		References
	Effcient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
		1 Introduction
		2 A Motivating Example
		3 Tight Field Bounds
		4 A Technique for Nondeterministic Generation of Dynamic Structures
			4.1 Computing Tight Field Bounds
		5 Evaluation
		6 Related Work
		7 Conclusions
		References
	Effects of Program Representation on Pointer Analyses — An Empirical Study
		1 Introduction
		2 Background and Motivation
			2.1 Intermediate Representation
			2.2 Static modeling of libraries
			2.3 Heap Abstraction
		3 Methodology
			3.1 Metrics Used
		4 Evaluation
			4.1 RQ1: Class hierarchy differences with benchmarks
			4.2 RQ2: Precision differences with class hierarchy
			4.3 RQ3: Precision for IR varies with the framework
			4.4 RQ4: Heap abstractions in pointer analysis frameworks
		5 Threats to Validity
		6 Related Work
		7 Conclusion
		References
	Keeping Pace with the History of  Evolving Runtime Models
		1 Introduction to InTempo
		2 RTMнAnalysis
		3 LogAnalysis
		4 Conclusion and Future Work
		References
	SpecTest: Specification-Based Compiler Testing
		1 Introduction
		2 Method
			2.1 Overall Design
			2.2 The Oracle
			2.3 The Mutator
			2.4 The Fuzzer
		3 Evaluation
			3.1 Test Setting
			3.2 Experiment Result
			3.3 Threats to Validity
		4 Related Work
		5 Conclusion
		Acknowledgments
		References
	PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems
		1 Introduction
		2 Related Work: Proactive Adaptation
		3 Background: Statistical Model Checking (SMC)
		4 Illustrative Example
		5 Proactive Adaptation Based on Statistical Model Checking
			5.1 PASTA overview
			5.2 Knowledge
			5.3 Monitoring Environmental Changes
			5.4 Forecasting Future Environmental Change
			5.5 Planning Adaptation Using SMC
			5.6 Executing Adaptation
			5.7 PASTA Implementation
		6 Evaluation
			6.1 Research Questions
			6.2 Evaluation Setup
			6.3 Evaluation Results
		7 Threats to Validity
		8 Conclusion
		Acknowledgement
		References
	Understanding Local Robustness of Deep Neural Networks under Natural Variations
		1 Introduction
		2 Background: DNN Testing
		3 Methodology
			3.1 Terminology
			3.2 Data Collection
			3.3 Classifying Robust vs. Weak Points
		4 Experimental Design
			4.1 Study Subjects
			4.2 Evaluation
		5 Results
		6 Related Work
		7 Threats to Validity
		8 Conclusion and Future Work
		9 Acknowledgement
		References
Test-Comp Contributions
	Status Report on Software Testing: Test-Comp 2021
		1 Introduction
		2 Definitions, Formats, and Rules
		3 Categories and Scoring Schema
		4 Reproducibility
		5 Results and Discussion
		6 Conclusion
		References
	CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
		1 Test-Generation Approach
		2 Tool Architecture
		3 Strengths and Weaknesses
		4 Setup
		5 Project and Contributors
		References
	FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
		1 Test Generation Approach
		2 Strengths and Weaknesses
		3 Tool Setup and Configuration
		4 Software Project
		References
	Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution)
		1 Test-Generation Approach
			1.1 Workflow of Symbiotic 8
		2 Software Architecture
		3 Strengths and Weaknesses
		4 Tool Setup and Configuration
		5 Software Project and Contributors
		References
Author Index




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