skill
職業分類
説明
更新
develop-spec
ソフトウェア開発者
Allows for the development of a specification. Called when a specification file should be applied.
2026-03-21
fit-spec
ソフトウェア開発者
Allows for a piece of code to be updated to a specification. Called when a specification file was changed and those changes should be applied to code.
2026-03-21
devs
コンピュータ・情報研究科学者
Allows for the construction of discrete event system specification (DEVS) modules, it specifies its internal structure, components, connections, and resources with more information. Use when creating a DEVS module in any language or when giving proofs that involve DEVS modules.
2026-03-21