Please use this identifier to cite or link to this item:
http://hdl.handle.net/10553/76658
| Title: | EVGC: A tool for visualizing LOTOS behavioural specifications | Authors: | Marrero, Mario Suárez Sarmiento, Álvaro |
UNESCO Clasification: | 1202 Análisis y análisis funcional | Issue Date: | 1996 | Publisher: | Springer | Journal: | Lecture Notes in Computer Science | Conference: | 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems | Abstract: | LOTOS is a Formal Description Technique (FDT) that has an strong and obscure textual algebraic notation that difficult its readability. To solve this problem we have developed a new tool that basically facilitates this readability. This tool represents graphically textual LOTOS specifications through a graph in which real time systems requirements could be considered. We have applied this tool to the specification of different systems. | URI: | http://hdl.handle.net/10553/76658 | ISBN: | 978-3-540-61648-1 | ISSN: | 0302-9743 | DOI: | 10.1007/3-540-61648-9_60 | Source: | Lecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996) |
| Appears in Collections: | Actas de congresos |
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.