Formele specificaties vormen een manier om definities van programmatuur te beschrijven. In dit artikel wordt beschreven hoe en waarom deze formele specificaties ook kunnen worden gebruikt voor het specificeren van computerarchitecturen en wel in het bijzonder bij examens in dat vak binnen AMBI 88. Na een inleiding over de opzet van AMBI 88 en de plaats die het vak computerarchitectuur daarin inneemt, wordt een aantal overwegingen gegeven die tot de keuze van formele specificaties hebben geleid. Vervolgens wordt aan de hand van een eerste poging tot praktische realisatie aangegeven waar de knelpunten zitten om daarna een oplossing te geven in ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.