diff --git a/courseA/CourseDescriptionA.html b/courseA/CourseDescriptionA.html new file mode 100644 index 0000000..bee1c2b --- /dev/null +++ b/courseA/CourseDescriptionA.html @@ -0,0 +1,77 @@ + + + + + 【作業全体の説明】 + + + +

【作業全体の説明】

+
+

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

+

+ これから取り組んでいただくのは，Alloy と DTRAM と呼ばれる2つの仕様記述言語による仕様記述の読解，仕様記述に関する設問への解答，およびアンケートへの回答です．
+ 全体の作業時間としては，3~5時間程度を想定しています．Alloy および DTRAM の説明，仕様記述言語全般の解説などは実験の中で行います．
+ 仕様記述の対象となるシステムは2つあり，それぞれのシステムについて，Alloy による仕様記述と DTRAM による仕様記述を読んでいただき課題に取り組んでいただきます．
+ したがって，取り組んでいただく課題は計4つになります．それぞれのシステムの仕様は小さく，そのため仕様記述の行数も多くはありません．
+ これらの課題は，すべてWeb上で行っていただくことができます．課題を終えるたびに，設問およびアンケートにお答えいただきます．
+ これ以降お答えいただく設問およびアンケートは，課題毎に3つ，対象システム毎に1つ，すべての課題の終了後に1つの計15個です．
+ 設問およびアンケートの数は多いですが，1つ1つの質問項目は多くありません．課題が終わるたびに作業を中断していただいて構いません．
+

+
+

実験の流れ：

+

+実験は以下の流れで行います． +

    +
  1. 実験用のWebページ(本ページ)にアクセスしていただきます．
    2. +
  2. Alloy の概要を説明します．
    3. +
  3. 1つ目のシステムである酒屋の在庫管理システムの仕様を説明します．
    4. +
  4. 1つ目の課題に取り組んでいただきます．
    5. + +
  5. DTRAM の概要を説明します．
    6. +
  6. 2つ目の課題に取り組んでいただきます．
    7. + +
  7. 酒屋の在庫管理システムに関するアンケートにお答えいただきます．
    8. +
  8. 2つ目のシステムであるツイートシステムの仕様を説明します．
    9. +
  9. 3つ目の課題に取り組んでいただきます．
    10. + +
  10. 4つ目の課題に取り組んでいただきます．
    11. + +
  11. ツイートシステムに関するアンケートにお答えいただきます．
    12. +
  12. 最後に実験全体に関するアンケートにお答えいただきます．
    13. +
+

+
+
+【Alloyの説明】へ + + + + \ No newline at end of file diff --git a/courseB/CourseDescriptionB.html b/courseB/CourseDescriptionB.html new file mode 100644 index 0000000..dab0ef1 --- /dev/null +++ b/courseB/CourseDescriptionB.html @@ -0,0 +1,77 @@ + + + + + 【作業全体の説明】 + + + +

【作業全体の説明】

+
+

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

+

+ これから取り組んでいただくのは，Alloy と DTRAM と呼ばれる2つの仕様記述言語による仕様記述の読解，仕様記述に関する設問への解答，およびアンケートへの回答です．
+ 全体の作業時間としては，3~5時間程度を想定しています．Alloy および DTRAM の説明，仕様記述言語全般の解説などは実験の中で行います．
+ 仕様記述の対象となるシステムは2つあり，それぞれのシステムについて，Alloy による仕様記述と DTRAM による仕様記述を読んでいただき課題に取り組んでいただきます．
+ したがって，取り組んでいただく課題は計4つになります．それぞれのシステムの仕様は小さく，そのため仕様記述の行数も多くはありません．
+ これらの課題は，すべてWeb上で行っていただくことができます．課題を終えるたびに，設問およびアンケートにお答えいただきます．
+ これ以降お答えいただく設問およびアンケートは，課題毎に3つ，対象システム毎に1つ，すべての課題の終了後に1つの計15個です．
+ 設問およびアンケートの数は多いですが，1つ1つの質問項目は多くありません．課題が終わるたびに作業を中断していただいて構いません．
+

+
+

実験の流れ：

+

