• Analiza i ewaluacja systemów klasy Crime Mapping

• Analiza i opracowanie modelu sieci społecznościowej dla oceny wiarygodności użytkowników i ich komunikatów

• Analiza możliwości wykorzystania programowania z ograniczeniami w systemi Eclipse CLP

• Analiza wybranych narzędzi do obsługi BPMN i BPEL

• Analiza wybranych narzędzi do obsługi Business Rules

• Analiza wybranych technologii implementacji i trendów rozwojowych portali WWW

• Opracowanie modelu funkcjonalności społecznościowego portalu ewidencji zagrożeń

• Opracowanie modelu logicznego BPMN dla analizy i weryfikacji procesów biznesowych

• Weryfikacja wybranych własności formalnych systemu zarządzania regułami biznesowymi

Bliższe informacje: Automatyka i Robotyka oraz Informatyka Stosowana