메뉴
SkillsMP는 manji-0/rdra-ish-dsl에서 7개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
수집된 skill 7개 중 7개를 표시합니다.
Formal-verify RDRA-ish models with TLA+/TLC. Use when the user asks about export --kind tla, verify --backend tlc, temporal property / always / eventually / leads_to, after.assert, when().none/has, Int/Money/Decimal/now arithmetic, multi-entity…
원문 언어: 영어
Review RDRA DSL files for syntax errors, semantic inconsistencies, missing relationships, staged refinement gaps, business flow coverage, requirement/NFR traceability, screen field mappings, API contracts, exports, ADR links, and lint readiness
원문 언어: 영어
Write RDRA DSL files from requirements using correct syntax and file structure, including staged abstract-to-concrete refinement, business flows, requirements/NFRs, conceptual models, screen fields, API contracts, data modeling annotations, ADR links,…
원문 언어: 영어
Choose the right RDRA-ish BUC or whole-model analysis path for refinement readiness, coverage gaps, business flow, requirement/NFR traceability, screen field mappings, API contracts, access, system boundaries, exports, and state patterns
원문 언어: 영어
Create a new BUC file from a requirements description, using staged refinement from BUC skeleton and business flow to conceptual/data, UI/API contracts, lifecycle, rules, NFRs, and traceability
원문 언어: 영어
Update an existing BUC by adding or modifying use cases, business flows, requirements, screens, fields, API contracts, concepts, NFRs, events, entities, ADR links, and predicates while preserving staged refinement
원문 언어: 영어
Choose the right RDRA-ish diagram, CSV review, diff, or export view for the modeling situation, then load focused references for commands and interpretation
원문 언어: 영어