在人月神話裡，花了兩章的篇幅說明在軟體開發上，
不會有類似銀彈這種，可以快速解決開發時程延誤或發生重大錯誤的捷徑
他們提出了三個原因：
(1) 複雜性：
軟體開發的複雜度與規模大小並非線性的關係，整個複雜度增加情況也會遠遠超過線性預估的結果。也因為結構上的複雜性，當軟體在擴充新功能時，難保不會產生新的副作用。程式裡的狀態難以一一列舉，也更加難以明瞭整個產品也會變的更不可靠。另外因為複雜性關係，開發時也容易遇到溝通困難、時程落後、成本超支的困難。
(2) 配合性：
軟體必須配合其他的領域，例如電腦、不同語言、不同介面等等….。
(3) 易變性：
1. 時常面臨修改，因為軟體是純思考的產物，有無限延展性，修改容易，也因此特別容易面臨修改
2. 成功的軟體生命周期會比硬體來的長，因此時常會需要配合硬體環境上去修改。
(4) 隱匿性：過於抽象、難以理解。
在這邊他們也提出了幾項過去曾讓軟體界有所突破的重大發展，但這些突破都是屬於附屬性的，沒辦法突破軟體工程本質上的複雜性：
(1) 高階語言：高階語言的發行的確是最強而有力的一次突破，對生產力而言至少有五倍以上的提升。並伴隨得到可靠度、簡潔性、理解力上的增益。它把和程式內涵一點關係都沒有的那一整層複雜性給去除了。
(2) 分時技術：分時技術對於程式設計師的生產力及產品品質有了重大的提升。因為分時確保了即時性，使我們得以持續保持住腦子裡對複雜的概觀。但緩慢的回復時間是附屬難題。
ps: 分時系統：作夜系統依中央處理器排程(CPU Scheduling)，將中央處理器的時間切割為極小的時間片段(Time Slice)
(3) 統一的軟體開發環境：Unix和Interlisp是第一個得到廣泛使用的整合開發環境，藉由提供完整的程式庫、統一的檔案格式、管道和過濾器，以促成軟體的共用。
(4) 物件導向程式設計：抽象資料型別和階層式型別的使用。允許介面可以用次一層級的型別去做進一步的細緻化，隱藏類別裡面的實際操作，讓開發者可以在開發時專注於設計該類別的邏輯，排除掉許多附屬性困難。
(5) 人工智慧：ex語音辨識、圖形辨識
(6) 專家系統：一支具有廣義推理引擎與知識庫的軟體程式，被設計成可接收輸入資料和假設條件的軟體程式，然後藉由知識庫來推導出邏輯上的結果。這項技術所帶來最重要的進步，是將應用領域的複雜性從程式中區隔出來。
(7) 『自動化』程式設計：換句話說是用更高階的語言來編寫程式。未來可能我們會是用『建構』的方式來寫程式，也就是更完備的函式庫，可以讓寫程式的複雜度更加的降低。
(8) 圖形化程式設計(graphical programming)：一個博班論文提出的新想法，但本書覺得要有成果應有些困難。
(9) 軟體的驗證：編輯軟體自動驗證程式的某些錯誤。例如比對資料型態、變數是否已宣告等等。
(10) 環境與工具：用來除錯、或是搜尋該類別曾被用在那些地方的開發工具。
(11) 工作站：也就是編輯所消耗的時間，若是機器的編譯時間減少，程式師能花在思考上的時間就會變多。
