topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Formalisierung und Modellprüfung des Softwarearchitekturstils
ISBN: 9786202428750 / Niemiecki / Miękka / 2025 / 92 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 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 der unterschiedlichen Eigenschaften verschiedener formaler Ansätze vorgestellt. Die Softwarearchitektur spielt eine wichtige Rolle beim High-Level-Design eines Systems in Bezug auf Komponenten, Konnektoren und...
In dieser Studie werden formale Modelle des ATM-Systems unter Verwendung zustandsbasierter Sprachen wie Z, B und Alloy sowie ereignisbasierter Sprache...
|
cena:
178,89 zł |
 |
Formalization and Model Checking of Software Architectural Style
ISBN: 9783659682360 / Angielski / Miękka / 2015 / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as, Monterey Phoenix. Model checking is being carried out by automated tools, viz. Z/EVES, Atelier B, and Alloy Analyzer for Z, B, and Alloy specifications respectively. Furthermore, a comparative analysis of different characteristics shown by varied formal approaches has been presented. Software architecture plays an important role in the high level design of a system in terms of components, connectors, and configurations. The main building block...
In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as,...
|
cena:
178,89 zł |
 |
Formalização e verificação de modelos de estilo arquitetural de software
ISBN: 9786202433686 / Portugalski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 zł |
 |
Formalisation et vérification de modèles de styles architecturaux logiciels
ISBN: 9786202433679 / Francuski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 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 outre, une analyse comparative des différentes caractéristiques présentées par diverses approches formelles a été présentée. L'architecture logicielle joue un rôle important dans la conception...
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 d...
|
cena:
178,89 zł |
 |
Formalizzazione e verifica dei modelli dello stile architettonico del software
ISBN: 9786202428767 / Włoski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 zł |
 |
Formalizacja i sprawdzanie modeli stylu architektury oprogramowania
ISBN: 9786202438780 / Polski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 zł |
 |
Advancement in the Pathophysiology of Cerebral Stroke
ISBN: 9789811314520 / Angielski / Twarda / 2019 / 189 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
