LIBROS DEL AUTOR: ashish dwivedi

6 resultados para LIBROS DEL AUTOR: ashish dwivedi

ashish 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 €

  • Watermarking Techniques for Copyright Protection of Videos
    Ashish M. Kothari / Rohit M. Thanki / Vedvyas Dwivedi
    The book provides copyright protection approaches for videos using watermarking. The various watermarking techniques using various transforms such as discrete cosine transform (DCT), discrete wavelet transform (DWT) and singular value decomposition (SVD) for videos are presented. The book also provides video watermarking approach using compressive sensing (CS) theory. The prese...
    Disponible

    68,11 €