Evaluatie ST-EXPRESS

Evaluatie van de tool ST-EXPRESS, welke gebruikt is tijdens een onderzoek waarin conceptuele gegevensmodellen in de specificatietaal EXPRESS zijn vastgelegd. De conceptuele gegevensmodellen dienen om de interacties tussen de offline en online werkende delen van een Wegverkeer-systeem (WVS) te beschrijven. Hoofdstuk 2 gaat in op de faciliteiten en andere relevante aspecten van ST-EXPRESS. In hoofdstuk 3 worden de mogelijkheden beschreven om EXPRESS specificaties te controleren op syntactische correctheid en op context-gevoelige fouten. In hoofdstuk 4 worden de mogelijkheden bekeken om tekstuele EXPRESS specificaties om te zetten in grafische EXPRESS specificatie (EXPRESS-G).