To jest stara wersja strony!
Projekty PIW2008
Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008.
Dodatkowe informacje organizacyjne znajdują się tu: piw2008_organizacja.
Doku2LaTeX
Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX.
Chodzi o obsługę podstawowej składni, w tym:
W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter).
Tryb zaawansowany:
LaTeX2Doku
j.w. ale konwersja latex do formatu wiki.
Może pracować offline, t.j. poza wiki.
AIwikiSearch
Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.
UML2ARD
Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu XMI, do formatu ARDML.
ARD2UML
j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.
XMI_ARD
Model ARD w XMI z uwzględnieniem MOF.
UML2XTT
Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu XMI, do formatu XTTML.
XTT2UML
j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML.
WikiMsc
generowanie szablonu prac mgr z wiki
NXTAPItest
testowanie API dla NXT w Prologu.
NXTcompile
ewaluacja możliwości uruchamiania kodu prologu bezpośrednio na mindstorms, np.:
CodeLib
Integracja bazy przykładów w Prologu z aiwiki.
NXTserialProlog
Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT).
Kontynuacja miw08_mindstormscontrols
Kroki:
XTT_Prolog
Reprezentacja XTT w Prologu + prosty interpreter.
Zainteresowani: Szymon Bobek & Michał Gawędzki (4IS)
ARD_Prolog
Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch.
Z: Paweł Muchacki (4IS)
XTT_Serialization
Try to propose an effective encoding of XTT with UML and Java.
XTTplusApps
Try to apply, refine xtt+ features, design real-life SE cases using xtt+
SE cases, well documented MVC-based UML code
ARD/XTT based representation of the cases
GEFARDXTT
GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor requirements
Feasibility study, a description how to create such editors with GEF, a prototype editor MS Thesis regarding GEF: Interfejs graficzny do budowy aplikacji komponentowych zapewniający weryfikację semantyczną, ARD+ Editor requirements
BizRulesVocabularies
It is a common visual notation used in the Business_Process_Modeling that is a modeling/design problem in the Business_process_management. The BPMN is officially standarized by OMG. Some possible areas of investigation(at 1st sight):
input
relation between BPMN and UML, e.g. see Use of UML and Model Transformations for Workflow Process Definitions
how could we use Business_Process_Execution_Language
the general idea of workflow and tools such as yawl is worth digging in…
SBVR
output
Extended ARD.
HekateOnto
porównać i omówić metody reprezentowania atrybutów w językach:
oraz metody reprezentowania reguł w:
Prolog_XML
Zaproponować zestaw predykatów realizujących w SWI prologu budowanie dokumentu XML zgodnego z parserem SWI.
W tej chwili SWI prolog pozwala na wczytanie dokumentu do listy i następnie jej ew. zapis z powrotem w XML.
Chodzi o dostarczenie predykatów, które będą w stanie wspomóc budowanie w.w. listu od zera, oraz manipulowanie nią.
Patrz też DOM.