"L'estensibilità di Studio (sia con OLE automation che con la generazione di script) ci ha permesso di adattare il tool alle nostre esigenze; abbiamo esteso Studio in modo da poter inserire annotazioni SPARK come parte del modello UML. Siamo capaci di manipolare annotazioni SPARK a livello di progetto e quindi le generiamo nell'ambito del codice, pronte per la disamina SPARK. Abbiamo ricavato molti benefici da questa metodologia: (a) liberare i progettisti dal preoccuparsi delle implicazioni progettuali di SPARK; (b) eliminare il lavoro manuale d'impostazione tradizionalmente associato a SPARK, (c) rispettare automaticamente le regole semantiche per le annotazioni; e (d) assicurare la piena conformità ai nostri standard di codifica. Tutto ciò si è già trasformato in un significativo risparmio di costi dei nostri progetti. L'estensibilità di Studio ci ha anche permesso di generare in modo semiautomatico la documentazione di progetto in formato MIL–STD–498 per il nostro modello UML."

"Un altro punto di forza chiave di Studio è la capacità di dividere in package e partizionare il modello, permettendo la gestione / coordinazione di sistemi a larga scala e complessi. Questo è essenziale per il supporto di progetti multi-sito."

Neil Davidson, Principal Software Engineer, Avionic Systems.