Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Nils Przigoda"'
Publikováno v:
IET Cyber-Physical Systems (2016)
Due to the ever increasing complexity of embedded and cyber-physical systems, corresponding design solutions relying on modelling languages such as Unified Modelling Language (UML)/Object Constraint Language (OCL) find increasing attention. Due to th
Externí odkaz:
https://doaj.org/article/adf3c01ba4234cd38f650515cc70597a
Autor:
Domenik Eichhorn, Tobias Pett, Nils Przigoda, Jessica Kindsvater, Christoph Seidl, Ina Schaefer
Publikováno v:
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67e00d71c3f9d67dfa65d537e8dc9b0b
https://doi.org/10.1145/3571788.3571794
https://doi.org/10.1145/3571788.3571794
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33259f4ba5f715e41c218cc2329ffa9e
https://doi.org/10.1007/978-3-031-05814-1_5
https://doi.org/10.1007/978-3-031-05814-1_5
Publikováno v:
DATE
For centuries, block signaling has been the fundamental principle of today's railway systems to prevent trains from running into each other. But the corresponding infrastructure of physical blocks each requiring train detection methods is costly. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d28e7c7dc2db48e12adc8bcb1e17b8d7
https://doi.org/10.23919/date51398.2021.9473935
https://doi.org/10.23919/date51398.2021.9473935
Publikováno v:
ISMVL
The Unified Modeling Language (UML) together with the Object Constraint Language (OCL) are the description means for modeling and specifying, e. g., software systems in early stages of the design. They allow to define components, their relations, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f10bf5f311e03e2b17cf4d0c43fc975
https://doi.org/10.1109/ismvl.2019.00019
https://doi.org/10.1109/ismvl.2019.00019
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030110291
MODELSWARD (Revised Selected Papers)
MODELSWARD (Revised Selected Papers)
Operation contracts are a popular description means in behavioral system modeling. Pre- and postconditions are used to describe the effects on model elements (such as attributes, links, etc.) that are enforced by an operation. However, it is usually
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae37727dfce3e021d24ad56a52b53c6b
https://doi.org/10.1007/978-3-030-11030-7_12
https://doi.org/10.1007/978-3-030-11030-7_12
Publikováno v:
MODELSWARD
Scopus-Elsevier
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77671ac87d55926f21f47dde5881607a
https://doi.org/10.5220/0006602301390151
https://doi.org/10.5220/0006602301390151
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::646e5c75f49b674ad549950bc36808b0
https://doi.org/10.1007/978-3-319-72814-8_5
https://doi.org/10.1007/978-3-319-72814-8_5
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cfb783245bccea0d3b04f4d302c10003
https://doi.org/10.1007/978-3-319-72814-8_4
https://doi.org/10.1007/978-3-319-72814-8_4
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62c274234d42478086876ef7882d37a2
https://doi.org/10.1007/978-3-319-72814-8_9
https://doi.org/10.1007/978-3-319-72814-8_9