High Confidence Software Reuse in Large Systems

Κώδικας QR

High Confidence Software Reuse in Large Systems

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Mei, Hong
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer Berlin Heidelberg 2020
Θέματα:	Computer Science Computer Engineering Programming Techniques
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81618
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

New Opportunities for Software Reuse
ανά: Capilla, Rafael, κ.ά.
Έκδοση: (2020)

Engineering Trustworthy Software Systems
ανά: Bowen, Jonathan P., κ.ά.
Έκδοση: (2020)

Mastering Scale and Complexity in Software Reuse
ανά: Botterweck, Goetz, κ.ά.
Έκδοση: (2020)

Formal Methods and Software Engineering
ανά: Duan, Zhenhua, κ.ά.
Έκδοση: (2020)

Component-Based Software Engineering
Έκδοση: (2020)

Algorithmics of Large and Complex Networks
Έκδοση: (2020)

Verified Software: Theories, Tools, Experiments
ανά: Meyer, Bertrand, κ.ά.
Έκδοση: (2020)

Extreme Programming and Agile Processes in Software Engineering
Έκδοση: (2020)

Agile Processes in Software Engineering and Extreme Programming
ανά: Concas, Giulio, κ.ά.
Έκδοση: (2020)

Transactions on Aspect-Oriented Software Development VI
Έκδοση: (2020)

Languages, Methodologies and Development Tools for Multi-Agent Systems
ανά: Dastani, Mehdi, κ.ά.
Έκδοση: (2020)

Rigorous Methods for Software Construction and Analysis
Έκδοση: (2020)

Software Verification and Validation
ανά: Fisher, Marcus S.
Έκδοση: (2020)

Models in Software Engineering
Έκδοση: (2020)

Algebraic Methodology and Software Technology
ανά: Meseguer, José, κ.ά.
Έκδοση: (2020)

Formal Methods and Software Engineering
ανά: Butler, Michael, κ.ά.
Έκδοση: (2020)

Generative and Transformational Techniques in Software Engineering II
Έκδοση: (2020)

Transactions on Aspect-Oriented Software Development V
Έκδοση: (2020)

Mathematical Software – ICMS 2018
ανά: Davenport, James H., κ.ά.
Έκδοση: (2020)

Formal Foundations of Reuse and Domain Engineering
Έκδοση: (2020)

Engineering Multi-Agent Systems
ανά: Fallah-Seghrouchni, Amal El, κ.ά.
Έκδοση: (2020)

Software Reuse
ανά: Sodhi, Jag
Έκδοση: (1999)

High-Performance Computing
ανά: Labarta, Jesus, κ.ά.
Έκδοση: (2020)

Transactions on High-Performance Embedded Architectures and Compilers II
Έκδοση: (2020)

Quality Software Through Reuse and Integration. 1st ed. 2018
ανά: Rubin, Stuart H., κ.ά.
Έκδοση: (2020)

Tools for High Performance Computing 2016. 1st ed. 2017
ανά: Niethammer, Christoph, κ.ά.
Έκδοση: (2020)

Embedded Software and Systems
ανά: Wu, Zhaohui, κ.ά.
Έκδοση: (2020)

Embedded Software and Systems
ανά: Lee, Yann-Hang, κ.ά.
Έκδοση: (2020)

Embedded Software and Systems
ανά: Yang, Laurence T., κ.ά.
Έκδοση: (2020)

System software :
ανά: Beck, Leland L.
Έκδοση: (1997)

Languages and Compilers for High Performance Computing
ανά: Eigenmann, Rudolf, κ.ά.
Έκδοση: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Έκδοση: (2020)

Validated Designs for Object-oriented Systems
Έκδοση: (2020)

Software Engineering for Resilient Systems
ανά: Romanovsky, Alexander, κ.ά.
Έκδοση: (2020)

Argumentation in Multi-Agent Systems
Έκδοση: (2020)

Wireless Algorithms, Systems, and Applications
Έκδοση: (2020)

Stabilization, Safety, and Security of Distributed Systems
Έκδοση: (2020)

Implementing Distributed Systems with Java and CORBA
ανά: Aleksy, Markus, κ.ά.
Έκδοση: (2020)

Testing of Software and Communication Systems
Έκδοση: (2020)

All About Maude - A High-Performance Logical Framework
ανά: Clavel, Manuel, κ.ά.
Έκδοση: (2020)