-
Certification of a Tool Chain for Deductive Program Verification
This thesis belongs to the domain of software verification. The goalof verifying software is to ensure that an implementation, a program,satisfies the requirements,... -
A Study of Library Migration in Java Software
Software intensively depends on external libraries whose relevance may change during its life cycle. As a consequence, software developers must periodically reconsider...
