Sökning: "Andrew Bwogi"

Hittade 2 uppsatser innehållade orden Andrew Bwogi.

1. 1. Metametaprogramming for Java with Spoon

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Andrew Bwogi; [2021]
   Nyckelord :;

   Sammanfattning : Metaprogramming is used to abstract away complicated code by o˙ering a more intuitive interface that automatically generates it. Spoon and ASM are two metaprogram libraries for Java that operate on programs at source code and bytecode level respectively. LÄS MER

3. 2. Configuring Java Pathfinder for concurrent Java programs

   Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

   Författare :Andrew Bwogi; Tuncay Dagdelen; [2017]
   Nyckelord :;

   Sammanfattning : Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties. LÄS MER