Methodieken
Functioneel specificeren met Hatley Pirbhai
Met de Hatley / Pirbhai methodiek kunnen specificaties van (real time) systemen worden gemodelleerd in een zogenaamd Requirements Model (RM). Dit model gebruikt een aantal diagrammen waarin de specificatie wordt vastgelegd. De diagrammen zijn middels een bepaalde hiërarchie met elkaar gekoppeld.
