Model checking of visual modeling languages [abstract] /

QR kód

Model checking of visual modeling languages [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Schmidt Ákos
Testületi szerző:	Conference of PhD students in computer science (4.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2004
Sorozat:	Conference of PhD Students in Computer Science 4
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59798

Hasonló tételek

Improving saturation-based bounded model checking
Szerző: Darvas Dániel, et al.
Megjelent: (2016)

Constructive model of the natural language
Szerző: Shynkarenko Viktor, et al.
Megjelent: (2018)

Constraint validation support in visual model transformation systems
Szerző: Lengyel László, et al.
Megjelent: (2005)

Statistical language models within the algebra of weighted rational languages
Szerző: Hanneforth Thomas, et al.
Megjelent: (2009)

Static specification completeness checking of UML state machines [abstract] /
Szerző: Pap Zsigmond
Megjelent: (2000)

Automatic checking of the usage of the C++ move semantics
Szerző: Baráth Áron, et al.
Megjelent: (2015)

Automatic generation of compiled model transformations [abstract] /
Szerző: Horváth Ákos
Megjelent: (2006)

Declarative mapping between concrete and abstract syntax of domain-specific visual languages [abstract] /
Szerző: Ráth István
Megjelent: (2006)

The basics of roleoriented modelling [abstract] /
Szerző: Csiszár Tibor, et al.
Megjelent: (2002)

Evaluating contextualized language models for Hungarian
Szerző: Ács Judit, et al.
Megjelent: (2021)

Similarity based smoothing in language modeling
Szerző: Szamonek Zoltán, et al.
Megjelent: (2007)

Challenges to Using Large Language Models in Code Generation and Repair
Szerző: Pasquale Liliana, et al.
Megjelent: (2025)

Simulation and formal analysis of workflow models using model transformations [abstract] /
Szerző: Kovács Máté
Megjelent: (2006)

Code generation from UML models [abstract] /
Szerző: Frohner Ákos, et al.
Megjelent: (2000)

Application of learning methods in MCDA models overview and experimental comparison : [abstract] /
Szerző: Zsiros Ákos
Megjelent: (2002)

Metamodel-based modeling and model transformation framework supporting inheritance and constrants [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2004)

Modeling of grid monitoring systems [abstract] /
Szerző: Gombás Gábor
Megjelent: (2006)

Parameter optimization of infection models [abstract] /
Szerző: Csernenszky András, et al.
Megjelent: (2010)

Abstract model-based checkpoint and recovery [abstract] /
Szerző: Pintér Gergely
Megjelent: (2004)

Text cleaning with transformer language models for Hungarian
Szerző: Madarász Gábor, et al.
Megjelent: (2025)

Dependability modeling of fault-tolerant systems using aspect-oriented modeling techniques [abstract] /
Szerző: Domokos Péter, et al.
Megjelent: (2004)

Traquest model a novel model for ACID concurrent computations /
Szerző: Rátai Dániel Balázs, et al.
Megjelent: (2021)

Time series models on medical research [abstract] /
Szerző: Fazekas Mária
Megjelent: (2004)

Model based optimization and verification of IT systems [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2004)

UML2 and model-driven development [abstract] /
Szerző: Papp Ágnes
Megjelent: (2004)

Modelling container distribution with fuzzy logic [abstract] /
Szerző: Raicu Gabriel
Megjelent: (2004)

Dynamic model for the system testing process [abstract] /
Szerző: Stikkel Gábor
Megjelent: (2004)

Simulations on a fractal growth model [abstract] /
Szerző: Marchis Julia
Megjelent: (2006)

Performance modeling of hierarchical list structures [abstract] /
Szerző: Palugyai Sándor, et al.
Megjelent: (2006)

Global/nonlinear optimization in modeling environments [abstract] /
Szerző: Pintér János D.
Megjelent: (2002)

Regular grammar model for protocol testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (1998)

Hybrid modelling and reasoning in measuring systems [abstract] /
Szerző: Tömösy Gyula
Megjelent: (1998)

Neural network model for nonlinearity detection [abstract] /
Szerző: Csató Lehel, et al.
Megjelent: (1998)

Alternative method for modeling dynamic systems [abstract] /
Szerző: Fekete Gusztáv, et al.
Megjelent: (2024)

Verification of UML 2 state machines by automated model transformation to the SAL model checker [abstract] /
Szerző: Sisak Áron
Megjelent: (2008)

Static type checking of model transformation programs
Szerző: Ujhelyi Zoltán
Megjelent: (2010)

Model transformations on the preprocessor metamodel graph transformation approach : [abstract] /
Szerző: Vidács László
Megjelent: (2006)

Conversion of continuous speech sound to articulation animation as an application of visual coarticulation modeling
Szerző: Feldhoffer Gergely, et al.
Megjelent: (2007)

Testing aspect in model driven software development [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2004)

Model driven testing of component based systems [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2006)