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
オンライン･アクセス:	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)