【実験の主旨及び流れ】

甲南大学知能情報学部のソフトウェア設計検証研究室です．
この度は私共の実験にご協力頂きまして誠にありがとうございます．

実験の主旨と概要：

Webサービスの開発経験3年以上のエンジニアの方々を対象に，被験者として実験へのご協力をお願いいたします．
この実験は，Alloy と DTRAM という2つの仕様記述言語の比較評価を目的としています．
仕様記述言語とは，仕様を自然言語ではなく，論理式や等式のような数学的に厳密に意味が定義された形式によって記述する手法です．
作業内容としては，2つの小規模なシステムについて，Alloy によって書かれた仕様記述と，DTRAM によって書かれた仕様記述をそれぞれお読みいただき，設問およびアンケートにお答えいただきます．
すべての作業はWeb上で行っていただきます．課題は全部で4つあり，全体の作業時間としては，3~5時間程度を想定しています．
お答えいただく設問およびアンケートは，最初と最後，課題毎，システム毎など計16個あります．ただし，1つ1つの質問項目は多くありません．
また，課題を終えるたびに作業を中断していただいて構いません．

※過去に実施した私共のいずれの実験にご協力いただいた方でも，こちらの実験には問題なくご参加いただけます．

実験における作業内容について：

仕様記述言語全般についての解説，Alloy および DTRAM の説明などは実験の中で行いますので，別途お調べいただく必要はございません．
仕様記述の対象となるシステムは2つあり，それぞれのシステムについて，Alloy による仕様記述と DTRAM による仕様記述がWeb上で提供されます．
それぞれの仕様記述毎に解説をお読みいただき，記述内容に関する2つの設問と課題アンケートにお答えいただきます．取り組んでいただく課題は計4つになります．
いずれのシステムも小規模で，仕様記述の行数も多くはありません．また，仕様記述言語を使って何かを書いていただく作業も一切ございません．
お答えいただく設問およびアンケートは，課題着手前に1つ，課題毎に3つ，対象システム毎に1つ，すべての課題の終了後に1つの計16個です．

ご応募までの手順：

本HTML(実験に関する説明，個人情報の取り扱いに関する説明，報酬を含む契約に関する説明)をお読みいただきます．
1の全てに同意できる場合は，下記の同意確認フォームにその旨を入力していただきます．
ご同意をもって応募の条件とさせていただきます．ご同意いただけない場合はご応募いただけません．

実験全体の流れ：

下記の同意確認フォームにご記入いただきます．
実験にご同意いただける場合は，個人アンケートにお答えいただきます．
実験へのご同意，個人アンケートの内容，プロフィールの内容等を元に実験依頼の可否を判断させていただきます．
実験依頼の可否についてご連絡いたします．実験をご依頼する場合は，実験準備が整い次第，実験用のWebページをこちらからお伝えいたします．(実験準備に数日を要する可能性があります．)
ここから実験開始です．以下では，1つ目および2つ目の仕様記述言語を，それぞれ仕様記述言語1および仕様記述言語2とし，1つ目および2つ目のシステムを，それぞれシステムAおよびシステムBとします．
仕様記述言語1の概要を説明します．
システムAの仕様を説明します．
1つ目の課題に取り組んでいただきます．

システムAの仕様記述言語1による仕様記述を読んで理解していただきます．（記述内容の解説も行います．）
1つ目の設問にお答えいただきます．
2つ目の設問にお答えいただきます．
課題アンケートにお答えいただきます．

仕様記述言語2の概要を説明します．
2つ目の課題に取り組んでいただきます．

システムAの仕様記述言語2による仕様記述を読んで理解していただきます．（記述内容の解説も行います．）
1つ目の設問にお答えいただきます．
2つ目の設問にお答えいただきます．
課題アンケートにお答えいただきます．

システムAに関するアンケートにお答えいただきます．
システムBの仕様を説明します．
3つ目の課題に取り組んでいただきます．

システムBの仕様記述言語1による仕様記述を読んで理解していただきます．（記述内容の解説も行います．）
1つ目の設問にお答えいただきます．
2つ目の設問にお答えいただきます．
課題アンケートにお答えいただきます．

4つ目の課題に取り組んでいただきます．

システムBの仕様記述言語2による仕様記述を読んで理解していただきます．（記述内容の解説も行います．）
1つ目の設問にお答えいただきます．
2つ目の設問にお答えいただきます．
課題アンケートにお答えいただきます．

システムBに関するアンケートにお答えいただきます．
最後に実験全体に関するアンケートにお答えいただきます．

以上が実験の流れです．
全ての作業はWeb上で完結します．

同意事項：

実験中の危険性に関して説明いたします．
通常のPC画面に向かっている際と危険性は変わりません．

実験時間(拘束時間)に関して説明いたします．
全体の作業としては3~5時間を想定していますが，人によっては多少前後する可能性があります．
時間に余裕がある際に行ってください．
また，後日大学にお越しいただいたり，こちらから連絡を行うことはありません(参加者に不利益が発生する恐れのある場合は除く)．

実験への参加取りやめに関して説明いたします．
実験の途中で，参加を取りやめることが可能です．
その場合の報酬に関する取扱いついては．以下で説明いたします．

契約と報酬に関して説明いたします．

報酬は作業全体に対して一律に(10,000円)支払われます．
作業は全てのアンケートにお答えいただいた時点で終了とします．
実験の途中で参加を取りやめた場合は，報酬は支払われません．あらかじめご了承下さい．
契約及び報酬に関してご不明な点がございましたら，メッセージにてご連絡ください．
おひとりで，複数回ご担当することはできません．
他の参加者に作業の情報を提供したこと，または，他の参加者からの情報をもとに作業を行ったことが判明した場合は，報酬の支払いをお断りする場合がございます．

個人情報の取り扱いについて説明いたします．

ご提供いただいた個人情報は研究目的以外では利用いたしません．
ご提供いただいた個人情報を第三者に提供・開示することはありません．
研究成果として公開する場合は，統計処理を施し，個人の情報が特定できないようにしたデータのみを用います．
ご提供いただいた個人情報は不正アクセス，紛失，破壊，改ざん，漏洩等がないよう厳重に管理いたします．

同意確認フォームはこちらです．

実験同意書

実験にご同意いただけましたら，以下の個人アンケートにご協力ください．

個人アンケート