High Confidence Software Reuse in Large Systems

QR Kod

High Confidence Software Reuse in Large Systems

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Mei, Hong
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Computer Engineering Programming Techniques
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81618
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

New Opportunities for Software Reuse
Yazar:: Capilla, Rafael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Engineering Trustworthy Software Systems
Yazar:: Bowen, Jonathan P., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Mastering Scale and Complexity in Software Reuse
Yazar:: Botterweck, Goetz, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Duan, Zhenhua, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Component-Based Software Engineering
Baskı/Yayın Bilgisi: (2020)

Algorithmics of Large and Complex Networks
Baskı/Yayın Bilgisi: (2020)

Verified Software: Theories, Tools, Experiments
Yazar:: Meyer, Bertrand, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Extreme Programming and Agile Processes in Software Engineering
Baskı/Yayın Bilgisi: (2020)

Agile Processes in Software Engineering and Extreme Programming
Yazar:: Concas, Giulio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Transactions on Aspect-Oriented Software Development VI
Baskı/Yayın Bilgisi: (2020)

Languages, Methodologies and Development Tools for Multi-Agent Systems
Yazar:: Dastani, Mehdi, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Rigorous Methods for Software Construction and Analysis
Baskı/Yayın Bilgisi: (2020)

Software Verification and Validation
Yazar:: Fisher, Marcus S.
Baskı/Yayın Bilgisi: (2020)

Models in Software Engineering
Baskı/Yayın Bilgisi: (2020)

Algebraic Methodology and Software Technology
Yazar:: Meseguer, José, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Butler, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Generative and Transformational Techniques in Software Engineering II
Baskı/Yayın Bilgisi: (2020)

Transactions on Aspect-Oriented Software Development V
Baskı/Yayın Bilgisi: (2020)

Mathematical Software – ICMS 2018
Yazar:: Davenport, James H., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Foundations of Reuse and Domain Engineering
Baskı/Yayın Bilgisi: (2020)

Engineering Multi-Agent Systems
Yazar:: Fallah-Seghrouchni, Amal El, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Reuse
Yazar:: Sodhi, Jag
Baskı/Yayın Bilgisi: (1999)

High-Performance Computing
Yazar:: Labarta, Jesus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Transactions on High-Performance Embedded Architectures and Compilers II
Baskı/Yayın Bilgisi: (2020)

Quality Software Through Reuse and Integration. 1st ed. 2018
Yazar:: Rubin, Stuart H., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tools for High Performance Computing 2016. 1st ed. 2017
Yazar:: Niethammer, Christoph, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Software and Systems
Yazar:: Wu, Zhaohui, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Software and Systems
Yazar:: Lee, Yann-Hang, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Software and Systems
Yazar:: Yang, Laurence T., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

System software :
Yazar:: Beck, Leland L.
Baskı/Yayın Bilgisi: (1997)

Languages and Compilers for High Performance Computing
Yazar:: Eigenmann, Rudolf, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Baskı/Yayın Bilgisi: (2020)

Validated Designs for Object-oriented Systems
Baskı/Yayın Bilgisi: (2020)

Software Engineering for Resilient Systems
Yazar:: Romanovsky, Alexander, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Argumentation in Multi-Agent Systems
Baskı/Yayın Bilgisi: (2020)

Wireless Algorithms, Systems, and Applications
Baskı/Yayın Bilgisi: (2020)

Stabilization, Safety, and Security of Distributed Systems
Baskı/Yayın Bilgisi: (2020)

Implementing Distributed Systems with Java and CORBA
Yazar:: Aleksy, Markus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Testing of Software and Communication Systems
Baskı/Yayın Bilgisi: (2020)

All About Maude - A High-Performance Logical Framework
Yazar:: Clavel, Manuel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)