Une méthodologie de développement logiciel structurées pour l'analyse et la conception du traitement des données et des systèmes en temps réel développés par Michael Jackson Systems.