# Guy Tremblay ## 概要 Université du Québec à Montréal に所属し、*Guide to the Software Engineering Body of Knowledge – A Straw Man Version*(1998)の共著者の一人。Appendix I「Draft Classification of Knowledge on Formal Methods Based on the Proposed Four-Category Schema」において、形式手法の主要トピックを Generally Accepted・Advanced・Research・Specialized の4区分に分類する作業を行った。この分類は、数年にわたり実施した非形式的な文献調査に基づき、フランス語で注釈を付した500件超の文献目録として結実した。目録はオンラインで検索可能な形で公開されている(URL: `http://www.info.uqam.ca/~tremblay/chercher-reference.cgi`)。(Source: [[@1998__IEEECS__SWEBOK Straw Man - Appendix I Draft Classification of Knowledge on Formal Methods]]) ## 関連 - [[SWEBOK Straw Man Version]] - [[@1998__IEEECS__SWEBOK Straw Man - Appendix I Draft Classification of Knowledge on Formal Methods]] ## 出典 - *Guide to the Software Engineering Body of Knowledge – A Straw Man Version*, IEEE Computer Society, September 1998, Appendix I.