After decades of progress on Correctness-by-Construction (CbC) as a scientific discipline of engineering, it is time to look further than correctness and investigate a move from CbC to XbC, i.e., considering also non-functional properties. X-by-Construction (XbC) is concerned with a step-wise refinement process from specification to code that automatically generates software (system) implementations that by construction satisfy specific non-functional properties concerning security, dependability, reliability or resource/energy consumption, to name but a few. This track brings together researchers and practitioners that are interested in CbC and the promise of XbC.
X-by-Construction
ter Beek MH;
2018
Abstract
After decades of progress on Correctness-by-Construction (CbC) as a scientific discipline of engineering, it is time to look further than correctness and investigate a move from CbC to XbC, i.e., considering also non-functional properties. X-by-Construction (XbC) is concerned with a step-wise refinement process from specification to code that automatically generates software (system) implementations that by construction satisfy specific non-functional properties concerning security, dependability, reliability or resource/energy consumption, to name but a few. This track brings together researchers and practitioners that are interested in CbC and the promise of XbC.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_394013-doc_136390.pdf
solo utenti autorizzati
Descrizione: X-by-Construction
Tipologia:
Versione Editoriale (PDF)
Dimensione
170.22 kB
Formato
Adobe PDF
|
170.22 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_394013-doc_136391.pdf
accesso aperto
Descrizione: X-by-Construction
Tipologia:
Versione Editoriale (PDF)
Dimensione
205.27 kB
Formato
Adobe PDF
|
205.27 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
