Titel

Merkliste
1 Ergebnisse

Quantifying Software Correctness by Combining Architecture ..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Lanzinger, Florian ; Martin, Christian ; Reiche, Frederik... - p. 1702-1711 , 2024

Link: https://dl.acm.org/doi/10.1145/3605098.3636008

RT 
T1 <cTitle>Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing</cTitle>: T1 <Title>Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3636008&Exemplar=1&LAN=DE
				
A1 Lanzinger, Florian
A1 Martin, Christian
A1 Reiche, Frederik
A1 Teuber, Samuel
A1 Heinrich, Robert
A1 Weigl, Alexander
PB ACM
YR 2024
K1 service-oriented architecture
K1 component-based architecture
K1 architecture modeling
K1 deductive verification
K1 quantitative verification
K1 architecture simulation
K1 software reliability estimation
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Software organization and properties
K1 Software system structures
K1 Software architectures
K1 Object oriented architectures
SP 1702
OP 1711
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3605098.3636008
DO https://dl.acm.org/doi/10.1145/3605098.3636008
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)