7º Workshop internazionale sugli aspetti formali dei software basati su componenti, Guimaraes, Portogallo
14 Ottobre 2010 - 14 Ottobre 2010
Portogallo
Dal 14 al 16 ottobre 2010 si terrà a Guimaraes (Portogallo) il 7º Workshop internazionale sugli aspetti formali dei software basati su componenti (FACS 2010).
La manifestazione sarà incentrata su come i metodi formali possono o devono essere utilizzati per riuscire a sviluppare software basati su componenti efficaci. Lo sviluppo di software basati su componenti è emerso come un paradigma promettente per far fronte alle sempre più complesse soluzioni software di oggi. Essa introduce inoltre la produzione del suono e i principi dell'ingegneria nell'ingegneria del software. Tuttavia, rimangono da risolvere molte questioni concettuali e tecnologiche nella teoria e pratica di sviluppo dei software basati su componenti.
I metodi formali si avvalgono di tecniche basate sulla matematica per la specifica, lo sviluppo e la verifica dei sistemi software e hardware. Essi si sono dimostrati anche molto utili nel fornire le basi formali dei software basati su componenti e nel chiarire questioni impegnative come ad esempio i modelli matematici per i componenti, la composizione e l'adattamento, o gli approcci rigorosi di verifica, implementazione, prova e certificazione.
Il workshop intende riunire ricercatori e professionisti dei settori dei software basati su componenti e dei metodi formali, al fine di promuovere una comprensione più profonda del paradigma per lo sviluppo di software basati su componenti e delle loro applicazioni.Per ulteriori informazioni, visitare:
http://www3.di.uminho.pt/facs2010/(si apre in una nuova finestra)
La manifestazione sarà incentrata su come i metodi formali possono o devono essere utilizzati per riuscire a sviluppare software basati su componenti efficaci. Lo sviluppo di software basati su componenti è emerso come un paradigma promettente per far fronte alle sempre più complesse soluzioni software di oggi. Essa introduce inoltre la produzione del suono e i principi dell'ingegneria nell'ingegneria del software. Tuttavia, rimangono da risolvere molte questioni concettuali e tecnologiche nella teoria e pratica di sviluppo dei software basati su componenti.
I metodi formali si avvalgono di tecniche basate sulla matematica per la specifica, lo sviluppo e la verifica dei sistemi software e hardware. Essi si sono dimostrati anche molto utili nel fornire le basi formali dei software basati su componenti e nel chiarire questioni impegnative come ad esempio i modelli matematici per i componenti, la composizione e l'adattamento, o gli approcci rigorosi di verifica, implementazione, prova e certificazione.
Il workshop intende riunire ricercatori e professionisti dei settori dei software basati su componenti e dei metodi formali, al fine di promuovere una comprensione più profonda del paradigma per lo sviluppo di software basati su componenti e delle loro applicazioni.Per ulteriori informazioni, visitare:
http://www3.di.uminho.pt/facs2010/(si apre in una nuova finestra)