Toward a mathematical foundation of software engineering methods.

The development of large software systems consists of a sequence of modeling tasks. It requires the modeling and description of the application domain, software requirements, software architecture, software components, their internal structure, and their implementation. Technically, in software engi...

全面介绍

书目详细资料
发表在:IEEE Transactions on software engineering 27, 1 (2001).
主要作者: Broy, M.
格式: 文件
语言:English
主题: