Lista referatów

• 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