TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
ねえ、これ僕間違ってる？
VBで作られた有名なアプリって何？
サウンドプログラミング6
ふらっと C#,C♯,C＃（初心者用） Part148
ふらっと C#,C♯,C＃（初心者用） Part127
【マウスだけで】Scratch【プログラミング】その1
逆コンパイラCodeReverseを作る
sizeof(char)が必ず1でも、省略すべきではない
pythonがこの先生きのこるには
Visual Studio 2019
84 ：
組込みっていうか車載開発（ボディ系）でAlloyを個人的に使おうと思ったが、
難しくて挫折しそうになった。。。C言語しか知らないとつらい。。。

85 ：
>>84
組込み系であれば、(Alloy/VDM/Zなどよりも)
「振る舞い」の検証を重視するCSPやCCSのほうが
(多くのケースでは)適しているのではないかと思われ
もしもこれら形式的記述スタイルに慣れていないのなら、
PROMELA(およびその処理系であるSPIN)はいかが？
C言語とステートマシンの知識があれば、直感で理解できる
最近は、PROMELA/SPINに関する日本語書籍もいくつかあるよ

86 ：
アドバイスありがとうございました。
積読状態ですが、VDMにAlloyにSPINに書籍は購入済みですので、
一度読んでみます。
Alloyに手を出したのは、VDMやSPINの両方のおいしいところを合わせたのと、
手軽にモデリングできると聞いたからです。
・・・でも私には簡単ではなかったorz

ネットワークプログラミング相談室 Port30
Rubyの設計上の欠点とは何か？
【独学】一人で勉強する奴らのスレ【自習】
【PHP】下らねぇ質問はここに 9
C#, C♯, C＃相談室 Part95
[特設]サマータイム対応相談室
【MACRO】Google Apps Script 質問スレ【DRIVE】
【Lua】組み込み系言語総合 その7【Squirrel】
開発工数を大幅削減できた言語は存在しない
[RPA]PC自動化技術総合スレ[効率化] Part.9
--------------------
【FF14】twitterのウザいやつ 別館 part1 [腐話題厳禁
【糠漬け】ぬか漬け総合スレ53樽目
(o,,^・ω・^)ＵＯ独り言スレッド（´ω｀
年収と車の関係。
てつじroom part24【長野豚&ムカデハゲ】
【眞子様】小室圭氏　11 【婚約延期された】
俺たち嫌韓ゴキブリニートを雇わない日本企業は韓国人と共に不買しよう！
一律10万給付は頭おかしくね？なんで公務員や生活保護者や年金老人やニートや子供や赤ちゃんまで10万円なわけ？
智弁学園応援スレ52.5（IPワッチョイあり）
【バーチャルYoutuber】神楽めあアンチスレ#22
【ToS】モデル&テクスチャ改変スレ Part2
【ネタバレ厳禁】キャストパズル17個目-CAST PUZZLE
【野球】変化球を投げるまで頑張るスレ
肴26261
東海地方実況
妖精萌え６３７
⊂二二二（　＾ω＾）二⊃ ﾌﾞｰﾝのガイドライン26
こいつ、クズだなと思った奴
嫌いだけど人に言えない（IDなし）part100
☆★☆レースクイーン総合スレッド305★☆★☆
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