面向服务架构建模语言 SoaML
- 授权协议: 未知
- 开发语言:
- 操作系统: 未知
- 软件首页: http://www.omg.org/cgi-bin/doc?ptc/09-12-09
软件介绍
一个扩展 UML 2 的 OMG 标准，用于建模服务，面向服务架构（SOA）和面向服务解决方案。此模型已在 IBM Rational Software Architect 中实现。
Types and Programming Languages
Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ......一起来看看 《Types and Programming Languages》 这本书的介绍吧!
