Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation - Brossura

Hinchey, Michael G

Brossura

ISBN 10: 1289254583 ISBN 13: 9781289254582

Casa editrice: Bibliogov, 2013

Riassunto

Un metodo generico per trasformare meccanicamente i requisiti di sistema in un modello dimostrabilmente equivalente deve ancora apparire. Tale metodo rappresenta un passo necessario verso l'ingegneria dei sistemi ad alta affidabilità per numerosi possibili domini applicativi, comprese le reti di sensori e i sistemi autonomi. Gli strumenti e i metodi attualmente disponibili che iniziano con un modello formale di un sistema e producono meccanicamente un'implementazione dimostrabilmente equivalente sono preziosi ma non sufficienti. La lacuna che gli strumenti e i metodi attuali lasciano vuoti è che i loro modelli formali non possono essere dimostrati equivalenti ai requisiti di sistema originati dal cliente. Per le classi di sistemi il cui comportamento può essere descritto come un insieme finito (ma significativo) di scenari, offriamo un metodo per trasformare meccanicamente i requisiti (espressi in linguaggio naturale ristretto o in altre notazioni grafiche appropriate) in un modello formale dimostrabilmente equivalente che può essere utilizzato come base per la generazione di codice e altre trasformazioni.

Dettagli dell'edizione

• Editore: Bibliogov
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 1289254583
• ISBN 13: 9781289254582
• Rilegatura: Copertina flessibile
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile