Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Konstruowanie specyfikacji i weryfikacja oprogramowania

2013/11/B/ST6/01381

Słowa kluczowe:

logika specyfikacja weryfikacja oprogramowania

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_3: Systemy programowania, systemy operacyjne, metody rozwoju oprogramowania, języki programowania
  • ST1_1: Logika i podstawy matematyki

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. dr hab. Andrzej Tarlecki 

Liczba wykonawców projektu: 6

Konkurs: OPUS 6 - ogłoszony 2013-09-16

Przyznana kwota: 496 260 PLN

Rozpoczęcie projektu: 2014-07-16

Czas trwania projektu: 36 miesięcy

Status projektu: Projekt zakończony