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

Nhan đề :	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
Tác giả :	Hähnle, Reiner
Từ khoá :	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
Năm xuất bản :	2019
Nhà xuất bản :	springer open
Tóm tắt :	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
Mô tả:	https://library.oapen.org/bitstream/20.500.12657/23333/1/1006822.pdf
URI:	http://dlib.hust.edu.vn/handle/HUST/19113
Liên kết tài liệu gốc:	https://library.oapen.org/bitstream/20.500.12657/23333/1/1006822.pdf
Trong bộ sưu tập:	OER - Công nghệ thông tin