Model-Based Software
Testing and Analysis
with C#

Mã QR

Model-Based Software Testing and Analysis with C#

This book teaches newmethods for specifying, analyzing, and testing software. They are examples of model-based analysis and model-based testing, which use a model that describes how the program is supposed to behave. The methods provide novel solutions to the problems of expressing and analyzing...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Cambridge University Press 2013
Những chủ đề:	C# Software
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Testing of Software and Communicating Systems
Bỡi: Veanes, Margus, et al.
Được phát hành: (2020)

Component-Based Software Testing with UML
Được phát hành: (2020)

Testing computer software
Bỡi: Kaner, Cem
Được phát hành: (1999)

Object-oriented test & measurement software development in C++ :
Bỡi: Atchison, Lee
Được phát hành: (1997)

Trends in Software Testing
Bỡi: Mohanty, Hrushikesha, et al.
Được phát hành: (2020)

Software testing
Bỡi: Hambling, Brian
Được phát hành: (2010)

Testing computer software /
Bỡi: Kaner, Cem.
Được phát hành: (1993)

Component-Based Software Development for Embedded Systems
Bỡi: Atkinson, Colin, et al.
Được phát hành: (2020)

Software testing :
Bỡi: Desikan, Srinivasan
Được phát hành: (2009)

Software testing and continuous quality improvement
Bỡi: Lewis, William E.
Được phát hành: (2005)

Software testing and continuous quality improvement
Bỡi: Lewis, William E.
Được phát hành: (2005)

Testing of Software and Communication Systems
Được phát hành: (2020)

Model-Based Testing of Reactive Systems
Được phát hành: (2020)

Knowledge-Based Software Engineering Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Bỡi: Virvou, Maria, et al.
Được phát hành: (2013)

Knowledge-Based Software Engineering: Proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering
Bỡi: Virvou, Maria, et al.
Được phát hành: (2014)

Software testing
Bỡi: R.M.D, Sundaram
Được phát hành: (2019)

Software testing
Bỡi: Patton, Ron
Được phát hành: (2006)

Software testing
Bỡi: Patton, Ron
Được phát hành: (2006)

Component-Based software engineering: Putting the pieces together
Bỡi: George T. Heineman
Được phát hành: (2001)

Model-Integrating Software Components (Engineering Flexible Software Systems)
Bỡi: Derakhshanmanesh, Mahdi
Được phát hành: (2015)

Component-Based Software Engineering
Được phát hành: (2020)

Rationale-Based Software Engineering
Bỡi: Burge, Janet E., et al.
Được phát hành: (2020)

Component-Based Software Engineering
Bỡi: Schmidt, Heinz G., et al.
Được phát hành: (2020)

Software Verification and Analysis
Bỡi: Laski, Janusz, et al.
Được phát hành: (2020)

Software testing :
Bỡi: Everett, Gerald D
Được phát hành: (2007)

Software testing :
Bỡi: Everett, Gerald D.
Được phát hành: (2007)

Model Checking Software
Bỡi: Godefroid, Patrick
Được phát hành: (2020)

Model Checking Software
Bỡi: Bosnacki, Dragan, et al.
Được phát hành: (2020)

Models in Software Engineering
Bỡi: Kühne, Thomas
Được phát hành: (2020)

Software Processes and Life Cycle Models
Bỡi: Kneuper, Ralf
Được phát hành: (2020)

Testing Software and Systems
Bỡi: Yevtushenko, Nina, et al.
Được phát hành: (2020)

Software testing
Bỡi: Hambling, Brian
Được phát hành: (2009)

Modern software development using C++.Net
Bỡi: Wiener, Richard
Được phát hành: (2007)

Pragmatic software testing :
Bỡi: Black, Rex
Được phát hành: (2007)

Model-Driven Software Development
Bỡi: Beydeda, Sami, et al.
Được phát hành: (2020)

Software Safety and Security: Tools for Analysis and Verification
Bỡi: Nipkow, Tobias, et al.
Được phát hành: (2014)

Hardware and Software: Verification and Testing
Bỡi: Strichman, Ofer, et al.
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Bỡi: Yorav, Karen
Được phát hành: (2020)

Hardware and Software, Verification and Testing
Bỡi: Bin, Eyal, et al.
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Được phát hành: (2020)