Apresentado pela AWS Agentes autônomos estão reduzindo os prazos de entrega de software de semanas para dias. As empresas que dimensionarem os agentes com segurança serão aquelas que construirão usando o desenvolvimento orientado por especificações. Há um momento em cada mudança tecnológica em que os primeiros adotantes deixam de ser discrepantes e passam a ser a linha de base. Estamos nesse momento de desenvolvimento de software e a maioria das equipes ainda não percebeu isso. Há um ano, a codificação de vibração se tornou viral. Não desenvolvedores e desenvolvedores juniores descobriram que poderiam construir além de suas habilidades com IA. Baixou o chão. Tornou a prototipagem muito mais rápida, mas também introduziu um excesso de lixo. O que a indústria precisava então era de algo que elevasse o teto – algo que melhorasse a qualidade do código e funcionasse da mesma forma que os desenvolvedores mais experientes trabalham. O desenvolvimento orientado por especificações fez isso. Ele lançou as bases para agentes de codificação autônomos confiáveis. As especificações são o modelo de confiança para o desenvolvimento autônomo A maioria das discussões sobre código gerado por IA concentra-se em saber se a IA pode escrever código. A questão mais difícil é se você pode confiar nisso. A resposta passa diretamente pelas especificações. O desenvolvimento orientado a especificações começa com uma ideia aparentemente simples: antes de um agente de IA escrever uma única linha de código, ele trabalha a partir de uma especificação estruturada e rica em contexto que define o que o sistema deve fazer, quais são suas propriedades e o que "correto" na verdade significa. Essa especificação é um artefato contra o qual o agente raciocina durante todo o processo de desenvolvimento – fundamentalmente diferente das abordagens de IA pré-agentes de escrever documentação após o fato. As equipes empresariais estão construindo sobre essa base. A equipe do Kiro IDE usou o Kiro para construir o Kiro IDE — um ambiente de codificação agente com desenvolvimento nativo orientado a especificações — reduzindo a criação de recursos de duas semanas para dois dias. Uma equipe de engenharia da AWS concluiu um projeto de rearquitetura de 18 meses, originalmente planejado para 30 desenvolvedores, com seis pessoas em 76 dias usando o Kiro. Uma equipe de engenharia da Amazon.com lançou o “Adicionar à entrega” – um recurso que permite aos compradores adicionar itens após a finalização da compra – dois meses antes do previsto, usando o Kiro e o desenvolvimento orientado por especificações. Alexa+, Amazon Finance, Amazon Stores, AWS, Fire TV, Last Mile Delivery, Prime Video e muito mais integram o desenvolvimento orientado por especificações como parte de suas abordagens de construção. Essa mudança muda tudo a jusante. Testes verificáveis ​​são o que torna a execução segura de agentes autônomos A especificação se torna um mecanismo de correção automatizado. Quando um desenvolvedor gera 150 check-ins por semana com assistência de IA, nenhum ser humano pode revisar manualmente esse volume de código. Em vez disso, o código construído com base em uma especificação concreta pode ser verificado por meio de testes baseados em propriedades e técnicas de IA neurossimbólicas que geram automaticamente centenas de casos de teste derivados diretamente da especificação, investigando casos extremos que nenhum ser humano pensaria em escrever à mão. Esses testes provam que o código satisfaz as propriedades definidas pela especificação, indo muito além dos conjuntos de testes escritos à mão para corrigir o comportamento comprovadamente. Testes verificáveis ​​permitem a mudança da programação única para o desenvolvimento autônomo contínuo. O desenvolvimento tradicional assistido por IA opera como um único tiro: você dá uma especificação ao agente, o agente produz a saída e o processo termina. Os agentes de hoje se corrigem continuamente, alimentando falhas de construção e teste em seu próprio raciocínio, gerando testes adicionais para testar sua própria saída e iterando até produzirem algo funcional e verificável. A especificação é a âncora que evita que esse loop se desvie. Em vez de os desenvolvedores verificarem constantemente se o agente está tomando as decisões corretas, o agente pode verificar a si mesmo em relação às especificações para ter certeza de que está no caminho certo. O agente autônomo do futuro escreverá suas próprias especificações, usando especificações como mecanismo de autocorreção, de verificação, para garantir que o que ele produz corresponde ao comportamento pretendido do sistema. Multiagente, autônomo e em execução agora Os desenvolvedores que definem o ritmo hoje operam de uma maneira fundamentalmente diferente. Os desenvolvedores gastam um tempo significativo construindo suas especificações, bem como escrevendo arquivos de orientação usados ​​pelas especificações para garantir que o agente saiba o que e como construir – mais tempo do que seu agente pode gastar construindo o software real. Eles executam vários agentes em paralelo para criticar um problema de diferentes perspectivas, bem como executam várias especificações, cada uma escrita para um componente diferente do sistema que estão construindo. Eles permitem que os agentes trabalhem por horas, às vezes dias. Eles usam milhares de créditos Kiro porque o resultado justifica isso. Há um ano, os agentes perdiam o contexto e desmoronavam após 20 minutos. Agora, toda semana você pode executá-los por mais tempo do que na semana anterior. As capacidades de agente melhoraram significativamente nos últimos seis meses, de modo que problemas genuinamente complexos são tratáveis. Os LLMs mais recentes são mais eficientes em termos de tokens do que a geração anterior; portanto, com o mesmo gasto, você realiza muito mais. O desafio é que fazer isso bem requer profundo conhecimento. As ferramentas, metodologias e infraestrutura existem, mas é difícil orquestrá-las. O objetivo do Kiro é levar esses recursos com profundo conhecimento a todos os desenvolvedores, não apenas ao 1% que já descobriu isso. A infraestrutura está alcançando a ambição Os agentes serão dez vezes mais capazes dentro de um ano. Essa é a taxa de melhoria que estamos vendo semana após semana. A infra-estrutura para suportar esse nível de capacidade está convergindo ao mesmo tempo. Os agentes agora são executados na nuvem, em vez de localmente, executando em paralelo e em escala, com

Ouça o artigo 3 minutos Este áudio é gerado automaticamente. Por favor, deixe-nos saber se você tiver comentários. Resumo de mergulho: Kikkoman tem

O desvio de dados ocorre quando as propriedades estatísticas dos dados de entrada de um modelo de aprendizado de máquina (ML) mudam ao

Ouça o artigo 4 minutos Este áudio é gerado automaticamente. Por favor, deixe-nos saber se você tiver comentários. “Sociable” é o comentário mais

Quando o One Big Beautiful Bill chegou como um documento não estruturado de 900 páginas – sem esquema padronizado, sem formulários de IRS

Ouça o artigo 3 minutos Este áudio é gerado automaticamente. Por favor, deixe-nos saber se você tiver comentários. Resumo de mergulho: A Fever-Tree

Quatro palestras separadas do RSAC 2026 chegaram à mesma conclusão sem coordenação. Vasu Jakkal, da Microsoft, disse aos participantes que a confiança zero