SpecificationSimulatorExperiments/courseC/SimpleTwitter.html at 758dcc5191661f8cb38fd8e32890111d62744d4a - nitta-lab/SpecificationSimulatorExperiments

Fork: 0

nitta-lab / SpecificationSimulatorExperiments

Find file

Newer

Older

SpecificationSimulatorExperiments / courseC / SimpleTwitter.html

okazakitakehiro on 11 Sep 1 KB 全コースのページ遷移の順番調整と課題スクショの修正

Raw Blame History

<!DOCTYPE html>
<html lang="ja">
<head>
    <meta charset="UTF-8">
    <title>【ツイートシステム（SimpleTwitter）の仕様説明】</title>
</head>
<body>
<h1>【ツイートシステム（SimpleTwitter）の仕様説明】</h1>
<p>
    本実験で取り組んでいただく4つの課題のうちの残り2つは，簡単なツイートシステム（Xのようなもの）を対象にしたものです．以降は，このツイートシステムを SimpleTwitter と呼びます．<br>
    以下に，SimpleTwitter の仕様を示します．
</p>
<hr/>
<h2>SimpleTwitter の仕様</h2>
<p>
    SimpleTwitter は，X のような多数のユーザのツイートを扱うシステムです．アカウント登録されたユーザのツイート一覧を管理することができます．
    SimpleTwitter の仕様は次の通りです．
    <ul>
        <li>システムは複数のユーザアカウントを管理することができる．</li>
        <li>各アカウントは，アカウントidによって一意に特定される．</li>
        <li>アカウントごとにアカウント名が定義されている．</li>
        <li>アカウントごとにツイートの一覧が記録されている．</li>
        <li>システムはアカウントが1つも登録されていない状態を初期状態とする．</li>
        <li>signup 操作によって，指定したアカウントidで，指定した名前のアカウントを登録することができる．登録直後のツイート一覧は空である．</li>
        <li>tweet 操作によって，指定したアカウントidで，指定した内容のツイートを行うことができる．ツイートした内容はツイート一覧の末尾に追加される．</li>
    </ul>
    残り2つの課題では，SimpleTwitter の仕様の Alloy による記述と，DTRAM による記述を扱っていきます．
</p>
<hr/>
<br>
<a href="ST_DTRAM_C.html">【SimpleTwitter(DTRAM)】へ</a>
 
</body>
</html>