Please use this identifier to cite or link to this item:
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.
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
Show full item record

Google ScholarTM




Export metadata

Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.