Organizers

dr hab. Aleksy Schubert, prof. ucz.
prof. dr hab. Andrzej Tarlecki
prof. dr hab. Paweł Urzyczyn

Information

Fridays, 12:15 p.m. , room: 5450

Research fields

List of talks

Oct. 26, 2009, 10:15 a.m.
Aleksy Schubert (Uniwersytet Warszawski)
Prerun wystąpień w Eindhoven
Oct. 19, 2009, 10:15 a.m.
Aleksy Schubert i Jacek Chrząszcz (Uniwersytet Warszawski)
Weryfikacja skompilowanych klas Javy w oparciu o specyfikację w BML - studium przypadku
W ramach zakończonego niedawno projektu Mobius powstało szereg narzędzi do specyfikacji i weryfikacji własności programów w Javie. Jednym z narzędzi jest generator obligacji dowodowych BMLVCGen, który na podstawie pliku ze skompilowaną klasą Javy wzbogaconą o …
Oct. 12, 2009, 10:15 a.m.
Patryk Czarnik (Uniwersytet Warszawski)
Szkoła letnia ISS-AiPL
W sierpniu miałem przyjemność w Edynburgu brać udział w szkole International Summer School on Advances in Programming Languages http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ Na seminarium postaram się streścić 10 wykładów Szkoły :), a tak naprawdę zapewne uda się nieco …
Oct. 5, 2009, 10:15 a.m.
- (Uniwersytet Warszawski)
Spotkanie organizacyjne, ustalanie tematów referatów.
May 4, 2009, 10:15 a.m.
Patryk Czarnik (Uniwersytet Warszawski)
Abstrakcyjne podejście do weryfikacji bajtkodu Javy
Weryfikacja bajtkodu to czynność przeprowadzana przez większość implementacji maszyny wirtualnej Javy podczas ładowania bajtkodu, w celu sprawdzenia poprawności programu przed jego uruchomieniem. W trakcie weryfikacji, w celu sprawdzenia poprawności typowej, przeprowadzana jest m.in. statyczna analiza …
April 27, 2009, 10:15 a.m.
Grzegorz Marczyński i Artur Zawłocki (Uniwersytet Warszawski)
A Heterogeneous Approach to Service-Oriented Systems Specification: Two Months Later
Service-oriented architecture (SOA) is a relatively new ap- proach to software system development. It divides system functionality to independent, loosely coupled, interoperable services. In this paper we propose a new heterogeneous specification approach of SOA …
March 30, 2009, 10:15 a.m.
Artur Zawłocki (Uniwersytet Warszawski)
Formalizm do specyfikacji komponentów w oparciu o logikę liniowo-temporalną -- work in progress
March 23, 2009, 10:15 a.m.
prof. Andrzej Tarlecki (Uniwersytet Warszawski)
Heterogeniczne środowiska logiczne - spojrzenie instytucyjne
March 16, 2009, 10:15 a.m.
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. …
Dec. 8, 2008, 10:15 a.m.
Ł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łównie z powodu …
Nov. 17, 2008, 10:15 a.m.
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 …
Nov. 3, 2008, 10:15 a.m.
Patryk Czarnik (Instytut Informatyki, Uniwersytet Warszawski)
Ku abstrakcyjnemu podejściu do weryfikacji bajtkodu Javy
Oct. 27, 2008, 10:15 a.m.
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).
Oct. 20, 2008, 10:15 a.m.
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 …