I metodi formali sono stati stabiliti come metodologia ingegneristica rigorosa per lo sviluppo del sistema. L'applicazione di metodi formali allo sviluppo di un sistema ampio e complesso spesso richiede la modellazione di diversi aspetti di tale sistema. Ad esempio, i sistemi complessi (come i sistemi avionici integrati, il software di controllo del motore) possono comportare requisiti funzionali e temporali che devono essere eventualmente implementati come codice di esecuzione su una topologia distribuita comunicante. Questo libro contiene i documenti presentati al Primo Workshop Internazionale sui Metodi Formali Integrati, tenutosi presso l’Università di York nel giugno 1999. La conferenza ha fornito un forum per la discussione degli aspetti teorici della combinazione tra formalismi comportamentali e basati sullo stato e soluzioni pratiche ai problemi industriali di questo approccio.
caricamento...
