领导力大挑战
在实施Scrum项目的过程中，Scrum Master的角色是相当关键的，因为他是团队的推动者。本文围绕什么是仆人式领导、仆人式领导的起源、如何将领导力传达给团队、Scrum Master作为仆人式领导者的角色展开叙述，同时重点阐述仆人式领导者应有的基本内外特征。
新闻
该内容已经被标记书签！
标记书签错误，请重试！
Spec#与Boogie发布于CodePlex
作者 Jonathan Allen 译者 王波 发布于 2009年8月10日
Spec#是一种基于C#的研究型语言。它是基于契约优先的原则，即函数的前提条件和后置条件都以声明的方式定义。其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。
我们可以在.NET 4中找到一些重要的特性，比如：代码契约，Spec#当前的研究状况比较尴尬。最近，微软声明放宽对它的约束，但也仅是一点而已。获取了微软研究共享许可协议后，Spec#的源代码已经可以从CodePlex站点上下载了。这份许可仅限于非商业用途。
与Spec#配套的有Boogie，一种用于代码验证的中间语言。Boogie并非仅限于.NET，它还支持其他的语言，包括“HAVOC、C语言的验证程序vcc、Dafny语言和它的验证程序以及并发语言Chalice”。
Boogie还是一种工具的名称。该工具接受Boogie语言的输入，并随意地推断给定Boogie程序的一些不变量，接着生成验证条件，然后传给SMT解算程序。默认的SMT解算程序是Z3。
Boogie已经基于微软公共许可正式发布，它符合开源标准。
当前微软把代码契约定位为今后的发展方向，这意味着Spec#未来很可能不会有太大的发展。
查看英文原文：Spec# and Boogie Released on CodePlex
译者 王波 是匆匆IT过客，涉足于.NET编程技术，潜心研究和译书，与友人共译《C# 3.0揭秘》 。
没有回复
关注此讨论 回复