formal_programming_methodology

1.Extreme Programming (XP) — XP is a lightweight methodology that eschews formal modeling and analysis in favor of a "test first" approach.
极限编程(Extreme Programming, XP)——XP是轻量级方法，避免了与“测试第一”方法相关的正式建模和分析。
dict.yoduao.com