文献

J-GLOBAL ID：201202291088243244   整理番号：12A1734313

UML駆動型開発プロセスに基づく実用的Event-B洗練化手法

A Practical Event-B Refinement Method Based on a UML-Driven Development Process

著者 (4件)： DE SOUSA Thiago C. (State Univ. Piaui, BRA) ,  DE SOUSA Thiago C. (Univ. Sao Paulo, BRA) ,  SILVA Paulo Sergio Muniz (Univ. Sao Paulo, BRA) ,  SNOOK Colin F. (Univ. Southampton, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7316  ページ： 357-360  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： UML ,  開発 ,  プロセス ,  Event-B ,  手法