Changing software correctly
an inquiry into verified refactorings with program specifications
Permanent link
https://doi.org/10.3929/ethz-a-006775379Publication status
publishedExternal links
Search via SFX
Journal / series
Technical report / Swiss Federal Institute of Technology Zürich, Department of Computer ScienceVolume
Publisher
ETH, Software Component Technology GroupSubject
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 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.More
Show all metadata
ETH Bibliography
yes
Altmetrics