Zobrazeno 1 - 10
of 96
pro vyhledávání: '"Lorenzo Bettini"'
Publikováno v:
IEEE Access, Vol 7, Pp 16364-16376 (2019)
In model-driven engineering, analogously to any software development practice, metamodel design must be accurate and performed by considering relevant quality factors, including maintainability, reusability, and understandability. The quality of meta
Externí odkaz:
https://doaj.org/article/fcdfec823bc34888a7f541ab5c75f1a6
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and inte
Externí odkaz:
https://doaj.org/article/3c6c4a67270f4f78b79399eae29d1e50
Autor:
Lorenzo Bettini
About This BookLeverage the latest features of Xtext and Xtend to develop a domain-specific language.Integrate Xtext with popular third party IDEs and get the best out of both worlds.Discover how to test a DSL implementation and how to customize runt
Publikováno v:
International Journal on Software Tools for Technology Transfer. 24:247-260
Metamodels play a crucial role in any model-based application. They underpin the definition of models and tools, and the development of model management operations, including model transformations and analysis. Like any software artifacts, metamodels
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe41969919be9ae2491399ae97f853e0
https://doi.org/10.1007/s10009-022-00646-2
https://doi.org/10.1007/s10009-022-00646-2
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8126ee35bf4b7ea737181da0eef6cd2
https://doi.org/10.1007/978-3-031-19759-8_18
https://doi.org/10.1007/978-3-031-19759-8_18
Like any software artifacts, metamodels are evolving entities that constantly change over time for different reasons. Changing metamodels by keeping them consistent with other existing artifacts is an error-prone and tedious activity without the avai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d18c09fd07a063f10fa3289474bb2afe
https://hdl.handle.net/11697/194722
https://hdl.handle.net/11697/194722
Publikováno v:
IEEE Access, Vol 7, Pp 16364-16376 (2019)
In model-driven engineering, analogously to any software development practice, metamodel design must be accurate and performed by considering relevant quality factors, including maintainability, reusability, and understandability. The quality of meta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::118a2c9ccd238772394920f6aa130b11
https://doi.org/10.1109/access.2019.2891357
https://doi.org/10.1109/access.2019.2891357
Publikováno v:
MODELS Companion
Evolving metamodels is a delicate task, both from the programming effort's point of view and, more importantly, from the correctness point of view: the evolved version of a metamodel must be correct and must not contain invalid elements (e.g., dangli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d3b56030fc3bc80598ace2a5046dc8c
https://doi.org/10.1145/3417990.3419501
https://doi.org/10.1145/3417990.3419501
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ISBN: 9783030614690
ISoLA (2)
ISoLA (2)
Developing robotics applications is a demanding software engineering challenge. Such a software has to perform multiple cooperating tasks in a well-coordinated manner in order to avoid unsatisfactory behavior. In this paper, we define an approach for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58241f6e1aca9010802aac47dcbe93b9
https://doi.org/10.1007/978-3-030-61470-6_22
https://doi.org/10.1007/978-3-030-61470-6_22