Sökning: "Tim Heyer"

Hittade 2 avhandlingar innehållade orden Tim Heyer.

1. 1. COMPASS : introduction of formal methods in code development and inspection

   Författare :Tim Heyer; Linköpings universitet; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

3. 2. Semantic Inspection of Software Artifacts From Theory to Practice

   Författare :Tim Heyer; Ulf Nilsson; Anders Törne; Staffan Bonnier; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software development process; programming; program language; UML; Computer science; Datavetenskap;

   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