Skip to Main Content (Press Enter)

Logo UNIBG
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNIBG

|

UNI-FIND

unibg.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Pubblicazioni

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements

Contributo in Atti di convegno
Data di Pubblicazione:
2025
Citazione:
(2025). Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements . Retrieved from https://hdl.handle.net/10446/309727
Abstract:
Tabular requirements prescribe software behavior through an “if-then” paradigm. Verifying the consistency and completeness of tabular requirements is crucial, as it can identify specification errors, reduce development time and costs, and help prevent potential failures. Theano is a verification tool designed to ensure the consistency and completeness of tabular requirements formulated with Simulink Requirements Tables. This demonstration paper presents the key features of Theano, illustrates its application through an automotive case study, and discusses the underlying implementation and design choices. An online video walkthrough of the case study is also available: youtu.be/p71bKupmRUQ.
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Zanenga, Aurora Francesca; Bisceglia, Nunzio Marco; Ippoliti, Benedetta; Bombarda, Andrea; Gargantini, Angelo Michele; Rajhans, Akshay; Menghi, Claudio
Autori di Ateneo:
BOMBARDA Andrea
GARGANTINI Angelo Michele
MENGHI Claudio
Link alla scheda completa:
https://aisberg.unibg.it/handle/10446/309727
Titolo del libro:
FSE Companion '25: Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Pubblicato in:
PROCEEDINGS OF THE ACM SIGSOFT ... INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Series
Progetto:
ANTHEM - AdvaNced Technologies for Human-centrEd Medicine
  • Ricerca

Ricerca

Settori


Settore IINF-05/A - Sistemi di elaborazione delle informazioni
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.10.0.6