История изменений
Исправление lenin386, (текущая версия) :
А программа состоит из массы модулей и подпрограмм, каждые из которых - часть сложной реализации, протестированной по всем правилам программной инженерии, или даже верифицируемой на формальном языке.
Да. А когда оказывается, что это не совсем так, очень трудно бывает не только доказать собственную правоту, но вообще объяснить высоким товарищам, что происходит и как дальше.
Исправление lenin386, :
А программа состоит из массы модулей и подпрограмм, каждые из которых - часть сложной реализации, протестированной по всем правилам программной инженерии, или даже верифицируемой на формальном языке.
Да. А когда оказывается, что это не совсем так (точнее, совсем не так), очень трудно бывает не только доказать собственную правоту, но вообще объяснить высоким товарищам, что происходит и как дальше.
Исправление lenin386, :
А программа состоит из массы модулей и подпрограмм, каждые из которых - часть сложной реализации, протестированной по всем правилам программной инженерии, или даже верифицируемой на формальном языке.
Да. А когда оказывается, что это не совсем так, очень трудно бывает не только доказать собственную правоту, но вообще объяснить высоким товарищам, что происходит и как дальше.
Исходная версия lenin386, :
А программа состоит из массы модулей и подпрограмм, каждые из которых - часть сложной реализации, протестированной по всем правилам программной инженерии, или даже верифицируемой на формальном языке.
Да. А когда оказывается, что это не совсем так, очень трудно бывает не только доказать собственную правоту, но вообще объяснить, что происходит.