+実験は以下の流れで行います． +

    +
  1. 実験用のWebページ(本ページ)にアクセスしていただきます．
    2. +
  2. Alloy の概要を説明します．
    3. +
  3. 1つ目のシステムであるツイートシステムの仕様を説明します．
    4. +
  4. 1つ目の課題に取り組んでいただきます．
    5. + +
  5. DTRAM の概要を説明します．
    6. +
  6. 2つ目の課題に取り組んでいただきます．
    7. + +
  7. ツイートシステムに関するアンケートにお答えいただきます．
    8. +
  8. 2つ目のシステムである酒屋の在庫管理システムの仕様を説明します．
    9. +
  9. 3つ目の課題に取り組んでいただきます．
    10. + +
  10. 4つ目の課題に取り組んでいただきます．
    11. + +
  11. 酒屋の在庫管理システムに関するアンケートにお答えいただきます．
    12. +
  12. 最後に実験全体に関するアンケートにお答えいただきます．
    13. +
+

+
+
+【Alloyの説明】へ + + + + \ No newline at end of file diff --git a/courseC/CourseDescriptionC.html b/courseC/CourseDescriptionC.html new file mode 100644 index 0000000..d61f90c --- /dev/null +++ b/courseC/CourseDescriptionC.html @@ -0,0 +1,77 @@ + + + + + 【作業全体の説明】 + + + +

【作業全体の説明】

+
+

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

+

+ これから取り組んでいただくのは，DTRAM と Alloy と呼ばれる2つの仕様記述言語による仕様記述の読解，仕様記述に関する設問への解答，およびアンケートへの回答です．
+ 全体の作業時間としては，3~5時間程度を想定しています．DTRAM および Alloy の説明，仕様記述言語全般の解説などは実験の中で行います．
+ 仕様記述の対象となるシステムは2つあり，それぞれのシステムについて，DTRAM による仕様記述と Alloy による仕様記述を読んでいただき課題に取り組んでいただきます．
+ したがって，取り組んでいただく課題は計4つになります．それぞれのシステムの仕様は小さく，そのため仕様記述の行数も多くはありません．
+ これらの課題は，すべてWeb上で行っていただくことができます．課題を終えるたびに，設問およびアンケートにお答えいただきます．
+ これ以降お答えいただく設問およびアンケートは，課題毎に3つ，対象システム毎に1つ，すべての課題の終了後に1つの計15個です．
+ 設問およびアンケートの数は多いですが，1つ1つの質問項目は多くありません．課題が終わるたびに作業を中断していただいて構いません．
+

+
+

実験の流れ：

+

+実験は以下の流れで行います． +

    +
  1. 実験用のWebページ(本ページ)にアクセスしていただきます．
    2. +
  2. DTRAM の概要を説明します．
    3. +
  3. 1つ目のシステムである酒屋の在庫管理システムの仕様を説明します．
    4. +
  4. 1つ目の課題に取り組んでいただきます．
    5. + +
  5. Alloy の概要を説明します．
    6. +
  6. 2つ目の課題に取り組んでいただきます．
    7. + +
  7. 酒屋の在庫管理システムに関するアンケートにお答えいただきます．
    8. +
  8. 2つ目のシステムであるツイートシステムの仕様を説明します．
    9. +
  9. 3つ目の課題に取り組んでいただきます．
    10. + +
  10. 4つ目の課題に取り組んでいただきます．
    11. + +
  11. ツイートシステムに関するアンケートにお答えいただきます．
    12. +
  12. 最後に実験全体に関するアンケートにお答えいただきます．
    13. +
+

