Inicio > > Informática: cuestiones generales > Formalizzazione e verifica dei modelli dello stile architettonico del software
Formalizzazione e verifica dei modelli dello stile architettonico del software

Formalizzazione e verifica dei modelli dello stile architettonico del software

Ashish Kumar Dwivedi

60,70 €
IVA incluido
Disponible
Editorial:
KS OmniScriptum Publishing
Año de edición:
2025
Materia
Informática: cuestiones generales
ISBN:
9786202428767
60,70 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

  • Interview with Jeffery Khoury, Bringing Telemedicine to the People
    Richard G Lowe Jr
    Did you know you can consult with a medical specialist over your smartphone from the comfort of your own home? Imagine speaking to a highly-trained and accredited doctor about whatever is ailing you from virtually anywhere in the world.Thanks to a young entrepreneur named Jeffery Khoury, you can get the advice you need from a pool of medical specialists without waiting in a doc...
  • IT Consulting Secrets
    Carl A Katz
    This book is for IT consultants of all experience levels and the content is relevant to any IT support business model from managed services (MSP) to break/fix. The author has methodically compiled these strategies and this information from over sixteen years of experience working in the IT support field at the small and medium sized business and enterprise levels. ...
    Disponible

    29,41 €

  • Modeling, Analysis, and Applications in Metaheuristic Computing
    Peng-Yeng Yin
    The engineering and business problems the world faces today have become more impenetrable and unstructured, making the design of a satisfactory problem-specific algorithm nontrivial. Modeling, Analysis, and Applications in Metaheuristic Computing: Advancements and Trends is a collection of the latest developments, models, and applications within the transdisciplinary fields rel...
  • Knowledge Management and Drivers of Innovation in Services Industries
    Knowledge Management is concerned with all aspects of eliciting, acquiring, modelling, and managing knowledge. Application of knowledge resources successfully helps the organization to deliver creative products and services. Especially in service business, service job experience and information about the customer, as well as the installed site equipment, are key factors to deli...
  • Current Trends and Future Practices for Digital Literacy and Competence
    Antonio Cartelli
    Being a digital citizen has transformed from a process of familiarizing ones’ self with terminology and techniques to a full-time responsibility in the hands of any who want to stay abreast of the latest technological change in their respective field. Current Trends and Future Practices for Digital Literacy and Competence offers a look at the latest research within digital lite...
  • Human Rights and Risks in the Digital Era
    Globalization, along with its digital and information communication technology counterparts, including the Internet and cyberspace, may signify a whole new era for human rights, characterized by new tensions, challenges, and risks for human rights, as well as new opportunities. Human Rights and Risks in the Digital Era: Globalization and the Effects of Information Technologies ...

Otros libros del autor

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