OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 37 Query: FORMAL LANGUAGES Language: Inglés Year: 2002 Document Type: Artículo

Sort by Score Title Year -

1-4 from 4 results (0.013 seconds)

Title: Using business process reengineering to obtain a RAISE specification
Author: Riesco, Daniel Eduardo / Uzal, Roberto / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal method / Languages / Reengineering

AccederDescargar
Title: Algebraic specifications and refinement for component-based development using RAISE
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal methods / component-based development / SOFTWARE ENGINEERING / Requirements/Specifications

AccederDescargar
Title: Bisimulation for component-based development
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / component-based development / bisimulation

AccederDescargar
Title: Component-based tool for verifying applications using object-oriented patterns
Author: Reynoso, Luis A. / Buccella, Agustina / Flores, Andrés P. / Aranda, Gabriela N.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / object-oriented design / Design / Patterns (e.g., client/server, pipeline, blackboard) / SOFTWARE ENGINEERING

AccederDescargar

« Previous 1 Next »