欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Savara
来自开放百科 - 灰狐
（版本间的差异）
(以内容'Savara: Testable Architecture ==新闻== <rss>http://planet.jboss.org/xml/savara?type=atom|short|date|max=10</rss> Testable Architecture...'创建新页面) |
小 (→链接) |
||
| （未显示1个用户的1个中间版本） | |||
| 第4行： | 第4行： | ||
<rss>http://planet.jboss.org/xml/savara?type=atom|short|date|max=10</rss> | <rss>http://planet.jboss.org/xml/savara?type=atom|short|date|max=10</rss> | ||
| − | + | <gallery> | |
| − | =链接== | + | Image:Savara-flow-diagram.png|Testable Architecture |
| + | </gallery> | ||
| + | |||
| + | ==链接== | ||
*[http://www.jboss.org/savara Savara项目主页] | *[http://www.jboss.org/savara Savara项目主页] | ||
| − | [[ | + | {{comment}} |
| + | |||
| + | [[category:JBoss]] | ||
| + | [[category:BPM]] | ||
2013年2月12日 (二) 01:48的最后版本
Savara: Testable Architecture
[编辑] 新闻
自http://planet.jboss.org/xml/savara?type=atom加载RSS失败或RSS源被墙
Testable Architecture
[编辑] 链接
<discussion>characters_max=300</discussion>
分享您的观点
