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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Những tác giả chính:	Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram
Format:	Bog
Sprog:	English
Udgivet:	Cambridge University Press 2013
Fag:	C# Software
Online adgang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

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

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

Testing computer software
af: Kaner, Cem
Udgivet: (1999)

Trends in Software Testing
af: Mohanty, Hrushikesha, et al.
Udgivet: (2020)

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

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

Software testing
af: Hambling, Brian
Udgivet: (2010)

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

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

Testing computer software /
af: Kaner, Cem.
Udgivet: (1993)

Software testing :
af: Desikan, Srinivasan
Udgivet: (2009)

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

Model-Integrating Software Components (Engineering Flexible Software Systems)
af: Derakhshanmanesh, Mahdi
Udgivet: (2015)

Software testing and continuous quality improvement
af: Lewis, William E.
Udgivet: (2005)

Software testing and continuous quality improvement
af: Lewis, William E.
Udgivet: (2005)

Testing of Software and Communication Systems
Udgivet: (2020)

Model Checking Software
af: Godefroid, Patrick
Udgivet: (2020)

Models in Software Engineering
af: Kühne, Thomas
Udgivet: (2020)

Model Checking Software
af: Bosnacki, Dragan, et al.
Udgivet: (2020)

Component-Based Software Engineering
Udgivet: (2020)

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

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

Software Processes and Life Cycle Models
af: Kneuper, Ralf
Udgivet: (2020)

Software testing
af: R.M.D, Sundaram
Udgivet: (2019)

Software testing
af: Patton, Ron
Udgivet: (2006)

Software testing
af: Patton, Ron
Udgivet: (2006)

Software Verification and Analysis
af: Laski, Janusz, et al.
Udgivet: (2020)

Model-Driven Software Development
af: Beydeda, Sami, et al.
Udgivet: (2020)

Framework - Based
af: Gregory F. Rogers
Udgivet: (1997)

Software testing :
af: Everett, Gerald D
Udgivet: (2007)

Software testing :
af: Everett, Gerald D.
Udgivet: (2007)

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

An Approach to Modelling Software Evolution Processes
af: Li, Tong
Udgivet: (2020)

Testing Software and Systems
af: Yevtushenko, Nina, et al.
Udgivet: (2020)

Software testing
af: Hambling, Brian
Udgivet: (2009)

Modern software development using C++.Net
af: Wiener, Richard
Udgivet: (2007)

Knowledge-based software engineering

Component-Based Software Engineering
Udgivet: (2020)

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