Changing software correctly

an inquiry into verified refactorings with program specifications
Download
Text (Adobe PDF, 2.222Mb)
Thumbnail
Open access
Author
Bannwart, Fabian Yves
Date
2006
Type
  • Report
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-006775379
Publication status
published
External links
Search via SFX
Journal / series
Technical report / Swiss Federal Institute of Technology Zürich, Department of Computer Science
Volume
509
Publisher
ETH, Software Component Technology Group
Subject
SPEZIFIKATIONEN (SOFTWARE ENGINEERING); SOFTWARE DISTRIBUTION + SOFTWARE MAINTENANCE (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIFICATIONS (SOFTWARE ENGINEERING); SOFTWAREVERTEILUNG + SOFTWAREUNTERHALT (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)
Organisational unit
02150 - Departement Informatik / Department of Computer Science
Notes
Technical Reports D-INFK.
More
Show all metadata
ETH Bibliography
yes
Altmetrics