Evaluating well-formedness constraints on incomplete models
In modern modeling tools used for model-driven development, the validation of several well-formedness constraints is continuously been carried out by exploiting advanced graph query engines to highlight conceptual design flaws. However, while models are still under development, they are frequently p...
Elmentve itt :
Szerzők: |
Semeráth Oszkár Varró Dániel |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
2017
|
Sorozat: | Acta cybernetica
23 No. 2 |
Kulcsszavak: | Informatika, Számítástechnika, Programozás |
Tárgyszavak: | |
doi: | 10.14232/actacyb.23.2.2017.15 |
Online Access: | http://acta.bibl.u-szeged.hu/50095 |
Hasonló tételek
-
Validation of well-formedness constraints on uncertain models
Szerző: Semeráth Oszkár, et al.
Megjelent: (2016) -
On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978) -
A pattern-based constraint language for metamodels [abstract] /
Szerző: Varró Dániel
Megjelent: (2002) -
Implementing global constraints as graphs of elementary constraints
Szerző: Hanák Dávid
Megjelent: (2003) -
On some types of incompletely specified automata
Szerző: Chirkov M. K.
Megjelent: (1979)