Model-Based Software
Testing and Analysis
with C#

Côd 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...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Cambridge University Press 2013
Pynciau:	C# Software
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Testing of Software and Communicating Systems
gan: Veanes, Margus, et al.
Cyhoeddwyd: (2020)

Component-Based Software Testing with UML
Cyhoeddwyd: (2020)

Object-oriented test & measurement software development in C++ :
gan: Atchison, Lee
Cyhoeddwyd: (1997)

Testing computer software
gan: Kaner, Cem
Cyhoeddwyd: (1999)

Trends in Software Testing
gan: Mohanty, Hrushikesha, et al.
Cyhoeddwyd: (2020)

Component-Based Software Development for Embedded Systems
gan: Atkinson, Colin, et al.
Cyhoeddwyd: (2020)

Model-Based Testing of Reactive Systems
Cyhoeddwyd: (2020)

Software testing
gan: Hambling, Brian
Cyhoeddwyd: (2010)

Knowledge-Based Software Engineering Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
gan: Virvou, Maria, et al.
Cyhoeddwyd: (2013)

Knowledge-Based Software Engineering: Proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering
gan: Virvou, Maria, et al.
Cyhoeddwyd: (2014)

Testing computer software /
gan: Kaner, Cem.
Cyhoeddwyd: (1993)

Software testing :
gan: Desikan, Srinivasan
Cyhoeddwyd: (2009)

Component-Based software engineering: Putting the pieces together
gan: George T. Heineman
Cyhoeddwyd: (2001)

Model-Integrating Software Components (Engineering Flexible Software Systems)
gan: Derakhshanmanesh, Mahdi
Cyhoeddwyd: (2015)

Software testing and continuous quality improvement
gan: Lewis, William E.
Cyhoeddwyd: (2005)

Software testing and continuous quality improvement
gan: Lewis, William E.
Cyhoeddwyd: (2005)

Testing of Software and Communication Systems
Cyhoeddwyd: (2020)

Model Checking Software
gan: Godefroid, Patrick
Cyhoeddwyd: (2020)

Models in Software Engineering
gan: Kühne, Thomas
Cyhoeddwyd: (2020)

Model Checking Software
gan: Bosnacki, Dragan, et al.
Cyhoeddwyd: (2020)

Component-Based Software Engineering
Cyhoeddwyd: (2020)

Component-Based Software Engineering
gan: Schmidt, Heinz G., et al.
Cyhoeddwyd: (2020)

Rationale-Based Software Engineering
gan: Burge, Janet E., et al.
Cyhoeddwyd: (2020)

Software Processes and Life Cycle Models
gan: Kneuper, Ralf
Cyhoeddwyd: (2020)

Software testing
gan: R.M.D, Sundaram
Cyhoeddwyd: (2019)

Software testing
gan: Patton, Ron
Cyhoeddwyd: (2006)

Software testing
gan: Patton, Ron
Cyhoeddwyd: (2006)

Software Verification and Analysis
gan: Laski, Janusz, et al.
Cyhoeddwyd: (2020)

Model-Driven Software Development
gan: Beydeda, Sami, et al.
Cyhoeddwyd: (2020)

Framework - Based
gan: Gregory F. Rogers
Cyhoeddwyd: (1997)

Software testing :
gan: Everett, Gerald D
Cyhoeddwyd: (2007)

Software testing :
gan: Everett, Gerald D.
Cyhoeddwyd: (2007)

Software Safety and Security: Tools for Analysis and Verification
gan: Nipkow, Tobias, et al.
Cyhoeddwyd: (2014)

An Approach to Modelling Software Evolution Processes
gan: Li, Tong
Cyhoeddwyd: (2020)

Testing Software and Systems
gan: Yevtushenko, Nina, et al.
Cyhoeddwyd: (2020)

Software testing
gan: Hambling, Brian
Cyhoeddwyd: (2009)

Modern software development using C++.Net
gan: Wiener, Richard
Cyhoeddwyd: (2007)

Knowledge-based software engineering

Component-Based Software Engineering
Cyhoeddwyd: (2020)

Search-Based Software Engineering
gan: Colanzi, Thelma Elita, et al.
Cyhoeddwyd: (2020)