Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
ACM International Conference Proceeding Series(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - 2018 IEEE 15th International Conference on Software Architecture Companion, ICSA-C 2018(1)
Origen
scopus(3)
Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results
Conference ObjectAbstract: Experimentation at post-deployment phases (in production environments) can be a powerful tool for boPalabras claves:cost-aware, Experimentation, OptimizationAutores:Bulej L., Bures T., Gerostathopoulos I., Horký V., Petr Tůma, Prehofer C.Fuentes:scopusFormalization of invariant patterns for the invariant refinement method
ArticleAbstract: Refining high-level system invariants into lower-level software obligations has been successfully emPalabras claves:Architecture refinement, Assume-guarantee, requirementsAutores:Bures T., Gerostathopoulos I., Keznikl J., Petr Tůma, Plášil F.Fuentes:scopusTowards systematic live experimentation in software-intensive systems of systems
Conference ObjectAbstract: As the size, variation, and sophistication of software-intensive systems-of-systems grows, so does tPalabras claves:System architecture, Systematic experimentation, UNCERTAINTYAutores:Bures T., Gerostathopoulos I., Horký V., Petr Tůma, Prehofer C., Schmid S.Fuentes:scopus