Please use this identifier to cite or link to this item:
http://hdl.handle.net/10553/74299
| Title: | SGLOT: A visual tool for structural LOTOS specifications | Authors: | Marrero Ruíz, Mario Suárez Sarmiento, Álvaro Carrión Pérez, Elena Macías López, Elsa María |
UNESCO Clasification: | 3325 Tecnología de las telecomunicaciones 3307 Tecnología electrónica |
Issue Date: | 1998 | Publisher: | Springer | Journal: | Lecture Notes in Computer Science | Conference: | 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 98) | Abstract: | LOTOS is a Formal Description Technique (FDT) that has a strong and obscure textual algebraic notation that is difficult in readability. We have developed a tool that allows to design visual specifications and generate the LOTOS equivalent code. With this tool a lot of time is saved in the specification phase of system simulation. | URI: | http://hdl.handle.net/10553/74299 | ISBN: | 3-540-65003-2 | ISSN: | 0302-9743 | DOI: | 10.1007/BFb0055358 | Source: | In: Ravn A.P., Rischel H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science [ISSN 0302-9743], v. 1486, p. 303-306, (1998) |
| Appears in Collections: | Actas de congresos |
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.