High Confidence Software Reuse in Large Systems

kod QR

High Confidence Software Reuse in Large Systems

Zapisane w:

Opis bibliograficzny
1. autor:	Mei, Hong
Format:	Książka
Język:	English
Wydane:	Springer Berlin Heidelberg 2020
Hasła przedmiotowe:	Computer Science Computer Engineering Programming Techniques
Dostęp online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81618
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Podobne zapisy

New Opportunities for Software Reuse
od: Capilla, Rafael, i wsp.
Wydane: (2020)

Engineering Trustworthy Software Systems
od: Bowen, Jonathan P., i wsp.
Wydane: (2020)

Mastering Scale and Complexity in Software Reuse
od: Botterweck, Goetz, i wsp.
Wydane: (2020)

Formal Methods and Software Engineering
od: Duan, Zhenhua, i wsp.
Wydane: (2020)

Component-Based Software Engineering
Wydane: (2020)

Algorithmics of Large and Complex Networks
Wydane: (2020)

Verified Software: Theories, Tools, Experiments
od: Meyer, Bertrand, i wsp.
Wydane: (2020)

Extreme Programming and Agile Processes in Software Engineering
Wydane: (2020)

Agile Processes in Software Engineering and Extreme Programming
od: Concas, Giulio, i wsp.
Wydane: (2020)

Transactions on Aspect-Oriented Software Development VI
Wydane: (2020)

Languages, Methodologies and Development Tools for Multi-Agent Systems
od: Dastani, Mehdi, i wsp.
Wydane: (2020)

Rigorous Methods for Software Construction and Analysis
Wydane: (2020)

Software Verification and Validation
od: Fisher, Marcus S.
Wydane: (2020)

Models in Software Engineering
Wydane: (2020)

Algebraic Methodology and Software Technology
od: Meseguer, José, i wsp.
Wydane: (2020)

Formal Methods and Software Engineering
od: Butler, Michael, i wsp.
Wydane: (2020)

Generative and Transformational Techniques in Software Engineering II
Wydane: (2020)

Transactions on Aspect-Oriented Software Development V
Wydane: (2020)

Mathematical Software – ICMS 2018
od: Davenport, James H., i wsp.
Wydane: (2020)

Formal Foundations of Reuse and Domain Engineering
Wydane: (2020)

Engineering Multi-Agent Systems
od: Fallah-Seghrouchni, Amal El, i wsp.
Wydane: (2020)

Software Reuse
od: Sodhi, Jag
Wydane: (1999)

High-Performance Computing
od: Labarta, Jesus, i wsp.
Wydane: (2020)

Transactions on High-Performance Embedded Architectures and Compilers II
Wydane: (2020)

Quality Software Through Reuse and Integration. 1st ed. 2018
od: Rubin, Stuart H., i wsp.
Wydane: (2020)

Tools for High Performance Computing 2016. 1st ed. 2017
od: Niethammer, Christoph, i wsp.
Wydane: (2020)

Embedded Software and Systems
od: Wu, Zhaohui, i wsp.
Wydane: (2020)

Embedded Software and Systems
od: Lee, Yann-Hang, i wsp.
Wydane: (2020)

Embedded Software and Systems
od: Yang, Laurence T., i wsp.
Wydane: (2020)

System software :
od: Beck, Leland L.
Wydane: (1997)

Languages and Compilers for High Performance Computing
od: Eigenmann, Rudolf, i wsp.
Wydane: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Wydane: (2020)

Validated Designs for Object-oriented Systems
Wydane: (2020)

Software Engineering for Resilient Systems
od: Romanovsky, Alexander, i wsp.
Wydane: (2020)

Argumentation in Multi-Agent Systems
Wydane: (2020)

Wireless Algorithms, Systems, and Applications
Wydane: (2020)

Stabilization, Safety, and Security of Distributed Systems
Wydane: (2020)

Implementing Distributed Systems with Java and CORBA
od: Aleksy, Markus, i wsp.
Wydane: (2020)

Testing of Software and Communication Systems
Wydane: (2020)

All About Maude - A High-Performance Logical Framework
od: Clavel, Manuel, i wsp.
Wydane: (2020)