A stream-based runtime-verification framework for generating hard real-time C code.
-
Updated
Mar 8, 2026 - Haskell
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
The missing layer between idea and code.
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
Spec-driven, multi-agent AI development for Claude Code: from specs to shipping via roundtable collaboration
reqT is a requirements engineering desktop and terminal tool for software developers based on reqT-lang.
Provides practical guidance for systems/software engineers and teaching material for a graduate level course regarding non-functional requirements.
This repository consists of all my projects completed in university and work experiences.
An Agent Skill to use Problem-Based Software Requirements Specification (SRS) method in your software project.
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 agile DevOps teams. Keep backlog, specs, tests, and code in sync. Greenfield + brownfield with SDD/TDD/contracts.
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."