Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Hähnle, Reiner | vi |
| dc.date.accessioned | 2021-08-15T07:52:35Z | - |
| dc.date.available | 2021-08-15T07:52:35Z | - |
| dc.date.issued | 2019 | - |
| dc.identifier.other | OER000001040 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/19113 | - |
| dc.description | https://library.oapen.org/bitstream/20.500.12657/23333/1/1006822.pdf | vi |
| dc.description.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 | vi |
| dc.description.uri | https://library.oapen.org/bitstream/20.500.12657/23333/1/1006822.pdf | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | springer open | vi |
| dc.subject | kỹ thuật phần mềm | vi |
| dc.subject | Phần mềm máy tính | vi |
| dc.subject | mạng thần kinh | vi |
| dc.subject | cấu trúc phần mềm | vi |
| dc.subject | hệ thống phần mềm | vi |
| dc.subject.lcc | QA76.9 | vi |
| dc.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 | vi |
| dc.type | Book | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.