Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings

Thông tin tài liệu

Title:	Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings
Authors:	Hähnle, Reiner
Keywords:	kỹ thuật phần mềm; Phần mềm máy tính; mạng thần kinh; cấu trúc phần mềm; hệ thống phần mềm
Issue Date:	2019
Publisher:	springer open
Abstract:	Software Assurance in an Uncertain World. Software Verification I Tool Support for Correctness-by-Construction. Automatic Modeling of Opaque Code for JavaScript Static Analysis. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. A Hybrid Dynamic Logic for Event/Data-Based Systems. Model-Driven Development and Model Transformation Pyro: Generating Domain-Specific Collaborative Online Modeling Environments . Software Verification II DeepFault: Fault Localization for Deep Neural Networks. Software Evolution and Requirements Engineering Structural and Nominal Cross-Language Clone Detection. Specification, Design, and Implementation of Particular Classes of Systems. Software Testing
Description:	https://library.oapen.org/bitstream/20.500.12657/23333/1/1006822.pdf
URI:	http://dlib.hust.edu.vn/handle/HUST/19113
Link item primary:	https://library.oapen.org/bitstream/20.500.12657/23333/1/1006822.pdf
Appears in Collections:	OER - Công nghệ thông tin