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