Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
ICPE'12 - Proceedings of the 3rd Joint WOSP/SIPEW International Conference on Performance Engineering(1)
Área de conocimiento
Ingeniería de software(1)
Optimización matemática(1)
Proceso estocástico(1)
Software(1)
Origen
scopus(3)
Capturing performance assumptions using stochastic performance logic
Conference ObjectAbstract: Compared to functional unit testing, automated performance testing is difficult, partially because cPalabras claves:performance testing, Regression benchmarkingAutores:Bulej L., Bures T., Keznikl J., Koubková A., Petr Tůma, Podzimek A.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:scopusTools for ensemble design and runtime
ArticleAbstract: The ASCENS project deals with designing systems as ensembles of adaptive components. Among the outpuPalabras claves:Adaptive systems, Autonomic Systems, Software development, toolsAutores:Abeywickrama D.B., Combaz J., Horký V., Keznikl J., Kofroň J., Lafuente A.L., Loreti M., Margheri A., Mayer P., Monreale V., Montanari U., Petr Tůma, Pinciroli C., Vandin A., Vassev E.Fuentes:scopus