Extended Static Checking of Evolving Programs by Change Contract

Szőke, Gábor (2012) Extended Static Checking of Evolving Programs by Change Contract. Masters, Szegedi Tudományegyetem.

	PDF 2012_szoke_gabor.pdf Hozzáférés joga: SZTE designated computers only Download (742kB)
	PDF 2012_szoke_gabor_osszefoglalo.pdf Hozzáférés joga: SZTE designated computers only Download (1MB)
	PDF 2012_szoke_gabor_biralat.pdf Hozzáférés joga: Repository staff only Download (1MB)
	PDF 2012_szoke_gabor_kerelem.pdf Hozzáférés joga: SZTE designated computers only Download (1MB)
	Archive (TGZ) 2012_szoke_gabor_melleklet.tgz Hozzáférés joga: SZTE designated computers only Download (616MB)

Hungarian title

Szerződéses kiterjesztett statikus validáció a szoftver evolúcióban

Institution

Szegedi Tudományegyetem

Faculty

Faculty of Science and Informatics

Department

Szoftverfejlesztés Tanszék

Discipline

Informatics

Specialization

programtervező informatikus

Supervisor(s)

Item Type:	Thesis (Masters)
Subjects:	01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences 01. Natural sciences > 01.02. Computer and information sciences > 01.02.01. Computer sciences, information science and bioinformatics
Depositing User:	TTIK szerkesztő
Date Deposited:	2021. Oct. 05. 12:44
Last Modified:	2023. Sep. 08. 10:45
URI:	https://diploma.bibl.u-szeged.hu/id/eprint/119185

Actions (login required)

View Item