Zobrazeno 1 - 10
of 18 390
pro vyhledávání: '"software models"'
Alloy is well known a declarative modeling language. A key strength of Alloy is its scenario finding toolset, the Analyzer, which allows users to explore all valid scenarios that adhere to the model's constraints up to a user-provided scope. Despite
Externí odkaz:
http://arxiv.org/abs/2406.09524
Autor:
Jovanovic, Ana, Sullivan, Allison
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debugging of their implementations after they are built. Alloy is a declar
Externí odkaz:
http://arxiv.org/abs/2402.06624
Publikováno v:
In Information and Software Technology July 2024 171
Publikováno v:
In Information and Software Technology May 2024 169
Publikováno v:
Information and Software Technology 157 (2023): 107159
Software quality estimation is a challenging and time-consuming activity, and models are crucial to face the complexity of such activity on modern software applications. In this context, software refactoring is a crucial activity within development l
Externí odkaz:
http://arxiv.org/abs/2301.09531
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:
Arellanes, Damian
We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models represent a prom
Externí odkaz:
http://arxiv.org/abs/2108.05402
Autor:
Exman, Iaakov, Shmilovich, Alon Tsalik
Linear Software Models enable rigorous linear algebraic procedures for modular design of classical software systems. These procedures apply a spectral approach to matrix representations - e.g. the Laplacian - of the software system. Recent intensive
Externí odkaz:
http://arxiv.org/abs/2103.13755
Autor:
Arellanes, Damian
The Internet of Things (IoT) envisions the integration of physical objects into software systems for automating crucial aspects of our lives, such as healthcare, security, agriculture, and city management. Although the vision is promising, with the r
Externí odkaz:
http://arxiv.org/abs/2009.12844
Autor:
Troya, Javier1 (AUTHOR) jtroya@us.es, Moreno, Nathalie2 (AUTHOR), Bertoa, Manuel F.2 (AUTHOR), Vallecillo, Antonio2 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Aug2021, Vol. 20 Issue 4, p1183-1213. 31p.