（美）戈马，彭鑫，吴毅坚，赵文耘2014 年出版426 页ISBN：9787111467595
本书介绍了关于软件应用建模和设计的知识。从UML中的用况到软件体系结构，本书展示了如何在解决现实世界问题的过程中应用COMET，介绍了针对各种体系结构的模式，包括客户端/服务器以及基于构件的软件体系结构中...
HUMAN BEHAVIOR AND THE SOCIAL ENVIRONMENT A SOCIAL SYSTEMS MODEL SECOND EDITION
WAYNE A.CHESS JULIA M.NORLIN1991 年出版447 页ISBN：0205128246
（美）Bruce Powel Douglass著；尹浩琼，欧阳宇译2003 年出版252 页ISBN：7508318129
本书概述了实时系统的本质，并且介绍了侧重于实时系统设计和开发的UML。本书按照大多数开发项目都遵循的分析－设计－实现步骤来组织。第1章介绍了什么是实时系统和对象，以及UML在实时系统中的应用。第2章到第4章...
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN：3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
