Sökning: "Tim Heyer"
Hittade 2 avhandlingar innehållade orden Tim Heyer.
1. COMPASS : introduction of formal methods in code development and inspection
Sammanfattning : .... LÄS MER
2. Semantic Inspection of Software Artifacts From Theory to Practice
Sammanfattning : Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. LÄS MER
Resultatsidor:
1