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.

Repo Engenharia de Requisitos

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

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.

The “swiss knife” CLI for agile DevOps teams. Keep backlog, specs, tests, and code in sync. Greenfield + brownfield with SDD/TDD/contracts.

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