Changing software correctly

Metadata Label	Value
Author(s):	Bannwart, Fabian Yves
Publisher:	ETH, Software Component Technology Group
Citation:	Bannwart, Fabian Yves. Changing software correctly. an inquiry into verified refactorings with program specifications Fabian Bannwart. ETH, Software Component Technology Group (2006). http://dx.doi.org/10.3929/ethz-a-006775379
Document Type:	Reports
Documents:	Text (2.22MB)

Detailed Information

Metadata	Description
Title	Changing software correctly
Subtitle	an inquiry into verified refactorings with program specifications Fabian Bannwart
Author(s)	Bannwart, Fabian Yves
Publication Place	Zurich
Publisher	ETH, Software Component Technology Group
Publication Date	2006
Series	[Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science] [509]
Language	English
DOI	http://dx.doi.org/10.3929/ethz-a-006775379
Subject(s)	Software
Keyword(s)	SPECIFICATIONS SOFTWARE DISTRIBUTION SOFTWARE MAINTENANCE OBJECT-ORIENTED PROGRAMMING PROGRAMMING METHODS
Organisational Unit	Department of Computer Science
Online Publication Date	2011

Description	File Name	MIME Type	Size
Text	eth-4795-01.pdf	application/pdf	2.22MB

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006775379

Abstract Views and Downloads
Views	19
Downloads	19

Abstract Views and Downloads by Country
	Views	3
	Downloads	4
Japan	Views	0
Japan	Downloads	4
Switzerland	Views	3
Switzerland	Downloads	3
Norway	Views	10
Norway	Downloads	2
Australia	Views	0
Australia	Downloads	1
Canada	Views	0
Canada	Downloads	1
Fiji	Views	0
Fiji	Downloads	1
France	Views	1
France	Downloads	1
Germany	Views	0
Germany	Downloads	1
United States	Views	0
United States	Downloads	1
China	Views	2
China	Downloads	0