Criação de modelos de simulação de protocolos de comunicação Aprender com os nossos dados.DE
-
- Portugiesisch ausgewählt
43,99 €
UVP
48,90 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
18.04.2026
Verlag
Edições Nosso ConhecimentoSeitenzahl
52
Maße (L/B/H)
22/15/0,4 cm
Gewicht
96 g
Sprache
Portugiesisch
ISBN
978-620-9-96459-6
Tem havido muitos avanços no campo das técnicas facilitadas de verificação e validação baseadas em modelos. A maioria delas tem-se baseado na observação do comportamento externo do sistema. A nossa abordagem segue o mesmo princípio e é válida mesmo quando o código-fonte do sistema em análise não está disponível. Os mecanismos de inferência permitem-nos inferir esses modelos de máquina através da observação. Apresentamos uma estrutura que permite gerar componentes com estados infinitos/finitos e que se adapta a verificações formais. Os modelos utilizados são protocolos de comunicação inferidos por inferência regular, observados através do comportamento da entidade do protocolo de comunicação. Além disso, é apresentada uma abordagem em que o comportamento observado do protocolo valida o modelo concebido do protocolo.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice