Composing Families of Timed Automata

Featured Timed Automata (FTA) is a formalism that enables the verification of an entire Software Product Line (SPL), by capturing its behavior in a single model instead of product-by-product. However, it disregards compositional aspects inherent to SPL development. This paper introduces Interface FT...

Full description

Bibliographic Details
Main Author: Cledou, Guillermina (author)
Other Authors: Proença, José Miguel Paiva (author), Barbosa, L. S. (author)
Format: conferencePaper
Language:eng
Published: 2017
Subjects:
Software Product Lines
Featured Timed Automata
Compositionality
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Online Access:http://hdl.handle.net/1822/69302
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/69302

Internet

http://hdl.handle.net/1822/69302

Similar Items