作者簡介

楊章偉：江西萍鄉人，副教授，中國人民大學計算機軟件與理論專業碩士。從事計算機軟件和網絡相關工作十多年，主要硏究方向為高性能計算和計算機軟件技術。主持和參與省部級項目10余項，發表學術論文30余篇，出版論著 和教材10余部，獲省、市科技成果和科技論文獎多項。曾擔任大型企業的數據庫管理員、計算機軟件開發工程師，對C、Visual C++、Visual Basic、Oracl、SQL Server等有豐富的實際操作經驗。

唐同誥：畢業后留復旦大學數學系任教，在江南造船廠攻克了計算機船型光順的難關，籌建了計算機工廠，任復旦大學硬件教研組首任組長。1987年后創制了能加到編譯系統里的廣義“程序歸納原理”，實現了能讓普通程序員使用的高效又實用的程序自動驗證的普遍方法。1996年后離開計算機理論轉向軟件工程方法論的研究。2001年起通過十年以上時間向軟件工程方法論進軍，實現了軟件工程方法論上的一次革命：“從設計文件，直接由計算機代替人工自動編制同樣的程序，又經自動編譯生成應用軟件”。在計算機領域里攻克了兩個世界級難題。