Część programistyczna pracy dyplomowej polegała na napisaniu systemu do kompresji stanów liczników na potrzeby weryfikacji formalnej (Static Formal Verification) w środowisku COSMA.
Dla firmy DNet napisałem aplikację do podpisywania dokumentów (Visual C++, biblioteki kryptograficzne Unizeto).
(...) Nie ma bowiem łatwych odpowiedzi. Nie istnieje nic takiego jak najlepsze rozwiązanie - zarówno jeśli chodzi o narzędzia, jak i języki czy systemy operacyjne. Są jedynie systemy, które mogą być bardziej odpowiednie w konkretnych okolicznościach.
I tu właśnie do gry wchodzi pragmatyzm. Nie należy przywiązywać się do żadnej określonej metody, ale mieć na tyle rozległą wiedzę i doświadczenie, by w danej sytuacji wybrać dobre rozwiązanie. (...)
Andrew Hunt, David Thomas "Pragmatyczny Programista"
