High Confidence Software Reuse in Large Systems

Mã QR

High Confidence Software Reuse in Large Systems

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Mei, Hong
פורמט:	ספר
שפה:	English
יצא לאור:	Springer Berlin Heidelberg 2020
נושאים:	Computer Science Computer Engineering Programming Techniques
גישה מקוונת:	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, et al.
יצא לאור: (2020)

Engineering Trustworthy Software Systems
מאת: Bowen, Jonathan P., et al.
יצא לאור: (2020)

Mastering Scale and Complexity in Software Reuse
מאת: Botterweck, Goetz, et al.
יצא לאור: (2020)

Formal Methods and Software Engineering
מאת: Duan, Zhenhua, et al.
יצא לאור: (2020)

Component-Based Software Engineering
יצא לאור: (2020)

Algorithmics of Large and Complex Networks
יצא לאור: (2020)

Verified Software: Theories, Tools, Experiments
מאת: Meyer, Bertrand, et al.
יצא לאור: (2020)

Extreme Programming and Agile Processes in Software Engineering
יצא לאור: (2020)

Agile Processes in Software Engineering and Extreme Programming
מאת: Concas, Giulio, et al.
יצא לאור: (2020)

Transactions on Aspect-Oriented Software Development VI
יצא לאור: (2020)

Languages, Methodologies and Development Tools for Multi-Agent Systems
מאת: Dastani, Mehdi, et al.
יצא לאור: (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é, et al.
יצא לאור: (2020)

Formal Methods and Software Engineering
מאת: Butler, Michael, et al.
יצא לאור: (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., et al.
יצא לאור: (2020)

Formal Foundations of Reuse and Domain Engineering
יצא לאור: (2020)

Engineering Multi-Agent Systems
מאת: Fallah-Seghrouchni, Amal El, et al.
יצא לאור: (2020)

Software Reuse
מאת: Sodhi, Jag
יצא לאור: (1999)

High-Performance Computing
מאת: Labarta, Jesus, et al.
יצא לאור: (2020)

Transactions on High-Performance Embedded Architectures and Compilers II
יצא לאור: (2020)

Quality Software Through Reuse and Integration. 1st ed. 2018
מאת: Rubin, Stuart H., et al.
יצא לאור: (2020)

Tools for High Performance Computing 2016. 1st ed. 2017
מאת: Niethammer, Christoph, et al.
יצא לאור: (2020)

Embedded Software and Systems
מאת: Wu, Zhaohui, et al.
יצא לאור: (2020)

Embedded Software and Systems
מאת: Lee, Yann-Hang, et al.
יצא לאור: (2020)

Embedded Software and Systems
מאת: Yang, Laurence T., et al.
יצא לאור: (2020)

System software :
מאת: Beck, Leland L.
יצא לאור: (1997)

Languages and Compilers for High Performance Computing
מאת: Eigenmann, Rudolf, et al.
יצא לאור: (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, et al.
יצא לאור: (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, et al.
יצא לאור: (2020)

Testing of Software and Communication Systems
יצא לאור: (2020)

All About Maude - A High-Performance Logical Framework
מאת: Clavel, Manuel, et al.
יצא לאור: (2020)