Modern software development technique finds serious difficulty in analysis of software global behavior. This situation cannot be changed because of technique's empirical nature. Thence the only reasonable way out seems to change the nature of software development.
↧