Developing correct, distributed, adaptive software

Mila, Dalla Preda; Maiurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro

doi:10.1016/j.scico.2013.11.019

CATALOGO DEI PRODOTTI DELLA RICERCA

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

We illustrate our approach to develop and verify distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction. Behavioural Design Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verication are integrated in our framework to reduce the complexity of verication.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/654359

Titolo:	Developing correct, distributed, adaptive software
Autori interni:	DALLA PREDA, Mila
Data di pubblicazione:	2015
Rivista:	SCIENCE OF COMPUTER PROGRAMMING
Abstract:	We illustrate our approach to develop and verify distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction. Behavioural Design Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verication are integrated in our framework to reduce the complexity of verication.
Handle:	http://hdl.handle.net/11562/654359
Appare nelle tipologie:	01.01 Articolo in Rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Citazioni
ND

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.