A stream-based runtime-verification framework for generating hard real-time C code.
- Updated
- Haskell
![]() |
VOOZH | about |
A stream-based runtime-verification framework for generating hard real-time C code.
Adds needs/requirements to sphinx
AI-powered PRD generation for Claude Code with taskmaster integration
Treat Requirements Like Code
В этом релизе Вы найдете дополнительные материалы к книге "Путь аналитика. Практическое руководство ИТ-специалиста" (https://www.piter.com/product_by_id/40878036) Саму книгу можно заказать по адресу https://goo.gl/Av7Zmg
Traceability extension for Sphinx documentation generator
Traceable specifications based on Doxygen
Marcel Robeer (2015-2019) *** Developed for Utrecht University RE Lab
A Claude Code skill for structured, spec-driven development with phase-by-phase workflow and living documentation
This repository contains information regarding the H2020 Project OpenReq and its components
reqT is a requirements engineering desktop and terminal tool for software developers based on reqT-lang.
Spec-driven, multi-agent AI development for Claude Code: from specs to shipping via roundtable collaboration
Single-file Claude Skill for spec-driven RE. Generates constitution, specs, plans, research, tasks — with automatic KRITIS/NIS2 compliance checks and cross-artifact consistency analysis.
An Agent Skill to use Problem-Based Software Requirements Specification (SRS) method in your software project.
Provides practical guidance for systems/software engineers and teaching material for a graduate level course regarding non-functional requirements.
V-Model Extension Pack for Spec Kit — enforces paired generation of development specs and test specs with regulatory-grade traceability
The Swiss-knife CLI for validation and alignment in software delivery. Keep backlog intent, specs, tests, and code in sync across AI-assisted and brownfield delivery.
Add a description, image, and links to the requirements-engineering topic page so that developers can more easily learn about it.
To associate your repository with the requirements-engineering topic, visit your repo's landing page and select "manage topics."