Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Daniel Ratiu"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 80, Iss Proc. MBT 2012, Pp 13-27 (2012)
Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, components of a system are described at qualitatively differing abstraction le
Externí odkaz:
https://doaj.org/article/fd93f6d203824b86a35a2a05efbf0a7b
Autor:
Andreas Ulrich, Daniel Ratiu
Publikováno v:
International Journal on Software Tools for Technology Transfer. 21:267-286
Model-driven code checking (MDCC) has been successfully used for the verification of functional requirements of C code. An environment model that describes the context, which a program is expected to run in, is defined in Promela, translated to a mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91526d9ade05cd7ba1816f0f111f6c9f
https://doi.org/10.1007/s10009-019-00510-w
https://doi.org/10.1007/s10009-019-00510-w
Publikováno v:
Domain-Specific Languages in Practice ISBN: 9783030737573
The increasing complexity of safety-critical systems and the shorter time-to-market requires a high degree of automation during all development phases from requirements specification to design, implementation, verification, and safety assurance. To m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f86edef66f5ad8d8380a9d9f5d6d86a9
https://doi.org/10.1007/978-3-030-73758-0_5
https://doi.org/10.1007/978-3-030-73758-0_5
Publikováno v:
Domain-Specific Languages in Practice ISBN: 9783030737573
The work of domain experts is essential for the success of each company. Despite the fact that they have unique needs, many domain experts work with general purpose, low semantics tools, and ad-hoc-created tool chains. Generic domain agnostic tools f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::555d8c39660f0e3f565d84f8007749ab
https://doi.org/10.1007/978-3-030-73758-0_2
https://doi.org/10.1007/978-3-030-73758-0_2
Autor:
José Creissac Campos, José Nuno Oliveira, Lucélio B. Couto, Paula Monteiro, L Gonnord, M Kutrib, David Delmas, T Astarte, Daniel Ratiu, D Marmsoler, Matt Luckcuck, Nelma Moreira, R Guidotti, Brijesh Dongol, E Sekerinski, Marie Farrell, Antonio Cerone
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549930
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9040d2c85685e5058731923007b30982
https://doi.org/10.1007/978-3-030-54994-7
https://doi.org/10.1007/978-3-030-54994-7
Autor:
Daniel Ratiu, Carmen Cârlan
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030545482
SAFECOMP
SAFECOMP
The Goal Structuring Notation (GSN) is popular among safety engineers for modeling assurance cases. GSN elements are specified using plain natural language text, this giving safety engineers great flexibility to express their arguments. However, pure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39e40a0fe1f604f6a52f0b6c69b3cdcd
https://doi.org/10.1007/978-3-030-54549-9_20
https://doi.org/10.1007/978-3-030-54549-9_20
Publikováno v:
Software Quality Journal. 26:1483-1518
Domain-specific languages promise to improve productivity and quality of software development by providing problem-adequate abstractions to developers. Projectional language workbenches, in turn, allow the definition of modular and extensible domain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6814d633b07c3221707cd8cc6e4195c7
https://doi.org/10.1007/s11219-017-9390-6
https://doi.org/10.1007/s11219-017-9390-6
Autor:
Daniel Ratiu, Holger Nehls
Publikováno v:
MODELS Companion
Modern computed tomography (CT) scanners are complex, software-intensive systems whose correct functioning is governed by over 100 parameters which depend on the concrete hardware configurations and on the addressed clinical use-cases. To tame the in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1fadc8715f0124179b64095e9fa63224
https://doi.org/10.1109/models-c.2019.00091
https://doi.org/10.1109/models-c.2019.00091
Publikováno v:
FormaliSE@ICSE
Formal specification approaches have been successfully used to specify and verify complex systems. Verification engineers so far either directly use formal specification languages which can be consumed by verification tools (e.g. SMV, Promela) or mai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ec64e678d2485b0958a32bbe90f3331
https://doi.org/10.1109/formalise.2019.00013
https://doi.org/10.1109/formalise.2019.00013
Publikováno v:
Software and Systems Modeling, 18(1)
Language workbenches are touted as a promising technology to engineer languages for use in a wide range of domains, from programming to science to business. However, not many real-world case studies exist that evaluate the suitability of language wor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ea5780ec357d846f96a04401acc9567
http://resolver.tudelft.nl/uuid:6fcaa1db-7e3a-4546-8329-1cc69901df7e
http://resolver.tudelft.nl/uuid:6fcaa1db-7e3a-4546-8329-1cc69901df7e