Międzynarodowe warsztaty nt. sieci Petriego i inżynierii oprogramowania, Newcastle upon Tyne, Wlk. Brytania :: Wydarzenia / Polski Serwis Naukowy

Polecamy również:

WOOPS 2012 - warsztaty nt. bezpieczeństwa opartego na sieciach Petriego, Hamburg, Niemcy

Szóste międzynarodowe warsztaty nt. modelowania zmienności systemów intensywnie korzystających z oprogramowania, Lipsk, Niemcy

Sympozjum nt. inżynierii oprogramowania opartej na wyszukiwaniu, Szeged, Węgry

Warsztaty nt. systemów wieloagentowych i sieci społecznych, Istambuł, Turcja

Piąta środkowo- i wschodnioeuropejska konferencja nt. technik inżynierii oprogramowania, Debreczyn, Węgry

Konferencja nt. wielordzeniowej inżynierii oprogramowania, wydajności i narzędzi, Praga, Czechy

W dniach 20 - 21 czerwca 2011 r. w Newcastle upon Tyne, Wlk. Brytania, odbędą się międzynarodowe warsztaty nt. sieci Petriego i inżynierii oprogramowania.

W opracowywaniu złożonych systemów, na które składają się wchodzące ze sobą w interakcje, reaktywne komponenty oprogramowania i sprzętu, kluczowe znacznie ma użycie na poszczególnych etapach prac precyzyjnego języka.

Sieci Petriego zyskują w tej dziedzinie coraz większą popularność, gdyż zapewniają jednolity język obsługujący zadania modelowania, zatwierdzania i weryfikacji. (Sieć Petriego - znana również jako sieć miejsce/przejście lub sieć P/T - to jeden z kilku matematycznych języków modelowania służący do opisu systemów rozproszonych). Ich popularność wynika z faktu, że sieci Petriego oddają podstawowe aspekty przyczynowości, współbieżności i wyboru w naturalnie i matematycznie precyzyjny sposób bez uszczerbku dla czytelności.

W czasie konferencji poruszone zostaną następujące tematy:
- modelowanie;
- zatwierdzanie i wykonanie;
- weryfikacja;
- zastosowanie sieci Petriego w inżynierii oprogramowania;
- otwarte problemy i nowe zastosowania sieci Petriego;
- powiązanie sieci Petriego i inżynierii oprogramowania;
- narzędzia.

Za: CORDIS

komentuj publikację

Czy wiesz że...?

wersja BETA

Sieć Petriego matematyczna reprezentacja dyskretnych systemów rozproszonych. Sieci Petriego zostały zdefiniowane w latach 60. XX w. przez Carla Adama Petriego. Przez swoją zdolność do wyrażania współbieżnych zdarzeń uogólniają one teorię automatów. pełny tekst

Szalka Petriego - zwana też płytką Petriego to prosty sprzęt laboratoryjny o kształcie gładkiej, płaskiej, okrągłej podstawki z niską, prostą, pionową ścianką dookoła okrągłego dna. pełny tekst

Okręg wyborczy Newcastle upon Tyne North powstał w 1918 r. i wysyła do brytyjskiej Izby Gmin jednego deputowanego. Okręg obejmuje północną część miasta Newcastle upon Tyne. pełny tekst

Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".