先日，ソフトウェア技術者協会のシンポジウム懇親会で，ある先生と話をしていて，偶然にエスノメソドロジーの話になりました．それで，色々と昔のことを思い出しました． 一時期，フッサールの現象学に入れ込んでいました．フッサールの […]
-
Pages
-
Categories
-
Archives
Category Archives: セーフティケース
多足
14/06/2011 – 8:57 PM
多足というのは，例えばGSNでセーフティケースを記述したときの姿を指します．ある安全要求に対して，複数の証拠とそれに基づく立証があるとき，多足に見えます（GSN図を想像してみてください）．単に，樹ではないかとも思わないで […]
セーフティケースはなんのため
31/05/2011 – 11:51 AM
次のようなセーフティケースの定義があります． argument that the safety goals for an item are complete and satisfied by evidence compi […]