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

Page view(s)

checked on Jun 22, 2021

Google ScholarTM




Export metadata

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