LIBROS DEL AUTOR: ashish kumar dwivedi

5 resultados para LIBROS DEL AUTOR: ashish kumar dwivedi

ashish kumar dwivedi Eliminar filtro Quitar filtros
  • Formalisierung und Modellprüfung des Softwarearchitekturstils
    Ashish Kumar Dwivedi
    In dieser Studie werden formale Modelle des ATM-Systems unter Verwendung zustandsbasierter Sprachen wie Z, B und Alloy sowie ereignisbasierter Sprachen wie Monterey Phoenix beschrieben. Die Modellprüfung wird mit automatisierten Tools durchgeführt, nämlich Z/EVES, Atelier B und Alloy Analyzer für Z-, B- und Alloy-Spezifikationen. Darüber hinaus wird eine vergleichende Analyse d...
    Disponible

    60,77 €

  • Formalisation et vérification de modèles de styles architecturaux logiciels
    Ashish Kumar Dwivedi
    Dans cette étude, des modèles formels de systèmes ATM sont décrits à l’aide de langages basés sur les états tels que Z, B et Alloy, ainsi que de langages basés sur les événements tels que Monterey Phoenix. La vérification des modèles est effectuée à l’aide d’outils automatisés, à savoir Z/EVES, Atelier B et Alloy Analyzer pour les spécifications Z, B et Alloy respectivement. En...
    Disponible

    60,70 €

  • Formalização e verificação de modelos de estilo arquitetural de software
    Ashish Kumar Dwivedi
    Neste estudo, modelos formais do sistema ATM são descritos usando linguagens baseadas em estados, como Z, B e Alloy, bem como linguagens baseadas em eventos, como Monterey Phoenix. A verificação de modelos está a ser realizada por ferramentas automatizadas, a saber, Z/EVES, Atelier B e Alloy Analyzer para especificações Z, B e Alloy, respetivamente. Além disso, foi apresentada ...
    Disponible

    60,70 €

  • Formalizacja i sprawdzanie modeli stylu architektury oprogramowania
    Ashish Kumar Dwivedi
    W niniejszym badaniu opisano formalne modele systemu ATM przy użyciu języków opartych na stanach, takich jak Z, B i Alloy, a także języka opartego na zdarzeniach, takiego jak Monterey Phoenix. Sprawdzanie modeli odbywa się za pomocą zautomatyzowanych narzędzi, tj. Z/EVES, Atelier B i Alloy Analyzer dla specyfikacji Z, B i Alloy. Ponadto przedstawiono analizę porównawczą różnych...
    Disponible

    60,70 €

  • Formalizzazione e verifica dei modelli dello stile architettonico del software
    Ashish Kumar Dwivedi
    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...
    Disponible

    60,70 €