Model-Based Software
Testing and Analysis
with C#

क्यूआर कोड

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)