Model-Based Software
Testing and Analysis
with C#

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...

保存先:

書誌詳細
主要な著者:	Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram
フォーマット:	図書
言語:	English
出版事項:	Cambridge University Press 2013
主題:	C# Software
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Testing of Software and Communicating Systems
著者:: Veanes, Margus, 等
出版事項: (2020)

Component-Based Software Testing with UML
出版事項: (2020)

Object-oriented test & measurement software development in C++ :
著者:: Atchison, Lee
出版事項: (1997)

Testing computer software
著者:: Kaner, Cem
出版事項: (1999)

Trends in Software Testing
著者:: Mohanty, Hrushikesha, 等
出版事項: (2020)

Component-Based Software Development for Embedded Systems
著者:: Atkinson, Colin, 等
出版事項: (2020)

Model-Based Testing of Reactive Systems
出版事項: (2020)

Software testing
著者:: Hambling, Brian
出版事項: (2010)

Knowledge-Based Software Engineering Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
著者:: Virvou, Maria, 等
出版事項: (2013)

Knowledge-Based Software Engineering: Proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering
著者:: Virvou, Maria, 等
出版事項: (2014)

Testing computer software /
著者:: Kaner, Cem.
出版事項: (1993)

Software testing :
著者:: Desikan, Srinivasan
出版事項: (2009)

Component-Based software engineering: Putting the pieces together
著者:: George T. Heineman
出版事項: (2001)

Model-Integrating Software Components (Engineering Flexible Software Systems)
著者:: Derakhshanmanesh, Mahdi
出版事項: (2015)

Software testing and continuous quality improvement
著者:: Lewis, William E.
出版事項: (2005)

Software testing and continuous quality improvement
著者:: Lewis, William E.
出版事項: (2005)

Testing of Software and Communication Systems
出版事項: (2020)

Model Checking Software
著者:: Godefroid, Patrick
出版事項: (2020)

Models in Software Engineering
著者:: Kühne, Thomas
出版事項: (2020)

Model Checking Software
著者:: Bosnacki, Dragan, 等
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Component-Based Software Engineering
著者:: Schmidt, Heinz G., 等
出版事項: (2020)

Rationale-Based Software Engineering
著者:: Burge, Janet E., 等
出版事項: (2020)

Software Processes and Life Cycle Models
著者:: Kneuper, Ralf
出版事項: (2020)

Software testing
著者:: R.M.D, Sundaram
出版事項: (2019)

Software testing
著者:: Patton, Ron
出版事項: (2006)

Software testing
著者:: Patton, Ron
出版事項: (2006)

Software Verification and Analysis
著者:: Laski, Janusz, 等
出版事項: (2020)

Model-Driven Software Development
著者:: Beydeda, Sami, 等
出版事項: (2020)

Framework - Based
著者:: Gregory F. Rogers
出版事項: (1997)

Software testing :
著者:: Everett, Gerald D
出版事項: (2007)

Software testing :
著者:: Everett, Gerald D.
出版事項: (2007)

Software Safety and Security: Tools for Analysis and Verification
著者:: Nipkow, Tobias, 等
出版事項: (2014)

An Approach to Modelling Software Evolution Processes
著者:: Li, Tong
出版事項: (2020)

Testing Software and Systems
著者:: Yevtushenko, Nina, 等
出版事項: (2020)

Software testing
著者:: Hambling, Brian
出版事項: (2009)

Modern software development using C++.Net
著者:: Wiener, Richard
出版事項: (2007)

Knowledge-based software engineering

Component-Based Software Engineering
出版事項: (2020)

Search-Based Software Engineering
著者:: Colanzi, Thelma Elita, 等
出版事項: (2020)