Journal: | Computación y sistemas |
Database: | PERIÓDICA |
System number: | 000183300 |
ISSN: | 1405-5546 |
Authors: | Sánchez Palma, Pedro1 Ramos Salavert, Isidro |
Institutions: | 1Universidad Politécnica de Valencia, Valencia. España |
Year: | 2001 |
Season: | Jul-Sep |
Volumen: | 5 |
Number: | 1 |
Pages: | 67-76 |
Country: | México |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Ciencias de la computación, Matemáticas |
Keyword: | Matemáticas aplicadas, Validación por animación, Ingeniería de requisitos, Métodos formales, Ingeniería de software, Redes de Petri |
Keyword: | Computer science, Mathematics, Applied mathematics, Validation by animation, Requirements engineering, Formal methods, Software engineering, Petri nets |
Document request | |