 Nie jesteś zalogowany | zaloguj się |
| Nie jesteś zalogowany | zaloguj się |
2009-04-27, godz. 10:15, 4790
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 systems where a heterogeneous struct...
2009-03-30, godz. 10:15, 4790
Artur Zawłocki (Uniwersytet Warszawski)
Formalizm do specyfikacji komponentów w oparciu o logikę liniowo-temporalną -- work in progress
2009-03-23, godz. 10:15, 4790
prof. Andrzej Tarlecki (Uniwersytet Warszawski)
Heterogeniczne środowiska logiczne - spojrzenie instytucyjne
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)
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)
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 ...
