Model-Based Software
Testing and Analysis
with C#

QR kȏd

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

Spremljeno u:

Bibliografski detalji
Glavni autori:	Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram
Format:	Knjiga
Jezik:	English
Izdano:	Cambridge University Press 2013
Teme:	C# Software
Online pristup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

Testing of Software and Communicating Systems
od: Veanes, Margus, i dr.
Izdano: (2020)

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

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

Testing computer software
od: Kaner, Cem
Izdano: (1999)

Trends in Software Testing
od: Mohanty, Hrushikesha, i dr.
Izdano: (2020)

Component-Based Software Development for Embedded Systems
od: Atkinson, Colin, i dr.
Izdano: (2020)

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

Software testing
od: Hambling, Brian
Izdano: (2010)

Knowledge-Based Software Engineering Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
od: Virvou, Maria, i dr.
Izdano: (2013)

Knowledge-Based Software Engineering: Proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering
od: Virvou, Maria, i dr.
Izdano: (2014)

Testing computer software /
od: Kaner, Cem.
Izdano: (1993)

Software testing :
od: Desikan, Srinivasan
Izdano: (2009)

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

Model-Integrating Software Components (Engineering Flexible Software Systems)
od: Derakhshanmanesh, Mahdi
Izdano: (2015)

Software testing and continuous quality improvement
od: Lewis, William E.
Izdano: (2005)

Software testing and continuous quality improvement
od: Lewis, William E.
Izdano: (2005)

Testing of Software and Communication Systems
Izdano: (2020)

Model Checking Software
od: Godefroid, Patrick
Izdano: (2020)

Models in Software Engineering
od: Kühne, Thomas
Izdano: (2020)

Model Checking Software
od: Bosnacki, Dragan, i dr.
Izdano: (2020)

Component-Based Software Engineering
Izdano: (2020)

Component-Based Software Engineering
od: Schmidt, Heinz G., i dr.
Izdano: (2020)

Rationale-Based Software Engineering
od: Burge, Janet E., i dr.
Izdano: (2020)

Software Processes and Life Cycle Models
od: Kneuper, Ralf
Izdano: (2020)

Software testing
od: R.M.D, Sundaram
Izdano: (2019)

Software testing
od: Patton, Ron
Izdano: (2006)

Software testing
od: Patton, Ron
Izdano: (2006)

Software Verification and Analysis
od: Laski, Janusz, i dr.
Izdano: (2020)

Model-Driven Software Development
od: Beydeda, Sami, i dr.
Izdano: (2020)

Framework - Based
od: Gregory F. Rogers
Izdano: (1997)

Software testing :
od: Everett, Gerald D
Izdano: (2007)

Software testing :
od: Everett, Gerald D.
Izdano: (2007)

Software Safety and Security: Tools for Analysis and Verification
od: Nipkow, Tobias, i dr.
Izdano: (2014)

An Approach to Modelling Software Evolution Processes
od: Li, Tong
Izdano: (2020)

Testing Software and Systems
od: Yevtushenko, Nina, i dr.
Izdano: (2020)

Software testing
od: Hambling, Brian
Izdano: (2009)

Modern software development using C++.Net
od: Wiener, Richard
Izdano: (2007)

Knowledge-based software engineering

Component-Based Software Engineering
Izdano: (2020)

Search-Based Software Engineering
od: Colanzi, Thelma Elita, i dr.
Izdano: (2020)