Art

J-GLOBAL ID：200902285869300035   Reference number：05A0467380

Model variables: cleanly supporting abstraction in design by contract

モデル変数:design by contractにおける抽象化をクリーンにサポートする

Author (4)： CHEON Yoonsik (Univ. Texas at El Paso, TX, USA) ,  LEAVENS Gary (Iowa State Univ., IA, USA) ,  SITARAMAN Murali (Clemson Univ., SC, USA) ,  EDWARDS Stephen (Virginia Tech, VA, USA)
Material： Software: Practice & Experience  (Software: Practice and Experience)
Volume： 35  Issue： 6  Page： 583-599  Publication year： May. 2005 
JST Material Number： E0674A  ISSN： 0038-0644  CODEN： SPEXBL  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Thesaurus term： *software design ,...
Semi thesaurus term： assertion ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0467380&from=J-GLOBAL&jstjournalNo=E0674A") }}

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

Terms in the title (5)： モデル ,  変数 ,  DESIGN ,  抽象化 ,  クリーン