Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Cleophas, L."'
Autor:
Akesson, B., Hooman, J.J.M., Sleuters, J., Yankov, A., Tekinerdogan, B., Babur, Ö., Cleophas, L., Brand, M. van den, Akşit, M.
Publikováno v:
Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems, 245-272. London : Academic Press
STARTPAGE=245;ENDPAGE=272;TITLE=Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems
Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems, pp. 245-272
STARTPAGE=245;ENDPAGE=272;TITLE=Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems
Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems, pp. 245-272
The complexity of cyber-physical systems is increasing, driven by integration of more functionality and trends towards mass-customization. This has resulted in complex systems with many variants that require long time to develop and are difficult to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6476ff8d31e1876a4796a7ec9534cfaf
http://hdl.handle.net/2066/216823
http://hdl.handle.net/2066/216823
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.
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.
Autor:
Cleophas L., Massink M.
This volume contains the selected and revised versions of papers that have been presented at three international workshops co-located with the 18th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2020). Becaus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::e6d03ea38d2f6b7b73b5da8f31e22d95
https://openportal.isti.cnr.it/doc?id=people______::ce8435b1d6f3db160caef9b56d091598
https://openportal.isti.cnr.it/doc?id=people______::ce8435b1d6f3db160caef9b56d091598
Publikováno v:
23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020
23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020. Virtual
Elsevier
Scopus-Elsevier
23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020. Virtual
Elsevier
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0fb10736b0efce1da466efcce85bd76d
https://research.wur.nl/en/publications/preface-to-2nd-international-workshop-on-analytics-and-mining-of-
https://research.wur.nl/en/publications/preface-to-2nd-international-workshop-on-analytics-and-mining-of-
Model Management and Analytics for Large Scale Systems covers the use of models and related artefacts (such as metamodels and model transformations) as central elements for tackling the complexity of building systems and managing data. With their inc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9405::df08045f981d21c0ecfc18cf380ec06b
https://research.wur.nl/en/publications/model-management-and-analytics-for-large-scale-systems
https://research.wur.nl/en/publications/model-management-and-analytics-for-large-scale-systems
Publikováno v:
Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS. CEUR Workshop Proceedings
Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS
Scopus-Elsevier
Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS
Scopus-Elsevier
Model-based approaches promote the use of models and related artifacts (such as metamodels and model transformations) as central elements to tackle the complexity of building systems. Both in academia and in industry there is a growing need to effici
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7caf65df0d710a6ac517bc064227d82f
https://research.wur.nl/en/publications/ammore-2018-first-international-workshop-on-analytics-and-mining-
https://research.wur.nl/en/publications/ammore-2018-first-international-workshop-on-analytics-and-mining-
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319568553
ICSR
Mastering Scale and Complexity in Software Reuse-16th International Conference on Software Reuse, ICSR 2017, Proceedings, 77-94
STARTPAGE=77;ENDPAGE=94;TITLE=Mastering Scale and Complexity in Software Reuse-16th International Conference on Software Reuse, ICSR 2017, Proceedings
ICSR
Mastering Scale and Complexity in Software Reuse-16th International Conference on Software Reuse, ICSR 2017, Proceedings, 77-94
STARTPAGE=77;ENDPAGE=94;TITLE=Mastering Scale and Complexity in Software Reuse-16th International Conference on Software Reuse, ICSR 2017, Proceedings
Model-based languages such as MATLAB/Simulink play an essential role in the model-driven development of software systems. During their development, these systems can be subject to modification numerous times. For large-scale systems, to manually iden
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb7727802d63a35301a00cbe755350e4
https://doi.org/10.1007/978-3-319-56856-0_6
https://doi.org/10.1007/978-3-319-56856-0_6
Publikováno v:
Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016), 328-328
STARTPAGE=328;ENDPAGE=328;TITLE=Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016)
STARTPAGE=328;ENDPAGE=328;TITLE=Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::7f4713c084a74b415ae57e0779c46fdd
https://research.tue.nl/nl/publications/272aa8d4-6986-42be-ace6-27f13db2efea
https://research.tue.nl/nl/publications/272aa8d4-6986-42be-ace6-27f13db2efea
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques-7th International Symposium, ISoLA 2016, Proceedings, 766-783
STARTPAGE=766;ENDPAGE=783;TITLE=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques-7th International Symposium, ISoLA 2016, Proceedings
STARTPAGE=766;ENDPAGE=783;TITLE=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques-7th International Symposium, ISoLA 2016, Proceedings
Correctness-by-construction (CbC) is an approach for developing algorithms inline with rigorous correctness arguments. A high-level specification is evolved into an implementation in a sequence of small, tractable refinement steps guaranteeing the re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::8b741442f292c4b0dfbddc4e98aea9e9
https://research.tue.nl/nl/publications/68367dbe-2826-474e-929c-0ecfb003b5b3
https://research.tue.nl/nl/publications/68367dbe-2826-474e-929c-0ecfb003b5b3