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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (3)

Show More Show Less

Author

Ale, Mariel Alejandra (1)
Arantes, Flávia L. (1)
Asteasuain, Fernando (1)
Ballejos, Luciana C. (1)
Breuer. Jan (1)
Freire, Fernanda Maria P. (1)
Konig, Fabio (1)
Oliveira, Renato César Alves de (1)
Silva, André Constantino da (1)
Tarulla, Francisco (1)

Show More Show Less

Subject

Ciencias Informáticas (3)
Requirements/Specifications (3)
Model checking (1)
Software Architectures (1)
Software Quality Models (1)
Verification (1)
mobile devices (1)
multimodality (1)
multisemiotic (1)

Show More Show Less

Year

2017 (3)
2018 (1)

Show More Show Less

Document Type

Sin Especificar (2)
Artículo (1)

Show More Show Less

Language

Inglés (3)

Show More Show Less

Your search

Language: Inglés Subject: Requirements/Specifications Year: 2017

Sort by Score Title Year -

1-3 from 3 results (0.01 seconds)

Title: A semi-automatic verification tool for software requirements specification documents
Author: Konig, Fabio / Ballejos, Luciana C. / Ale, Mariel Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Quality Models / Requirements/Specifications / Verification

AccederDescargar
Title: Towards a Multisemiotic and Multimodal Editor
Author: Arantes, Flávia L. / Freire, Fernanda Maria P. / Breuer. Jan / Silva, André Constantino da / Oliveira, Renato César Alves de / Vascon, Lucas Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications / mobile devices / multimodality / multisemiotic

AccederDescargar
Title: Exploring Architectural Model Checking with Declarative Specifications
Author: Asteasuain, Fernando / Tarulla, Francisco
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Architectures / Model checking / Requirements/Specifications

Acceder

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723