Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw2008_tematy [2008/04/08 23:35] gjn tematy piwo08, wstep |
pl:miw:miw2008_tematy [2019/06/27 15:50] (aktualna) |
j.w. ale konwersja latex do formatu wiki. | j.w. ale konwersja latex do formatu wiki. |
Może pracować offline, t.j. poza wiki. | Może pracować offline, t.j. poza wiki. |
| |
| |
| |
===== PrologEns ===== | ===== PrologEns ===== |
Kolorowanie składni języka Prolog dla [[http://www.gnu.org/software/enscript/|GNU Enscript]]. | Kolorowanie składni języka Prolog dla [[http://www.gnu.org/software/enscript/|GNU Enscript]]. |
Patrz realizacja dla [[prolog:geshi_prolog|GeSHi]]. | Patrz realizacja dla [[pl:prolog:geshi_prolog|GeSHi]]. |
| |
Paweł Marek <pmarek@student.agh.edu.pl> | R: [[miw08_prologens|Paweł Marek (5AR) <pmarek@student.agh.edu.pl>]] |
| |
[[miw08_prologens]] | |
| |
===== AIwikiSearch ===== | ===== AIwikiSearch ===== |
| |
====== Tematy PIW08 ====== | ====== Tematy PIW08 ====== |
===== Doku2LaTeX ===== | |
Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX. | |
| |
Chodzi o obsługę podstawowej składni, w tym: | |
* {sub}*section | |
* czcionki \text... \emph, etc. | |
* generowanie \label i \ref z odpowiednich nagłówków wiki | |
W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter). | |
| |
Tryb zaawansowany: | |
* praca na kilku stronach wiki (zadanych regexp, ew przestrzenią nazw) | |
* włączanie obrazków | |
* praca jako plugin wiki. | |
| |
===== 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 [[hekate:XMI]], do formatu [[hekate:hekate_markup_language|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 [[hekate:XMI]], do formatu [[hekate:hekate_markup_language|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. | |
| |
===== CodeLib ===== | [[pl:miw:piw2008_tematy|patrz dedykowana strona]] |
Integracja bazy przykładów w Prologu z aiwiki. | |
| |
====== Tematy MIW08 ====== | ====== Tematy MIW08 ====== |
* input | * input |
* Eclipse: [[http://www.eclipse.org/modeling/|EMF]], GEF resources ([[http://www-128.ibm.com/developerworks/opensource/library/os-eclipse-gef11/?ca=dgr-lnxw07EclipseGEF|GEF]], [[http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html]]), | * Eclipse: [[http://www.eclipse.org/modeling/|EMF]], GEF resources ([[http://www-128.ibm.com/developerworks/opensource/library/os-eclipse-gef11/?ca=dgr-lnxw07EclipseGEF|GEF]], [[http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html]]), |
* ARD: [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted|Towards Formalization of ARD+ Conceptual Design and Refinement Method]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted|An ARD+ Design and Visualization Toolchain Prototype in Prolog]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted|UServ Case Study, Conceptual Design with ARD+ Method]]. | * ARD: [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal|Towards Formalization of ARD+ Conceptual Design and Refinement Method]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog|An ARD+ Design and Visualization Toolchain Prototype in Prolog]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-userv|UServ Case Study, Conceptual Design with ARD+ Method]]. |
* output | * output |
Feasibility study, a description how to create such editors with GEF, a prototype editor | Feasibility study, a description how to create such editors with GEF, a prototype editor |
| |
==== DokuViz ==== | ==== DokuViz ==== |
[[:GraphViz]] plugin dla Dokuwiki, renderowanie diagramow z zamieszczonego w wiki kodu DOT oraz plikow umieszczanych w wiki. | [[misc:GraphViz]] plugin dla Dokuwiki, renderowanie diagramow z zamieszczonego w wiki kodu DOT oraz plikow umieszczanych w wiki. |
| |
R: [[miw08_dokuviz|Michał Kotra (4AR) <mkotra@student.agh.edu.pl>]] | R: [[miw08_dokuviz|Michał Kotra (4AR) <mkotra@student.agh.edu.pl>]] |
R: [[miw08_MindStormsControlS|Marek Siara (4AR) <siara@student.agh.edu.pl>]] | R: [[miw08_MindStormsControlS|Marek Siara (4AR) <siara@student.agh.edu.pl>]] |
| |
| |
==== MindStormsControlT ==== | |
Build a simple control stack that communicates w/ MS via BT in RT, and exposes the control through a TCP socket, providing a simple control protocol, e. g. for Prolog. | |
| |
Z: Pokrzepa Wojciech, Waliszko Jarosław, <jwa@student.agh.edu.pl> | |
| |
| |
| |
R: [[miw08_Prolog_XML|Wojciech Szymański <wojtek.szym@gmail.com>]] | R: [[miw08_Prolog_XML|Wojciech Szymański <wojtek.szym@gmail.com>]] |
| |
| |
==== Prolog_Adv ==== | ==== Prolog_Adv ==== |
* [[http://www.sics.se/sicstus|SICStus]] | * [[http://www.sics.se/sicstus|SICStus]] |
| |
| R: [[miw08_prolog_adv|Sławomir Polański (5AR) <wawele@gmail.com>]] |
| |
| |
| |
==== RBS_CHR ==== | ==== RBS_CHR ==== |
[[http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/|Constraint Handling Rules]] (też w [[:Constraint Handling Rules]]), zastosowania, implementacja, aplikacje. | [[http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/|Constraint Handling Rules]] (też w [[misc:Constraint Handling Rules]]), zastosowania, implementacja, aplikacje. |
[[http://chr.informatik.uni-ulm.de/~webchr/|Demo]] | [[http://chr.informatik.uni-ulm.de/~webchr/|Demo]] |
| |
R: Zwoźniak David <david_z@poczta.fm> | R: Zwoźniak David <david_z@poczta.fm> |
https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_rbs_back | https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_rbs_back |
| |