arXiv Open Access 2016

Modeling, refining and analyzing Incomplete Büchi Automata

Claudio Menghi Paola Spoletini Carlo Ghezzi

Lihat Sumber

Abstrak

Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully specified, implementation. This report discusses the theoretical foundations that allow Incomplete Büchi Automata (IBAs) to be used in the iterative development of a sequential system.

Topik & Kata Kunci

cs.FL

Penulis (3)

Claudio Menghi

Paola Spoletini

Carlo Ghezzi

Format Sitasi

APA MLA BibTeX

Menghi, C., Spoletini, P., Ghezzi, C. (2016). Modeling, refining and analyzing Incomplete Büchi Automata. https://arxiv.org/abs/1609.00610

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2016
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