IVM：从最小的软件颗粒到系统规范：MuDForM：多域形式化方法（英文版）

Software development can be seen as a process in which the knowledge and decisions of a wide variety of people are integrated to produce a machine-readable specification. The majority of today's specification and programming languages are based on computer-oriented and mathematical concepts. Those languages are difficult for people that are not a software professional. Domain models and domain-specific languages are a way to capture knowledge from people who have no software expertise, wh