Show simple item record

Barcsa-Szabó, Áron
Várady, Balázs
Farkas, Rebeka
Molnár, Vince
Vörös, András
2021-07-28T11:37:48Z
2021-07-28T11:37:48Z
2021
http://hdl.handle.net/10890/15647
Model-based technologies improve the efficiency of the design and development of IT systems by making it possible to automate verification, code generation and system analysis based on a formal model. A simple way of describing the behavior of systems is state-based modeling, which - due to the advancements of formal analysis techniques in recent years - can be widely and effectively utilized when analyzing systems. A possible way of synthesizing such models is to apply active automata learning algorithms. Acquiring a correct formal model of a system can be challenging because of the different theoretical and practical obstacles of both manual and automated approaches. We propose a semi-automated solution, that applies automata learning to provide an interactive environment for model development.
en
Towards Interactive Learning for Model-based Software Engineering
könyvfejezet
Kiadói változat
Open access
Faculty of Electrical Engineering and Informatics
February 1-2, 2021
Online
Department of Measurement and Information Systems
Budapest University of Technology and Economics
2021
978-963-421-845-6
Budapest University of Technology and Economics
Online
Proceedings of the 28th PhD Minisymposium of the Department of Measurement and Information Systems
Automata Learning
Formal Methods
Model-based Software Engineering
System Design
Konferenciacikk
28th PhD Minisymposium of the Department of Measurement and Information Systems
28
31


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record