Software testing fundamentals : introduction to software verification theory /
Uloženo v:
| Hlavní autor: | Samuelis, Ladislav (Autor) |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Košice :
Technical University of Košice,
2013
|
| Témata: | |
| ISBN: | 9788055312828 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Načítá se…
The art of software testing /
Autor: Myers, Glenford J. 1946-, a další
Vydáno: (2012)
Autor: Myers, Glenford J. 1946-, a další
Vydáno: (2012)
Načítá se…
Softwarové inženýrství /
Autor: Sommerville, Ian 1951-
Vydáno: (2013)
Autor: Sommerville, Ian 1951-
Vydáno: (2013)
Načítá se…
Fuzzing for software security testing and quality assurance /
Autor: Takanen, Ari, a další
Vydáno: (2008)
Autor: Takanen, Ari, a další
Vydáno: (2008)
Načítá se…
Testování softwaru řízené návrhem /
Autor: Stephens, Matt, a další
Vydáno: (2011)
Autor: Stephens, Matt, a další
Vydáno: (2011)
Načítá se…
Effective methods for software testing /
Autor: Perry, William E. 1931-
Vydáno: (2006)
Autor: Perry, William E. 1931-
Vydáno: (2006)
Načítá se…
Automated software engineering : ASE'10, proceedings of the 25th IEEE/ACM international conference, Antwerp, Belgium, September 20-24, 2010 /
Autor: Abdul Khalek, Shadi
Vydáno: (2010)
Autor: Abdul Khalek, Shadi
Vydáno: (2010)
Načítá se…
Software testing and analysis and co-located workshops MIT'10, PADTAD'10, STOV'10 and WODA'10 : ISSTA'10, proceedings of the 2010 international symposium, Trento, Italy, July 12-16, 2010 /
Autor: Arcuri, Andrea
Vydáno: (2010)
Autor: Arcuri, Andrea
Vydáno: (2010)
Načítá se…
Modern software engineering concepts and practices : advanced approaches /
Vydáno: (2011)
Vydáno: (2011)
Načítá se…
Jak testuje software Microsoft /
Autor: Page, Alan, a další
Vydáno: (2009)
Autor: Page, Alan, a další
Vydáno: (2009)
Načítá se…
ACM transactions on software engineering and methodology
Vydáno: (1992)
Vydáno: (1992)
Načítá se…
Verification and validation in scientific computing /
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)
Načítá se…
Řízení kvality softwaru : průvodce testováním /
Autor: Roudenský, Petr, a další
Vydáno: (2013)
Autor: Roudenský, Petr, a další
Vydáno: (2013)
Načítá se…
IEEE transactions on software engineering
Načítá se…
International conference on software engineering : 2019 IEEE/ACM 41st international conference on software engineering ; Montreal, Canada, May 25 - 31, 2019 /
Vydáno: (2019)
Vydáno: (2019)
Načítá se…
International conference on software engineering : ICSE '17 : proceedings of the 39th international conference on software engineering ; Buenos Aires, Argentina, May 20 - 28, 2017 /
Vydáno: (2017)
Vydáno: (2017)
Načítá se…
International conference on software engineering : 2021 IEEE/ACM 43rd International Conference on Software Engineering ; virtual (originally Madrid, Spain) ; 25-28 May , 2021 /
Vydáno: (2021)
Vydáno: (2021)
Načítá se…
Webové metodiky /
Autor: Molhanec, Martin 1955-
Vydáno: (2014)
Autor: Molhanec, Martin 1955-
Vydáno: (2014)
Načítá se…
Inretnational conference on software engineering : proceedings of the 2018 ACM/IEEE 40th; Gothenburg, Sweden, May 27-June 3, 2018/
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
International conference on software engineering : ICSE 2022 ACM/IEEE 44rd proceedings ; Pittsburgh, Pennsylvania ; 22-27 May , 2022 /
Vydáno: (2022)
Vydáno: (2022)
Načítá se…
Efektivní testování softwaru : klíčové otázky pro efektivitu testovacího procesu /
Autor: Bureš, Miroslav, a další
Vydáno: (2016)
Autor: Bureš, Miroslav, a další
Vydáno: (2016)
Načítá se…
Čistý kód /
Autor: Martin, Robert C.
Vydáno: (2009)
Autor: Martin, Robert C.
Vydáno: (2009)
Načítá se…
Objektovo-orientovaná tvorba systémov a jazyk C++. Analýza, návrh, implementácia /
Autor: Šešera, Ľubor
Vydáno: (1994)
Autor: Šešera, Ľubor
Vydáno: (1994)
Načítá se…
IEEE software
Načítá se…
Údržba kódu převzatých programů /
Autor: Feathers, Michael C.
Vydáno: (2009)
Autor: Feathers, Michael C.
Vydáno: (2009)
Načítá se…
Agilní programování. Metodiky efektivního vývoje softwaru /
Autor: Kadlec, Václav 1978-
Vydáno: (2004)
Autor: Kadlec, Václav 1978-
Vydáno: (2004)
Načítá se…
Federated events on component-based software engineering and software architecture : CompArch'12, CBSE'12, IndustryDay'12, ISARCS'12, QoSA'12, and WCOP'12, Bertinoro, Italy, June25-28, 2012 /
Vydáno: (2012)
Vydáno: (2012)
Načítá se…
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering / ACM = SIGSOFT
Vydáno: (1976)
Vydáno: (1976)
Načítá se…
FSE'10, proceedings of the 18th ACM SIGSOFT symposium, Santa Fe, USA, November 7-11, 2010 / Foundations of software engineering
Autor: Elkhodary, Ahmed
Vydáno: (2011)
Autor: Elkhodary, Ahmed
Vydáno: (2011)
Načítá se…
Řízení životního cyklu aplikací ve Visual Studiu 2010 /
Autor: Gousset, Mickey
Vydáno: (2010)
Autor: Gousset, Mickey
Vydáno: (2010)
Načítá se…
Intellectual property rights, innovation and software technologies : the economics of monopoly rights and knowledge disclosure /
Autor: Harison, Elad
Vydáno: (2008)
Autor: Harison, Elad
Vydáno: (2008)
Načítá se…
Python : pro hackery a reverzní inženýrství /
Autor: Seitz, Justin
Vydáno: (2009)
Autor: Seitz, Justin
Vydáno: (2009)
Načítá se…
Federated events on component-based software engineering & software architecture : CompArch'13 ; CBSE'13, ISARCS'13, QoSA'13 & WCOP'13 ; the compilation proceedings, Vancouver, BC, Canada, June 17-21, 2013 /
Vydáno: (2013)
Vydáno: (2013)
Načítá se…
Odporúčanie pre softvérových inžinierov : štúdie vybraných tém programových a informačných systémov.
Autor: Návrat, Pavol 1952-
Vydáno: (2015)
Autor: Návrat, Pavol 1952-
Vydáno: (2015)
Načítá se…
Empirical software engineering and measurement and co-located workshops : ESEM'12, compilation proceedings of the 202 ACM-IEEE international symposium ; EAST'12 & MetriSec'12 ; Lund, Sweden, September 19-20, 2012 /
Vydáno: (2012)
Vydáno: (2012)
Načítá se…
Self-testing VLSI design /
Autor: Yarmolik, Viacheslav Nikolaevich
Vydáno: (1993)
Autor: Yarmolik, Viacheslav Nikolaevich
Vydáno: (1993)
Načítá se…
Knowledge engineering for software development life cycles : support technologies and applications /
Vydáno: (2011)
Vydáno: (2011)
Podobné jednotky
-
The art of software testing /
Autor: Myers, Glenford J. 1946-, a další
Vydáno: (2012) -
Softwarové inženýrství /
Autor: Sommerville, Ian 1951-
Vydáno: (2013) -
Fuzzing for software security testing and quality assurance /
Autor: Takanen, Ari, a další
Vydáno: (2008) -
Testování softwaru řízené návrhem /
Autor: Stephens, Matt, a další
Vydáno: (2011) -
Effective methods for software testing /
Autor: Perry, William E. 1931-
Vydáno: (2006)

