diff --git a/src/components/research-components/ToolsSection.tsx b/src/components/research-components/ToolsSection.tsx index 7a1853ec..9ffcb268 100644 --- a/src/components/research-components/ToolsSection.tsx +++ b/src/components/research-components/ToolsSection.tsx @@ -8,26 +8,6 @@ type Props = { heroBackgroundImage: ImageDataLike } -/* -const toolsData = [ - { - title: 'research.tools.tool1.title', - desc: 'research.tools.tool1.desc', - url: 'https://github.com/ftsrg/gamma' - }, - { - title: 'research.tools.tool2.title', - desc: 'research.tools.tool2.desc', - url: 'https://github.com/ftsrg/theta' - }, - { - title: 'research.tools.tool3.title', - desc: 'research.tools.tool3.desc', - url: 'https://github.com/viatra/VIATRA-Generator' - } -] -*/ - type ToolProps = { title: string desc: string @@ -57,9 +37,9 @@ const ToolsSection: React.FC = ({ heroBackgroundImage }) => { return ( - - - + + + = ({ heroBackgroundImage }) => { /> - + = ({ heroBackgroundImage }) => { /> - + = ({ heroBackgroundImage }) => { /> + + + + + ) diff --git a/src/locales/en/research.json b/src/locales/en/research.json index 71742a2d..b1e404d1 100644 --- a/src/locales/en/research.json +++ b/src/locales/en/research.json @@ -20,6 +20,8 @@ "research.tools.tool2.desc": "The Theta model checking framework is a collection of modern, abstraction refinement-based algorithms, which can be tailored to the give problem due to their configurability.", "research.tools.tool3.title": "Refinery graph solver", "research.tools.tool3.desc": "Refinery is an efficient graph solver for generating diverse, well-formed domain-specific models using partial modeling techniques.", + "research.tools.tool4.title": "VIATRA", + "research.tools.tool4.desc": "Eclipse VIATRA is a model query and transformation framework, focusing on high-performance and incremental synchronization.", "research.publications.autoGenGraphModel": "We designed a new method to solve optimization problems during graph generations according to various object functions.", "research.publications.autoGenQualitative": "We designed new algorithms to combine various solvers for synthesizing test scenarios represented as graph models.", diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index 124ceffd..58d56f3e 100644 --- a/src/locales/hu/research.json +++ b/src/locales/hu/research.json @@ -19,6 +19,8 @@ "research.tools.tool2.desc": "A Theta modellellenőrző keretrendszer absztrakció-finomítás alapú, korszerű algoritmusok kollekciója, amelyek kombinálhatóságuk révén mindig az adott problémához szabhatók.", "research.tools.tool3.title": "A Refinery gráfmegoldó keretrendszer", "research.tools.tool3.desc": "A Refinery egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és hatékony generálására szolgál.", + "research.tools.tool4.title": "VIATRA", + "research.tools.tool4.desc": "Az Eclipse VIATRA egy modell-transzformációs keretrendszer, amely hatékony mintaillesztést és inkrementális modell-szinkronizálási képességeket nyújt.", "research.publications.autoGenGraphModel": "Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.", "research.publications.autoGenQualitative": "Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.", diff --git a/static/images/logos/viatra.png b/static/images/logos/viatra.png new file mode 100644 index 00000000..f9b81596 Binary files /dev/null and b/static/images/logos/viatra.png differ