Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

Cotygodniowe seminarium badawcze

Plan referatów/Talks schedule

Lista referatów

  • 2009-03-16, godz. 10:15, 4790

    prof. Andrzej Tarlecki (Uniwersytet Warszawski)

    Heterogeniczne środowiska logiczne - spojrzenie instytucyjne

    HETEROGENEOUS LOGICAL ENVIRONMENTS: AN INSTITUTIONAL VIEW We work within the theory of institutions as a framework where the theory of specification and formal software development may be presented in an adequately general and abstract way. As different logical systems may be appropriate or most co...

  • 2008-12-08, godz. 10:15, 4790

    Łukasz Jancewicz (Uniwersytet Warszawski)

    Anonimowość w BitTorrencie

    BitTorrent jest obecnie najpopularniejszym protokołem peer-to-peer, czyli służącym do bezpośredniej wymiany plików między użytkownikami Internetu. Przyczyną takiej popularności jest jego szybkość i skalowalność, które osiąga się kosztem m.in. prywatności. W ostatnich latach, głów...

  • 2008-11-17, godz. 10:15, 4790

    Piotr Kosiuczenko

    Przepisywanie termów jako semantyczna podstawa modelowania graficznego

    Graficzne języki modelowania, takie jak Unified Modeling Language (UML) i Specification and Description Language (SDL), są dziś powszechnie stosowane w praktyce inżynierii oprogramowania. Jednakże ich rozwój wymagał lat pracy nad notacjami w nich zawartymi oraz ich semantyką. Wiele kontrower...

  • 2008-11-03, godz. 10:15, 4790

    Patryk Czarnik (Instytut Informatyki, Uniwersytet Warszawski)

    Ku abstrakcyjnemu podejściu do weryfikacji bajtkodu Javy

  • 2008-10-27, godz. 10:15, 4790

    Grzegorz Marczyński (Uniwersytet Warszawski)

    BPMN, czyli Business Process Modeling Notation

    Na seminarium na przykładach przedstawię notację BPMN w wersji 1.1. Postaram sie również opisać związki pomiędzy BPMN i BPEL (Business Process Execution Language)....

  • 2008-10-20, godz. 10:15, 4790

    Artur Zawłocki (Uniwersytet Warszawski, Instytut Informatyki)

    An Algebraic Semantics for Contract-based Software Components

    Praca Michela Bidoit i Rolfa Hennickera (z AMAST 2008) Abstrakt pracy: We propose a semantic foundation for the contract-based design of software components. Our approach focuses on the characteristic principles of component-oriented development, like provided and required interface specifications ...

Strony