Engineering Agentic Systems: Toward Verification-First AIware Engineering

2026-09-07

0

PRE

AI

DOI：10.1109/ms.2026.3697911

原文求助

摘要

En 中文

智能体系统正在推动软件工程从以代码为中心的学科向AIware工程转变，其中智能被有目的地分配到基础模型、按需生成的软件和外部工具中。核心挑战已不再是生成行为，而是大规模验证这些行为。以验证驱动的AIware工程通过将可验证性视为首要设计目标，有目的地分解问题以实现可扩展的验证。

Keyword:

Special issues and sections

Agentic AI

Formal verification

Feedback loop

Software engineering

Codes

Encoding

Scalability

Human in the loop

Multi-agent systems