Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw2008_tematy [2008/04/16 12:32] wojnicki waliszko -> piw |
pl:miw:miw2008_tematy [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 57: | Linia 57: | ||
| 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> | + | |
| - | [[miw08_prologens]] | + | R: [[miw08_prologens|Paweł Marek (5AR) <pmarek@student.agh.edu.pl>]] |
| ===== AIwikiSearch ===== | ===== AIwikiSearch ===== | ||
| Linia 207: | Linia 206: | ||
| * 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 | ||
| Linia 433: | Linia 432: | ||
| ==== 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>]] | ||
| Linia 646: | Linia 645: | ||
| 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 ==== | ||
| Linia 662: | Linia 662: | ||
| * [[http://www.sics.se/sicstus|SICStus]] | * [[http://www.sics.se/sicstus|SICStus]] | ||
| + | R: [[miw08_prolog_adv|Sławomir Polański (5AR) <wawele@gmail.com>]] | ||
| Linia 718: | Linia 718: | ||
| ==== 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]] | ||
