计算机科学与技术学科前沿丛书 面向主体软件工程 模型、方法学与语言

本书以主体理论和技术的具体研究成果为基础，结合作者近年来在该领域的科学研究和工程实践，系统介绍面向主体软件工程的基本概念和思想、软件体系结构、建模语言、分析和设计方法、程序设计及其语言、CASE工具和环境等，分析这一技术对复杂软件系统开发的支持，讨论面向主体软件工程当前研究与实践所面临的问题和挑战。本书可以作为从事上述方向研究与实践的学者、研究生和软件工程师的参考用书。