Následující témata CCMi jsou aktuálně ve fakultním systému Závěrečné práce:
▼
Transformace OntoUML modelu do jeho realizace v relační databázi pro platformu OpenPonk Diplomová
Rezervace: 0/1
Cílem práce je rozšířit možnosti platformy #OpenPonk vyvíjené v rámci #
CCMi o transformaci #Onto
UML modelu do jeho realizace v relační databázi.
Pokyny k vypracování:
- Analyzujte a popište postup transformace #Onto
UML modelu do jeho realizace v relační databázi.
- Analyzujte a popište platformu #OpenPonk a její možnosti vzhledem k jednotlivým modelům a transformacím.
- Navrhněte realizaci jednotlivých dílčích transformací v rámci platformy #OpenPonk, včetně transformace OCL omezení vycházejících z transformace.
- Proveďte implementaci jednotlivých dílčích transformací a následně patřičně otestujte.
- Zdokumentujte analyzovanou funkčnost, její realizaci i použití.
▼
Tvorba ontologií pro bioinformatiku Diplomová
Rezervace: 0/1
Náplní práce je vzít existující data z vybrané (chemické) domény/domén a prostudovat, zda již pro danou oblast existují nějaké OWL ontologie, které by bylo možné pro daná data použít. Poté navrhnout, jak tato data v takové ontologii reprezentovat a příp. napsat i nějaký konverzní tool, který by danou transformaci do navržené ontologie provedl.
Téma je vypsáno skupinou #CCMi ve spolupráci s infrastrukturou #ELIXIR. ▼
Tvorba ontologií pro bioinformatiku Bakalářská
Rezervace: 0/1
Náplní práce je vzít existující data z vybrané (chemické) domény/domén a prostudovat, zda již pro danou oblast existují nějaké OWL ontologie, které by bylo možné pro daná data použít. Poté navrhnout, jak tato data v takové ontologii reprezentovat a příp. napsat i nějaký konverzní tool, který by danou transformaci do navržené ontologie provedl.
Téma je vypsáno skupinou #CCMi ve spolupráci s infrastrukturou #ELIXIR. ▼
Rozvoj platformy OpenPonk Bakalářská
Rezervace: 1/4
#OpenPonk je klíčovým projektem výzkumné skupiny #
CCMi zaměřeným na vytvoření otevřené platformy pro konceptuální modelování, simulace, vizualizace, transformace modelů a generování kódu sloužící pro výuku, vědu i praxi. Platforma je realizována v technologii #
Pharo. Cílem práce je programovat další modelovací notace a algoritmy (dle zájmu) do platformy, či rozvíjet platformu samotnou (např UI).
#OpenPonk is a key project of the #
CCMi research group. Its ambition is to develop an open platform for conceptual modelling, simulations, visualisations, transformation of models and code generation for education, research and practice. The platform is implemented using the #
Pharo technology. The goal of the thesis is to programme modelling notations and/or algorithms on the platform, or develop the platform itself (e.g. UI). Will be specified more detailed according to the specific student's preferences.
▼
Implementace CASE nástroje pro metodiku UWE Diplomová
Rezervace: 0/1
- Nastudujte metodiku pro analýzu a návrh webových aplikací UWE zalozenou na #
UML profilu.
- Seznamte se s platformou #OpenPonk a jazykem #
Smalltalk.
- Proveďte analýzu, návrh a implementaci modelování diagramú UWE do OpenPonk.
- Navrhněte a implementujte vybrané algoritmy kontrol, transformací modelú a generování kódu.
- Řešení otestujte a demonstrujte na případové studii.
Téma přispívá do výzkumu #
CCMi.
- Acquaint yourself with the UWE methodology for analysis and design of web applications
- Acquaint yourself with the OpenPonk platform.
- Perform analysis, design and implementation of UWE diagrams modelling in OpenPonk.
- Design and implement selected algorithms for models verification, transformation and code generation.
- Test the solution and demonstrate it using a case study.
The topic contributes to the #
CCMi research.
▼
Implementace CASE nástroje pro metodiku UWE Bakalářská
Rezervace: 0/1
- Nastudujte metodiku pro analýzu a návrh webových aplikací UWE zalozenou na #
UML profilu.
- Seznamte se s platformou #OpenPonk a jazykem #
Smalltalk.
- Proveďte analýzu, návrh a implementaci modelování diagramú UWE do OpenPonk.
- Navrhněte a implementujte vybrané algoritmy kontrol, transformací modelú a generování kódu.
- Řešení otestujte a demonstrujte na případové studii.
Téma přispívá do výzkumu #
CCMi.
- Acquaint yourself with the UWE methodology for analysis and design of web applications
- Acquaint yourself with the OpenPonk platform.
- Perform analysis, design and implementation of UWE diagrams modelling in OpenPonk.
- Design and implement selected algorithms for models verification, transformation and code generation.
- Test the solution and demonstrate it using a case study.
The topic contributes to the #
CCMi research.
▼
Efektivní dotazování nad databází PubChem Bakalářská
Rezervace: 0/1
Úkolem je navrhnout pro data z databáze PubChem vhodné relační schéma a napsat jeho mapování do RDF. Poté vymyslet vhodnou sadu dotazů a porovnávat efektivnost dotazování SPARQLem nad nativními RDF daty a nad mapovanými daty. Případně to ještě srovnat s SQL dotazem nad relačními daty. Práce by tedy měla jak část implementační, tak část měřící. UOCHB AV zajistí dostatečně výkonný hardware pro takové pokusy.
Téma je vypsáno skupinou #CCMi ve spolupráci s infrastrukturou #ELIXIR. ▼
WYSIWYG tvorba webových formulářů Bakalářská
Rezervace: 0/1
Proveďte rešerši současných nejúspěšnějších řešení pro tvorbu WYSIWYG webových formulářů. Analyzujte potřeby firmy Formetis, navrhněte, implementujte a řádně otestujte řešení.
Téma je vypsáno skupinou #
CCMi ve spolupráci s firmou #Formetis.
Perform a review of current leading solutions for WYSIWYG web forms design. Analyse the needs of the Formetis company, design, implement and test the solution.
The topic is offered by the #
CCMi research group under the cooperation with the #Formetis company.
▼
Zlepšení uplatnitelnosti DEMO modelování na platformě OpenPonk Diplomová
Rezervace: 0/2
viz anglicky popis
- Acquaint yourself with the #DEMO methodology, #
Smalltalk programming language, the #OpenPonk conceptual modelling platform (
http://openponk.github.io/), its architecture and implementation of the DEMO diagramming.
- Design and implement import and export of diagrams in the XML format interchangeable with Formetis' DEMO Engine.
- Propose and implement a set of diagram consistency checks.
- Propose and implement improvements in the usability of the DEMO models engineering.
This topic contributes to research initiative of #
CCMi and the cooperation with the #Formetis Consultants company.
▼
Webový nástroj pro kolaborativní editaci textů s využítím Seaside frameworku Bakalářská
Rezervace: 0/1
Pro potřeby projektu Laplace-IDE vytvořte prototyp nástroje pro kolaborativní editaci textů s využitím
Smalltalk frameworku pro webové aplikace s názvem
Seaside.
1. Seznamte se s jazykem
Smalltalk a frameworkem
Seaside.
2. Navrhněte model uložení textů a model pro uložení informací o uživatelích
3. Navrhněte proces přihlašování uživatelů a proces pro ukládání změn v textech při paralelní editaci.
4. Na základě návrhu implementujte prototyp takového nástroje.
5. Proveďte uživatelské otestování výsledku a vyhodnoťe kvality a nedostatky vašeho řešení.
Práce je tématem vypsaným výzkumnou skupinou #
CCMi.
For the project Laplace-IDE to create a prototype tool for collaborative editing text, using
Smalltalk framework for web application called
Seaside.
1. Familiarize yourself with the language
Smalltalk and the
Seaside Framework.
2. Design a model to store texts and model for storing information about users.
3. Design a user login process and a process of saving changes of the texts when parallel editing occurs.
4. On the basis of your design, implement a prototype of such a tool.
5. Perform testing with users and describe pros and cons of your solution.
The topic is offered by the #
CCMi research group.
▼
Webový nástroj pro kreslení UML diagramů tříd s využitím HTML canvas a Seaside frameworku Bakalářská
Rezervace: 0/1
Pro potřeby projektu Laplace-IDE vytvořte prototyp nástroje pro kreslení
UML diagramu tříd s využitím vlastností HTML canvas s
Smalltalk frameworku pro webové aplikace
Seaside.
1. Seznamte se s jazykem
Smalltalk, HTML canvas s nástrojem jCanvas.
2. Navrhněte model uložení diagramu tříd v prostředí
Smalltalk3. Navrhněte proces vykreslení takového modelu pomocí HTML canvas a jCanvas.
4. Na základě návrhu implementujte prototyp takového nástroje.
5. Proveďte uživatelské otestování výsledku a vyhodnoťe míru pokrytí všech vlastností
UML diagramu tříd.
Práce je tématem vypsaným výzkumnou skupinou #
CCMi.
For the needs of project Laplace-IDE create a prototype of a
UML class diagram drawing tool using the HTML canvas and the
Seaside Smalltalk web-applications framework.
1. Familiarize yourself with the language
Smalltalk, HTML canvas and the jCanvas tool.
2. Design a model to store class diagram in the
Smalltalk environment
3. Design a process to render a model using HTML canvas and jCanvas.
4. On the basis of your design, implement a prototype of such a tool.
5. Perform testing with users and describe a level of coverage of all properties of
UML class diagrams.
The topic is offered by the #
CCMi research group.
▼
Podpora debuggování složitých datových struktur pro Javascript Diplomová
Rezervace: 0/2
Cílem práce je vyvinout vhodný systém (knihovnu/rozšíření/nástroj) pro podporu ladění programů v jazyce Javascript, které se vyznačují složitými datovými strukturami a operacemi nad nimi. Inspirací pro práci je mnoha cenami ověnčený GT Inspector pro system
Pharo (viz video na
http://gt.moosetechnology.org/).
Práce je tématem vypsaným výzkumnou skupinou #
CCMi.
The goal of the thesis is to develop a fitting system (library/extension/tool) for debugging Haskell programmes, which have complex data structures and operations upon them. The inspiration is the award-winning GT Inspector for
Pharo (viz video na
http://gt.moosetechnology.org/).
The topic is created by the #
CCMi research group.
▼
Podpora debuggování složitých datových struktur pro Haskell Diplomová
Rezervace: 1/2
Cílem práce je vyvinout vhodný systém (knihovnu/rozšíření/nástroj) pro podporu ladění programů v jazyce #Haskell, které se vyznačují složitými datovými strukturami a operacemi nad nimi. Inspirací pro práci je mnoha cenami ověnčený GT Inspector pro system
Pharo (viz video na
http://gt.moosetechnology.org/).
Řešení by mělo být univerzální, tj. fungovat na všech platformách, ideálně i na webu (překladače ghc-js, Haste). Řešení by mělo fungovat samostatně (zakompilované do výsledného kódu) i v rámci debuggeru ghci.
Práce je tématem vypsaným výzkumnou skupinou #
CCMi.
The goal of the thesis is to develop a fitting system (library/extension/tool) for debugging #Haskell programmes, which have complex data structures and operations upon them. The inspiration is the award-winning GT Inspector for
Pharo (viz video na
http://gt.moosetechnology.org/).
The solution should be universal, i.e. it should work on all platforms, ideally also on the web (the ghc-js and Haste compilers). The solution should word standalone (compiled into the code) and also in the ghci debugger.
The topic is created by the #CCMi research group. ▼
Portace GemTools do Pharo 5 Bakalářská
Rezervace: 0/2
Cílem práce je portovat administrační nástroje objektové databáze GemStone (GemTools) ze staré verze #
Pharo do verze 5. Součástí řešení by měl být detailní popis architektury GemTools, který by měl sloužit pro snadné budoucí migrace. K tomu by měla pomoci i sada kompletních testů.
Práce je tématem vypsaným výzkumnou skupinou #
CCMi.
The goal of this thesis is to port administrative tools for the GemStone database (GemTools) from old #
Pharo version into version 5. The solution should be accompanied by the detailed architecture description to ease further migrations. Complete test suite should be elaborated from the same reason.
The topic is created by the #
CCMi research group.
▼
Aplikace pro posílání zpráv a správu úkolů založená na teorii PSI Diplomová
Rezervace: 1/3
Teorie PSI je jedna z teorií Enterprise Engineering a metody #DEMO, která studuje, jakým způsobem probíhají transakce mezi zadavatelem a dodavatelem určitého produktu. Cílem práce je vytvořit aplikaci pro osobní potřebu, ve které bude možné komunikovat s ostatními uživateli podle transakčního axiomu teorie PSI.
Aplikace by měla mít podobu client-server webové aplikace (varianta desktopové klientské části je též možná) a umožňovat vytvářet, příp. importovat modely OCD a PSD popisující transakce. Těžiště práce je v analýze, návrhu a implementaci správy a řízení průběhu transakcí, zejména skrze zasílání a přijímání zpráv s ostatními uživateli.
Práce je tématem vypsaným výzkumnou skupinou #
CCMi.
The PSI theory is one of the basic Enterprise Engineering theories and the #DEMO methodology, which studies how transactions between an initiator and an executor of a product take place. The goal of the thesis is to create a personal application for communicating with other users using the PSI Transaction Axiom.
The application should be a client-server web application (desktop client variant is also possible) and it should enable to create or import OCD and PSD models describing the transactions. The focus of the assignment is the analysis, design and implementation of transaction management and controlling, taking place mostly by sending messages with other users.
However, MI-MEP is not a prerequisity for this topic.
The topic is created by the #
CCMi research group.
▼
Správa a generování CV Bakalářská
Rezervace: 0/2
Proveďte analýzu, návrh a implementaci aplikace pro správu CV (životopisu). Základem aplikace bude relační databáze, ve které budou uloženy životopisné údaje. K ní bude jednoduchá, ale efektivní desktopová aplikace pro pořizování a správu údajů. Třetí částí řešení je konfigurovatelný reportingový engine, který bude umět exportovat CV s různým obsahem do různých formátů na základě připravených, upravitelných šablon.
Implementujte v systému
Pharo s použitím knihovny Pillar, řešení důkladně otestujte.
Práce je tématem vypsaným výzkumnou skupinou #
CCMi.
Perform analysis,design and implementation of a CV (biography) management application. The basis will be a relational database with stored CV items. A simple, effective GUI application should be developed to manage the items. The CV reporting engine should be developed to export CVs with various contents and formats using prepared, changeable templates.
The topic is created by the #
CCMi research group.
▼
Rozvoj platformy OpenPonk Diplomová
Rezervace: 1/4
#OpenPonk je klíčovým projektem výzkumné skupiny #
CCMi zaměřeným na vytvoření otevřené platformy pro konceptuální modelování, simulace, vizualizace, transformace modelů a generování kódu sloužící pro výuku, vědu i praxi. Platforma je realizována v technologii #
Pharo. Cílem práce je programovat další modelovací notace a algoritmy (dle zájmu) do platformy, či rozvíjet platformu samotnou (např UI).
#OpenPonk is a key project of the #
CCMi research group. Its ambition is to develop an open platform for conceptual modelling, simulations, visualisations, transformation of models and code generation for education, research and practice. The platform is implemented using the #
Pharo technology. The goal of the thesis is to programme modelling notations and/or algorithms on the platform, or develop the platform itself (e.g. UI). Will be specified more detailed according to the specific student's preferences.
▼
Refaktoring kódu pomocí projektivních technologií firmy Codiscent Diplomová
Rezervace: 0/2
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from
Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of
Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of
FIT and
Codiscent and has a potential of scientific publications.
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from
Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of
Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of
FIT and
Codiscent and has a potential of scientific publications.
The topic is created by the #
CCMi research group.
▼
Refaktoring kódu pomocí projektivních technologií firmy Codiscent Bakalářská
Rezervace: 0/2
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from
Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of
Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of
FIT and
Codiscent and has a potential of scientific publications.
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from
Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of
Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of
FIT and
Codiscent and has a potential of scientific publications.
The topic is created by the #
CCMi research group.
Následující témata týkající se ELIXIR jsou aktuálně ve fakultním systému Závěrečné práce:
▼
Tvorba ontologií pro bioinformatiku Diplomová
Rezervace: 0/1
Náplní práce je vzít existující data z vybrané (chemické) domény/domén a prostudovat, zda již pro danou oblast existují nějaké OWL ontologie, které by bylo možné pro daná data použít. Poté navrhnout, jak tato data v takové ontologii reprezentovat a příp. napsat i nějaký konverzní tool, který by danou transformaci do navržené ontologie provedl.
Téma je vypsáno skupinou #CCMi ve spolupráci s infrastrukturou #ELIXIR. ▼
Tvorba ontologií pro bioinformatiku Bakalářská
Rezervace: 0/1
Náplní práce je vzít existující data z vybrané (chemické) domény/domén a prostudovat, zda již pro danou oblast existují nějaké OWL ontologie, které by bylo možné pro daná data použít. Poté navrhnout, jak tato data v takové ontologii reprezentovat a příp. napsat i nějaký konverzní tool, který by danou transformaci do navržené ontologie provedl.
Téma je vypsáno skupinou #CCMi ve spolupráci s infrastrukturou #ELIXIR. ▼
Efektivní dotazování nad databází PubChem Bakalářská
Rezervace: 0/1
Úkolem je navrhnout pro data z databáze PubChem vhodné relační schéma a napsat jeho mapování do RDF. Poté vymyslet vhodnou sadu dotazů a porovnávat efektivnost dotazování SPARQLem nad nativními RDF daty a nad mapovanými daty. Případně to ještě srovnat s SQL dotazem nad relačními daty. Práce by tedy měla jak část implementační, tak část měřící. UOCHB AV zajistí dostatečně výkonný hardware pro takové pokusy.
Téma je vypsáno skupinou #CCMi ve spolupráci s infrastrukturou #ELIXIR.
Dále nabízíme tyto speciální okruhy pro témata závěrečných prací (kontaktujte příslušnou osobu):
Vývoj modelovací platformy DynaCASE
Jedná se o projekt open-source platformy pro konceptuální modelování a softwarové implementace. Více viz DynaCASE.
Projekty pro Pharo komunitu
http://gsoc.pharo.org/
Témata ve spolupráci s firmou ForMetis
Jedná se o témata týkající se metody DEMO pod vedením odborníků z firmy ForMetis. V tuto chvíli nabízíme dva okruhy témat:
- Spolupráce na vývoji DEMO Engine — téma pro zdatné programátory .NET. Úspěšné práce jsou honorovány zajímavými stipendii.
- Spolupráce na iniciativě GRC (Governance, Risk and Compliance) — jedná se o aplikování metody DEMO v této oblasti, která je velmi důležitá např. pro velké finanční instituce. Náplní je modelování regulačních předpisů (Sarbanes Oxley, BASEL 2, apod.) a frameworků pro řízení IT (ITIL, Cobit).
- Transformace DEMO modelů do dalšich notací a naopak.
Kontakt: Ing. Robert Pergl, Ph.D.
Témata ve spolupráci s firmou Codiscent
Jedná se o více technicky zaměřená témata. Firma Codiscent rozvíjí špičkovou technologii dynamických šablon, které umožňují generovat “cokoliv z čehokoliv”, např. Java třídy z SQL tabulek a naopak. Můžete prostudovat prezentaci a CodiScent Technology and Methodology.
Kontakt: Mgr. Ondřej Dvořák
Aspektově-orientované programování pomocí Projektivních technologií firmy Codiscent
(Aspect-Oriented Programming using Codiscent’s Projective Technologies)
Separation of cross-cutting concerns on a source code level provides a way how to increase a modularity of software. A programming paradigm that targets such a design is called aspect-oriented programming (AOP) and its typical application is logging or tracing.
One of the promising approaches to implement AOP patterns is a code projection using Codiscent’s reverse engineering and generative software (RES and GES, commonly named Projective Technologies, PT).
The objective of this thesis is to design and implement an aspect-oriented programming framework using PT. The framework will be generally designed independently on the specific programming language. Perform a short review of AOP and PT. Design a general AOP framework in PT. Select a sample programming language together with your supervisor and Implement AOP using PT. Demonstrate the solution (logging, tracing, try-catch blocks). Formulate the conclusions.
Kontakt: Mgr. Ondřej Dvořák
