Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Khanh-Hoang Doan"'
Publikováno v:
Intelligence of Things: Technologies and Applications ISBN: 9783031150623
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b385a2fb1fce6ecbabecf34265280fc
https://doi.org/10.1007/978-3-031-15063-0_17
https://doi.org/10.1007/978-3-031-15063-0_17
Publikováno v:
Computer Languages, Systems & Structures. 54:474-511
System development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to deal with architecture complexity and design quality. Thus, the importance for the underlying models to be correct arise
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::622549ffdf860d0936f219933f4af425
https://doi.org/10.1016/j.cl.2017.10.001
https://doi.org/10.1016/j.cl.2017.10.001
Autor:
Khanh-Hoang Doan, Martin Gogolla
Publikováno v:
MODELS Companion
Detecting and fixing software quality issues early in the design phase is indispensable for a successful project applying model-based techniques. This paper presents an extension of the tool USE (UML-based Specification Environment) with features for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f043a83f84863bbdee4a1a9d0f37d25
https://doi.org/10.1109/models-c.2019.00121
https://doi.org/10.1109/models-c.2019.00121
Autor:
Martin Gogolla, Khanh-Hoang Doan
Publikováno v:
QUATIC
Utilizing metrics is an efficient mechanism to measure and evaluate the quality of models, since many well-known and accepted software metrics have been successfully transferred from the code level to the model level. In a modeling context, OCL seems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74e2fb5aa0e59639970dae2d062bf4b1
https://doi.org/10.1109/quatic.2018.00022
https://doi.org/10.1109/quatic.2018.00022
Autor:
Martin Gogolla, Khanh-Hoang Doan
Publikováno v:
Diagrammatic Representation and Inference ISBN: 9783319913759
Diagrams
Diagrams
In this contribution, we introduce an approach to visualize and analyze logical reasoning problems in a UML and OCL tool by using logical puzzles represented with UML diagrams. Logical reasoning is formalized as a UML class diagram model enhanced by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9611351e07dcd96e9cecc8dbf8d7e1cf
https://doi.org/10.1007/978-3-319-91376-6_79
https://doi.org/10.1007/978-3-319-91376-6_79
Publikováno v:
Software Technologies: Applications and Foundations ISBN: 9783030047702
STAF Workshops
STAF Workshops
The paper sketches a UML- and OCL-based technique for the coherent description of design time and run time aspects of models. The basic idea is to connect a design model and a run time model with a correspondence model. We show two simple examples, o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0948ed84c9fe80e6784248173160b39d
https://doi.org/10.1007/978-3-030-04771-9_39
https://doi.org/10.1007/978-3-030-04771-9_39
Autor:
Khanh-Hoang Doan, Martin Gogolla
Publikováno v:
Conceptual Modeling Perspectives ISBN: 9783319672700
Conceptual Modeling Perspectives
Conceptual Modeling Perspectives
Model validation and verification tools should provide good support for generating test cases. We here sketch essential use cases for model validation and verification that help developers to find deficiencies in models on the basis of generated test
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53b51005a7b0cf3f8feb18dd880420d7
https://doi.org/10.1007/978-3-319-67271-7_11
https://doi.org/10.1007/978-3-319-67271-7_11
Publikováno v:
Tests and Proofs ISBN: 9783319614663
TAP@STAF
TAP@STAF
This tool paper discusses how model behavior expressed in a UML and OCL model can be analysed with filmstrips and classifying terms in the tool USE. Classifying terms are a means for systematic construction of test cases. In the case of behavior mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9c9a709e4df8d967a240aeb3c71f663
https://doi.org/10.1007/978-3-319-61467-0_7
https://doi.org/10.1007/978-3-319-61467-0_7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Software Technologies: Applications and Foundations ISBN: 9783319502298
STAF Workshops
STAF Workshops
Validation and verification of models in the software development design phase have a great potential for general quality improvement within software engineering. A system modeled with UML and OCL can be checked thoroughly before performing further d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50f78fb1eaa0fb852009db9d48dc28fc
https://doi.org/10.1007/978-3-319-50230-4_15
https://doi.org/10.1007/978-3-319-50230-4_15