プログラミングエンジニアリングとソフトウェア開発の抽象的な背景