我们不应当如梦游一般地行事和言语。
We ought not to act and speak as if we were asleep.
Science is a way of thinking much more than it is a body of knowledge.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。