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