Mostrando 10 resultados de: 12
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
ACM International Conference Proceeding Series(1)
Automated Software Engineering(1)
Computer(1)
ICPE 2018 - Companion of the 2018 ACM/SPEC International Conference on Performance Engineering(1)
Área temáticas
Ciencias de la computación(8)
Métodos informáticos especiales(3)
Programación informática, programas, datos, seguridad(2)
Derecho privado(1)
Funcionamiento de bibliotecas y archivos(1)
Área de conocimiento
Software(6)
Ingeniería de software(5)
Ciencias de la computación(3)
Inteligencia artificial(1)
Internet de las cosas(1)
Objetivos de Desarrollo Sostenible
ODS 8: Trabajo decente y crecimiento económico(11)
ODS 17: Alianzas para lograr los objetivos(8)
ODS 12: Producción y consumo responsables(4)
ODS 11: Ciudades y comunidades sostenibles(1)
Origen
scopus(12)
CoCoME in SOFA
Conference ObjectAbstract: This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (SOFtwarePalabras claves:Autores:Bures T., Děcký M., Hnetynka P., Kofroň J., Parízek P., Petr Tůma, Plášil F., Poch T., Šerý O.Fuentes:scopusCost-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:scopusCapturing 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:scopusAdaptive dispatch: A pattern for performance-aware software self-adaptation
Conference ObjectAbstract: Modern software systems often employ dynamic adaptation to runtime conditions in some parts of theirPalabras claves:Autores:Bulej L., Bures T., Horký V., Kubát P., Petr TůmaFuentes: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:scopusSoftware Abstractions for Component Interaction in the Internet of Things
ArticleAbstract: Component ensembles provide expressive abstractions that address challenges in engineering softwarePalabras claves:cyber-physical systems, DEECo, Distributed Emergent Ensembles of Components, Embedded Systems, ensemble-based component systems, internet of things, IOT, MANETs, Mobile Ad Hoc Networks, multidevice interaction, Network design, Real-time systems, Software architectures, transportation, Ubiquitous ComputingAutores:Bures T., Hoch N., Kit M., Petr Tůma, Plášil F.Fuentes:scopusSupporting performance awareness in autonomous ensembles
ArticleAbstract: The ASCENS project works with systems of self-aware, selfadaptive and self-expressive ensembles. PerPalabras claves:Adaptive systems, Autonomic Systems, Modeling, Monitoring, performanceAutores:Bulej L., Bures T., Gerostathopoulos I., Horký V., Keznikl J., Marek L., Petr Tůma, Tribastone M., Tschaikowski M.Fuentes:scopusTowards performance-aware engineering of autonomic component ensembles
Conference ObjectAbstract: Ensembles of autonomic components are a novel software engineering paradigm for development of open-Palabras claves:Component systems, Ensemble-based systems, Performance engineeringAutores:Bures T., Horký V., Kit M., Marek L., Petr TůmaFuentes: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:scopusUnit testing performance with Stochastic Performance Logic
ArticleAbstract: Unit testing is an attractive quality management tool in the software development process, however,Palabras claves:java, Performance evaluation, Unit testingAutores:Bulej L., Bures T., Horký V., Kotrč J., Marek L., Petr Tůma, Trojánek T.Fuentes:scopus