€ 39,99 Gratis verzending
Formalizzazione e verifica dei modelli dello stile architettonico del software
Prijzen vanaf
39,99
Uitgelicht
|
|
39,99 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (1) | ||
Beschrijving
Bol
In questo studio vengono descritti modelli formali di sistemi ATM utilizzando linguaggi basati sugli stati quali Z, B e Alloy, nonché linguaggi basati sugli eventi quali Monterey Phoenix. La verifica dei modelli viene effettuata mediante strumenti automatizzati, ovvero Z/EVES, Atelier B e Alloy Analyzer rispettivamente per le specifiche Z, B e Alloy. Inoltre, è stata presentata un'analisi comparativa delle diverse caratteristiche mostrate dai vari approcci formali. L'architettura software svolge un ruolo importante nella progettazione di alto livello di un sistema in termini di componenti, connettori e configurazioni. Il principale elemento costitutivo dell'architettura software è uno stile architettonico che fornisce una semantica di progettazione specifica per il dominio. Nell'analisi di stili architettonici complessi, nel nostro lavoro abbiamo cercato di formalizzare uno stile complesso, ad esempio C2 (componente e connettore), utilizzando il linguaggio di specifica formale Alloy. Per la verifica della coerenza delle notazioni di modellazione, viene utilizzato lo strumento di verifica dei modelli, ad esempio Alloy Analyzer.
Vergelijk aanbieders (1)
Sorteren op:
Winkels met andere maten
Beschrijving
(1)
In questo studio vengono descritti modelli formali di sistemi ATM utilizzando linguaggi basati sugli stati quali Z, B e Alloy, nonché linguaggi basati sugli eventi quali Monterey Phoenix. La verifica dei modelli viene effettuata mediante strumenti automatizzati, ovvero Z/EVES, Atelier B e Alloy Analyzer rispettivamente per le specifiche Z, B e Alloy. Inoltre, è stata presentata un'analisi comparativa delle diverse caratteristiche mostrate dai vari approcci formali. L'architettura software svolge un ruolo importante nella progettazione di alto livello di un sistema in termini di componenti, connettori e configurazioni. Il principale elemento costitutivo dell'architettura software è uno stile architettonico che fornisce una semantica di progettazione specifica per il dominio. Nell'analisi di stili architettonici complessi, nel nostro lavoro abbiamo cercato di formalizzare uno stile complesso, ad esempio C2 (componente e connettore), utilizzando il linguaggio di specifica formale Alloy. Per la verifica della coerenza delle notazioni di modellazione, viene utilizzato lo strumento di verifica dei modelli, ad esempio Alloy Analyzer.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijshistorie
Prijzen voor het laatst bijgewerkt op:
Gerelateerde resultaten
Uitgelichte Keuze
39,99
