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

Year: 2016 Subject: Software Program Verification Language: Inglés

Sort by Score Title Year -

1-7 from 7 results (0.014 seconds)

Title: Focus for interactive systems design through the incorporation of user in the development process
Author: Viloria Silva, Amelec Jesus / Lis Gutierrez, Jenny Paola
Language: Inglés
Repository: 57
Subject: Interactive systems design / Process models / Software / Usability / Diseño de sistemas interactivos / Modelos de proceso / Usabilidad

Acceder
Title: Generalized molecular descriptors derived from event-based discrete derivative
Author: Martínez-Santiago O. / Cabrera R.M. / Marrero-Ponce Y. / Barigye S.J. / Le-Thi-Thu H. / Javier Torres F. / Zambrano C.H. / Yaber-Goenag I. / Cruz-Monteagudo M. / López Y.M. / Giménez F.P. / Torrens F.
Language: Inglés
Repository: 61
Subject: Atom-based derivative index / Discrete derivative / DIVATI / Event criterion / Fingerprint / Frequency matrix / PCA / QSAR/QSPR / TOMOCOMD-CARDD / Carbon / Halogen / Furan derivative / Algorithm / Atom / Chemical structure / Computer interface / Controlled study / Factor analysis / Hydrophobicity / Molecular biology / Priority journal / Quantitative structure property relation / Review / Chemical model / Chemistry / Software / Algorithms / Furans / Models, Chemical
Title: Focus for interactive systems design through the incorporation of user in the development process
Author: Viloria Silva, Amelec Jesus / Lis Gutierrez, Jenny Paola
Language: Inglés
Repository: 57
Subject: Interactive systems design / Process models / Software / Usability / User incorporation process development

Acceder
Title: Management accounting software and accounting practices: empirical study on SME enterprises
Author: Machado, M.
Language: Inglés
Repository: 73
Subject: Management / Accounting / Software / SME / Portugal

Acceder
Title: Idea Puzzle
Author: Parente, C. / Ferro, L.
Language: Inglés
Repository: 73
Subject: Idea Puzzle / Software / Research design / Research planning / Social Sciences

Acceder
Title: A Demonstration of compilability for UML template instances
Author: Farinha, José
Language: Inglés
Repository: 73
Subject: UML / Templates / Verification / Compilability / Activities / Generic programming / Software patterns

Acceder
Title: Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / soundness / correctness properties / Verification

AccederDescargar

« Previous 1 Next »