+
+
+【DTRAMの説明】へ + + + + \ No newline at end of file diff --git a/courseC/InventoryManagement.html b/courseC/InventoryManagement.html index f79313d..daba642 100644 --- a/courseC/InventoryManagement.html +++ b/courseC/InventoryManagement.html @@ -24,7 +24,7 @@
  • itemRegistration 操作によって，指定した商品idで，指定した名前の商品を，指定した初期数量で登録することができる．
  • receivingOrShipping 操作によって，指定した商品idの商品を，指定した数量だけ出荷または入荷することができる．数量が正のときは入荷，負の時は出荷を意味する．
    • - 前半2つの課題では，InventoryManagement の仕様の Alloy による記述と，DTRAM による記述を扱っていきます． + 前半2つの課題では，InventoryManagement の仕様の DTRAM による記述と，Alloy による記述を扱っていきます．


    diff --git a/courseC/SimpleTwitter.html b/courseC/SimpleTwitter.html index 941ee4e..cfe0110 100644 --- a/courseC/SimpleTwitter.html +++ b/courseC/SimpleTwitter.html @@ -24,7 +24,7 @@
  • signup 操作によって，指定したアカウントidで，指定した名前のアカウントを登録することができる．登録直後のツイート一覧は空である．
  • tweet 操作によって，指定したアカウントidで，指定した内容のツイートを行うことができる．ツイートした内容はツイート一覧の末尾に追加される．
    • - 残り2つの課題では，SimpleTwitter の仕様の Alloy による記述と，DTRAM による記述を扱っていきます． + 残り2つの課題では，SimpleTwitter の仕様の DTRAM による記述と，Alloy による記述を扱っていきます．


    diff --git a/courseD/CourseDescriptionD.html b/courseD/CourseDescriptionD.html new file mode 100644 index 0000000..e0ae10c --- /dev/null +++ b/courseD/CourseDescriptionD.html @@ -0,0 +1,77 @@ + + + + + 【作業全体の説明】 + + + +

    【作業全体の説明】

    +
    +

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

    +

    + これから取り組んでいただくのは，DTRAM と Alloy と呼ばれる2つの仕様記述言語による仕様記述の読解，仕様記述に関する設問への解答，およびアンケートへの回答です．
    + 全体の作業時間としては，3~5時間程度を想定しています．DTRAM および Alloy の説明，仕様記述言語全般の解説などは実験の中で行います．
    + 仕様記述の対象となるシステムは2つあり，それぞれのシステムについて，DTRAM による仕様記述と Alloy による仕様記述を読んでいただき課題に取り組んでいただきます．
    + したがって，取り組んでいただく課題は計4つになります．それぞれのシステムの仕様は小さく，そのため仕様記述の行数も多くはありません．
    + これらの課題は，すべてWeb上で行っていただくことができます．課題を終えるたびに，設問およびアンケートにお答えいただきます．
    + これ以降お答えいただく設問およびアンケートは，課題毎に3つ，対象システム毎に1つ，すべての課題の終了後に1つの計15個です．
    + 設問およびアンケートの数は多いですが，1つ1つの質問項目は多くありません．課題が終わるたびに作業を中断していただいて構いません．
    +

    +
    +

    実験の流れ：

    +

    +実験は以下の流れで行います． +

      +
    1. 実験用のWebページ(本ページ)にアクセスしていただきます．
      2. +
    2. DTRAM の概要を説明します．
      3. +
    3. 1つ目のシステムであるツイートシステムの仕様を説明します．
      4. +
    4. 1つ目の課題に取り組んでいただきます．
      5. + +
    5. Alloy の概要を説明します．
      6. +
    6. 2つ目の課題に取り組んでいただきます．
      7. + +
    7. ツイートシステムに関するアンケートにお答えいただきます．
      8. +
    8. 2つ目のシステムである酒屋の在庫管理システムの仕様を説明します．
      9. +
    9. 3つ目の課題に取り組んでいただきます．
      10. + +
    10. 4つ目の課題に取り組んでいただきます．
      11. + +
    11. 酒屋の在庫管理システムに関するアンケートにお答えいただきます．
      12. +
    12. 最後に実験全体に関するアンケートにお答えいただきます．
      13. +
    +

    +
    +
    +【DTRAMの説明】へ + + + + \ No newline at end of file diff --git a/courseD/InventoryManagement.html b/courseD/InventoryManagement.html index bdbc1b9..ff3e804 100644 --- a/courseD/InventoryManagement.html +++ b/courseD/InventoryManagement.html @@ -24,7 +24,7 @@
  • itemRegistration 操作によって，指定した商品idで，指定した名前の商品を，指定した初期数量で登録することができる．
  • receivingOrShipping 操作によって，指定した商品idの商品を，指定した数量だけ出荷または入荷することができる．数量が正のときは入荷，負の時は出荷を意味する．
    • - 残り2つの課題では，InventoryManagement の仕様の Alloy による記述と，DTRAM による記述を扱っていきます． + 残り2つの課題では，InventoryManagement の仕様の DTRAM による記述と，Alloy による記述を扱っていきます．


    diff --git a/courseD/SimpleTwitter.html b/courseD/SimpleTwitter.html index a5053fa..b49bca5 100644 --- a/courseD/SimpleTwitter.html +++ b/courseD/SimpleTwitter.html @@ -24,7 +24,7 @@
  • signup 操作によって，指定したアカウントidで，指定した名前のアカウントを登録することができる．登録直後のツイート一覧は空である．
  • tweet 操作によって，指定したアカウントidで，指定した内容のツイートを行うことができる．ツイートした内容はツイート一覧の末尾に追加される．
    • - 前半2つの課題では，SimpleTwitter の仕様の Alloy による記述と，DTRAM による記述を扱っていきます． + 前半2つの課題では，SimpleTwitter の仕様の DTRAM による記述と，Alloy による記述を扱っていきます．