The end of history will be a very sad time. The struggle for recognition, the willingness to risk one's life for a purely abstract goal, the worldwide ideological struggle that called forth daring, courage, imagination, and idealism, will be replaced by economic calculation, the endless solving of technical problems, environmental concerns, and the satisfaction of sophisticated consumer demands.
重要的不是拥有,而是获得的过程。
质量不是一种行为,而是一种习惯。
"The future of system design lies in the integration of formal methods with traditional engineering practices."