6 results
Search Results
2. Proceso y evolución de los métodos formales en la ingeniería de requisitos.
3. UNA GUÍA GENERAL PARA LA ESPECIFICACIÓN Y VERIFICACIÓN FORMAL DE REQUERIMIENTOS USANDO EVENT-B Y RODIN.
4. La especificación formal en contexto: actual y futuro.
5. De lo conductual a lo emocional: métodos gráficos de evaluación arquitectónica.
6. 13th Conference on Software Engineering and Databases.
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.