Identificador persistente para citar o vincular este elemento:
http://hdl.handle.net/10553/74299
| Título: | SGLOT: A visual tool for structural LOTOS specifications | Autores/as: | Marrero Ruíz, Mario Suárez Sarmiento, Álvaro Carrión Pérez, Elena Macías López, Elsa María |
Clasificación UNESCO: | 3325 Tecnología de las telecomunicaciones 3307 Tecnología electrónica |
Fecha de publicación: | 1998 | Editor/a: | Springer | Publicación seriada: | Lecture Notes in Computer Science | Conferencia: | 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 98) | Resumen: | 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 | Fuente: | 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) |
| Colección: | Actas de congresos |
Visitas
186
actualizado el 23-nov-2024
Google ScholarTM
Verifica
Altmetric
Comparte
Exporta metadatos
Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.