Software Engineering for Self-Adaptive Systems III. Assurances
-15%
portes grátis
Software Engineering for Self-Adaptive Systems III. Assurances
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Giese, Holger; Ghezzi, Carlo; Garlan, David; de Lemos, Rogerio
Springer International Publishing AG
01/2018
435
Mole
Inglês
9783319741826
15 a 20 dias
682
Descrição não disponível.
Research Challenges.- Evaluation.- Integration and Coordination.- Reference Architectures and Platforms.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
adaptive systems;artificial intelligence;computer software selection and evaluation;evolutionary algorithms;formal methods;formal software verification;genetic algorithms;machine lerarning;model checking;self-adaptive;semantics;software design;software engineering;software systems;software verification;algorithm analysis and problem complexity
Research Challenges.- Evaluation.- Integration and Coordination.- Reference Architectures and Platforms.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
adaptive systems;artificial intelligence;computer software selection and evaluation;evolutionary algorithms;formal methods;formal software verification;genetic algorithms;machine lerarning;model checking;self-adaptive;semantics;software design;software engineering;software systems;software verification;algorithm analysis and problem complexity
