著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"DSV-IS and Forbrig, Peter and Limbourg, Quentin and Urban, Bodo and Vanderdonckt, Jean","Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers",,Springer,2002,Lecture notes in computer science,,3540002669,,https://cir.nii.ac.jp/crid/1130000793914297856