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