LIBROS DEL AUTOR: simon kawuma

5 resultados para LIBROS DEL AUTOR: simon kawuma

simon kawuma Eliminar filtro Quitar filtros
  • Modélisation en Event-B
    Robert Mugonza / Simon Kawuma
    Cet ouvrage se concentre sur l’utilisation d’Event-B en tant que méthode formelle pour la modélisation et la vérification de logiciels. Notre étude de cas porte sur le système de commande d’ascenseur (ECS). Les exigences relatives à l’ascenseur sont traduites en modèles mathématiques Event-B. Nous utilisons RODIN pour développer, tester et vérifier les modèles Event-B de l’ECS ...
    Disponible

    101,46 €

  • Modelowanie w języku Event-B
    Robert Mugonza / Simon Kawuma
    Książka ta skupia się na wykorzystaniu języka Event-B jako formalnej metody modelowania i weryfikacji oprogramowania. Naszym studium przypadku jest system sterowania windą (ECS). Wymagania dotyczące windy są przekładane na matematyczne modele Event-B. Używamy RODIN do opracowywania, testowania i weryfikacji modeli ECS Event-B, zanim będziemy mogli zaimplementować system w progr...
    Disponible

    101,39 €

  • Modelagem em Event-B
    Robert Mugonza / Simon Kawuma
    Este livro centra-se na utilização do Event-B como método formal para a modelagem e verificação de software. O nosso estudo de caso é o sistema de controlo de elevadores (ECS). Os requisitos do elevador são traduzidos em modelos matemáticos Event-B. Utilizamos o RODIN para desenvolver, testar e verificar os modelos Event-B do ECS antes de podermos implementar o sistema num prog...
    Disponible

    101,39 €

  • Modellierung in Event-B - Ein praktischer Ansatz für Systemingenieure
    Robert Mugonza / Simon Kawuma
    Dieses Buch konzentriert sich auf die Verwendung von Event-B als formale Methode zur Softwaremodellierung und -verifikation. Unsere Fallstudie ist das Aufzugssteuerungssystem (ECS). Die Anforderungen an den Aufzug werden in mathematische Event-B-Modelle übersetzt. Wir verwenden RODIN, um ECS-Event-B-Modelle zu entwickeln, zu testen und zu verifizieren, bevor wir das System in e...
    Disponible

    101,46 €

  • Modellazione in Event-B
    Robert Mugonza / Simon Kawuma
    Questo libro si concentra sull’uso di Event-B come metodo formale per la modellazione e la verifica del software. Il nostro caso di studio è il sistema di controllo degli ascensori (ECS). I requisiti dell’ascensore vengono tradotti in modelli matematici Event-B. Utilizziamo RODIN per sviluppare, testare e verificare i modelli Event-B dell’ECS prima di poter implementare il sist...
    Disponible

    101,39 €