Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Karel Richta"'
Publikováno v:
Vietnam Journal of Computer Science, Vol 7, Iss 1, Pp 41-64 (2020)
Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus t
Externí odkaz:
https://doaj.org/article/8982814fcc8847d19650f757523803e2
Publikováno v:
Vietnam Journal of Computer Science, Vol 7, Iss 1, Pp 41-64 (2020)
Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus t
Autor:
Jaroslav Pokorný, Karel Richta
Publikováno v:
Lecture Notes in Information Systems and Organisation ISBN: 9783030953539
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6dc24665bcb08a08c2896a3cae96b5f
https://doi.org/10.1007/978-3-030-95354-6_15
https://doi.org/10.1007/978-3-030-95354-6_15
Publikováno v:
Journal of Hydrology. 553:350-355
The efficient calibration of rainfall-runoff models is a difficult issue, even for experienced hydrologists. Therefore, fast and high-quality model calibration is a valuable improvement. This paper describes a novel methodology and software for the o
Publikováno v:
Intelligent Information and Database Systems ISBN: 9783319754161
ACIIDS (1)
ACIIDS (1)
Many present systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enabl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ef592b0f5a04a63f212b76905b4b280
https://doi.org/10.1007/978-3-319-75417-8_63
https://doi.org/10.1007/978-3-319-75417-8_63
Publikováno v:
Acta Polytechnica Hungarica. 11:121-138
Autor:
Karel Richta, Ondrej Macek
Publikováno v:
Computer Science and Information Systems. 11:503-524
A refactoring of application persistent objects affects not only the source code but the stored data as well. The change is usually processed in two steps: refactoring and data migration, which is ineffective and error prone. We provide a formal mode
Autor:
Karel Richta, Marek Musil
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783319465340
There are several different approaches to teaching programming, based on programming styles. A concept “first the object-oriented style, then the other one” known as “object-first” is currently being promoted by a number of technical colleges
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19e1a2b1cb4ef394fc970229f17689d5
https://doi.org/10.1007/978-3-319-46535-7_17
https://doi.org/10.1007/978-3-319-46535-7_17
Autor:
Karel Richta, Zdeněk Rybola
Publikováno v:
Computer Science and Information Systems. 10:1621-1646
Model Driven Development (MDD) approach is often used to model application data and behavior by a Platform Independent Model (PIM) and to generate Platform Specific Models (PSMs) and even the source code by model transformations. However, these trans
Publikováno v:
RACS
Adaptive Application Structure (AAS) is such a structure that adjusts itself based on the current context. It brings benefits to end users, as it adapts to their specific personal needs. While applications themselves are designed in a particular way