Μια μεθοδολογία ανάπτυξης δομημένη λογισμικού για την ανάλυση και το σχεδιασμό των συστημάτων πραγματικού χρόνου που αναπτύχθηκε από Michael Jackson συστήματα και επεξεργασίας δεδομένων.