Art

J-GLOBAL ID：201802236230926614   Reference number：18A0027056

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions

RESOLVEによるCSカリキュラムにおけるコンポーネント,コントラクトおよび推論の統合:多施設での経験【Powered by NICT】

Author (8)： Heym Wayne ,  Sivilotti Paolo A.G. ,  Bucci Paolo ,  Sitaraman Murali ,  Plis Kevin ,  Hollingsworth Joseph E. ,  Krone Joan ,  Sridhar Nigamanth
Material： IEEE Conference Proceedings  (IEEE Conf Proc)
Volume： 2017  Issue： CSEE&T  Page： 202-211  Publication year： 2017 
JST Material Number： W2441A  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： Analytical reasoning is centra...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A0027056&from=J-GLOBAL&jstjournalNo=W2441A") }}

Thesaurus term： educator ,  software ,  overload ,  computer science ,  *curriculum ,  component-based software engineering

JST classification (1)： Computer system development  (JD02010R)

Terms in the title (8)： Cs ,  カリキュラム ,  コンポーネント ,  コントラクト ,  推論 ,  統合 ,  施設 ,  経験