formalization (1)

Informal, formal, and automated open innovation