المؤلفون: Blázquez Saborido, Jorge, Montenegro Montes, Manuel, Segura Díaz, Clara María

مصطلحات موضوعية: 004.43, 004.89, Program verification, Data structures, Abstract data types, Iterators, Dafny, Verificación de programas, Estructuras de datos, Tipos abstractos de datos Iteradores Dafny, Lenguajes de programación, Software, Lógica simbólica y matemática (Matemáticas), 1203.23 Lenguajes de Programación, 3304.16 Diseño Lógico, 1102.14 Lógica Simbólica

وصف الملف: application/pdf

Relation: CAVI-ART-2 (TIN2017-86217-R); ProCode (PID2019-1085288RB-C22); S2018/TCS-4339 (BLOQUES-CM); https://www.elsevier.com/locate/jlamp; https://hdl.handle.net/20.500.14352/72274

الاتاحة: https://hdl.handle.net/20.500.14352/72274
https://doi.org/10.1016/j.jlamp.2023.100875
https://www.elsevier.com/locate/jlamp

المؤلفون: Enríquez Ballester, Adrián

المساهمون: Montenegro Montes, Manuel

مصطلحات موضوعية: 004(043.3), Program verification, Elixir, Metaprogramming, SMT, Intermediate representation, Formal methods, Verificación de programas, Metaprogramación, Representación intermedia, Métodos formales, Informática (Informática), 1203.17 Informática

وصف الملف: application/pdf

Relation: https://hdl.handle.net/20.500.14352/73938

الاتاحة: https://hdl.handle.net/20.500.14352/73938

المؤلفون: Organista Calderón, Julián David

المصدر: Séneca: repositorio Uniandes
Universidad de los Andes
instacron:Universidad de los Andes

مصطلحات موضوعية: Validación de programas para computador - Investigaciones, Vigilancia ambiental - Investigaciones, Verificación de programas para computador - Investigaciones, Satélites artificiales en detección a distancia - Investigaciones, Dispositivos con internet incorporado - Investigaciones, Sistemas integrados de computación - Investigaciones, Ingeniería, Algoritmos (Computadores) - Investigaciones

وصف الملف: 25 hojas; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::5cc304f7f2c23047779fccb73882621d

المؤلفون: Cortez Sánchez, Joshep Joel

المساهمون: Wolovick, Nicolás, dir., Brandan Briones, Laura, dir.

مصطلحات موضوعية: Testeo y depuración de software, Software Testing and Debugging, Ejecución simbólica, Análisis de binarios, Generación de exploits, Verificación de programas, Symbolic execution, Binary analysis, Exploit generation, Program verification, Memory corruption

Relation: http://hdl.handle.net/11086/11382

الاتاحة: http://hdl.handle.net/11086/11382

المؤلفون: Grisales Badillo, Luis Fernando

المساهمون: Alba Castro, Mauricio Fernando

المصدر: Universidad Autónoma de Manizales
RepoUAM-UAM
Repositorio UAM
instacron:Universidad Autónoma de Manizales

مصطلحات موضوعية: Códigos de corrección-Teoría de la información, Programación orientada a objetos-Lenguaje de programación, JAVA logic programming-Programming language, Object Oriented Programming-Programming language, Programación lógica JAVA-Lenguaje de programación, Semántica, Correction codes-Information theory, Verificación de programas para computador, Verification of computer programs, Semantics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::ca55e0790b745131859dd6b126ba3772
https://repositorio.autonoma.edu.co/handle/11182/685

المؤلفون: Holubanský, Jakub, Mínguez Horcajada, Álvaro

المساهمون: Peña Mari, Ricardo Vicente

مصطلحات موضوعية: 004.421(043.3), 519.852(043.3), Análisis de terminación, Verificación de programas, Programación líneal, Autómatas finitos con variables enteras, Termination analysis, Program verification, Linear programming, Integer interpreted automata, Programación de ordenadores (Informática), Lógica simbólica y matemática (Matemáticas), 1203.23 Lenguajes de Programación, 1102.14 Lógica Simbólica

وصف الملف: application/pdf

Relation: https://hdl.handle.net/20.500.14352/66084

الاتاحة: https://hdl.handle.net/20.500.14352/66084

المؤلفون: Sicard-Ramírez, Andrés

المساهمون: Bove, Ana, Dybjer, Peter, Sicard-Ramírez Andrés

المصدر: COLIBRI
Universidad de la República
instacron:Universidad de la República

مصطلحات موضوعية: Automatic proofs, Type theory, Functional program correctness, Total languages, Demostración interactiva de teoremas, Teorías de primer orden, Interactive proofs, Verificación de programas funcionales, General recursion, Demostración automática de teoremas, Recursión general, First-order theories, Lenguajes totales, Lazy evaluation, Evaluación perezosa, Teoría de tipos

وصف الملف: aplication/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::8746df4504d24f1188ac7682263e4f01

المؤلفون: Arch, David Daniel

المساهمون: Barsotti, Damián, D'Argenio, Pedro Ruben

مصطلحات موضوعية: Verificación de programas

Relation: http://hdl.handle.net/11086/2830

الاتاحة: http://hdl.handle.net/11086/2830

المؤلفون: Waquim, Pedro Eduardo

المساهمون: D'Argenio, Pedro Ruben, Pelozo, Silvia

مصطلحات موضوعية: Redes de comunicación informática, Seguridad, Sistemas distribuidos, Ingeniería de software, Verificación de programas, Propiedades de alcanzabilidad, Modelos probabilistas, Modelos no deterministas, Computer communications networks, Distributed systems, Software engineering, Program verification, Security and protection

Relation: http://hdl.handle.net/11086/551674

الاتاحة: http://hdl.handle.net/11086/551674

المؤلفون: Dias Molina, María José, Dodero Mena, Diego Matías

المساهمون: Pons, Claudia

مصطلحات موضوعية: verificación de programas, Java Modeling Language (JML), Languages, Ciencias Informáticas, metamodelos, Object Constrain Language (OCL), desarrollo de software dirigido por modelos (MDD), lenguaje unificado de modelado (UML), traducción OCL a JML

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1329::2e437fac61ca64b5fcb8e952af31d001
http://sedici.unlp.edu.ar/handle/10915/63228

المؤلفون: García Ramírez, Fabio, Puello Marrugo, Plinio

المساهمون: Arenas Seleey Daniel, Grupo de Investigación Tecnologías de Información - GTI

المصدر: Repositorio UNAB
Universidad Autónoma de Bucaramanga-UNAB
instacron:Universidad Autónoma de Bucaramanga-UNAB

مصطلحات موضوعية: Software engineering, Herramientas de verificación y validación, Geresoft, Systems Engineering, Investigaciones, Investigations, Verification of computer programs, Ingeniería de sistemas, Validation of computer programs, Análisis, Validación de programas para computador, Verificación de programas para computador, Ingeniería de software, Analysis

وصف الملف: application/pdf; application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::6e30524fe2c98fd45cc8c19c49f5e54e

المؤلفون: Rosenfeld, Ricardo, Irazábal, Jerónimo

مصطلحات موضوعية: Teoria de la computaion, Verificacion de programas, https://purl.org/becyt/ford/1.2, https://purl.org/becyt/ford/1

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/https://libros.unlp.edu.ar/index.php/unlp/catalog/book/105; http://hdl.handle.net/11336/131665; Rosenfeld, Ricardo; Irazábal, Jerónimo; Computabilidad, complejidad computacional y verificación de programas; Universidad Nacional de La Plata. Facultad de Informática; 1; 2013; 313; CONICET Digital; CONICET

الاتاحة: http://hdl.handle.net/11336/131665

المؤلفون: Samborski-Forlese, Julian

المساهمون: Palomino Tarjuelo, Miguel, Sánchez, César

مصطلحات موضوعية: Verificación de programas, Model Checking, Bounded Model Checking, Regular Linear, Temporal Logic, Teoría de autómatas, Complejidad, Program Verification, Automata Theory, Complexity, Programación de ordenadores (Informática), Lógica simbólica y matemática (Matemáticas), 1203.23 Lenguajes de Programación, 1102.14 Lógica Simbólica

وصف الملف: application/pdf

Relation: https://hdl.handle.net/20.500.14352/46442

الاتاحة: https://hdl.handle.net/20.500.14352/46442

المؤلفون: Romero, Santiago Gabriel

المساهمون: Sánchez, César, D'Argenio, Pedro Ruben

مصطلحات موضوعية: Software, Program verification, Verificación de sistemas, Especificación, Monitoreo, Verificación de programas, Programa recursivo, Decibilidad

وصف الملف: 123 páginas

Relation: http://hdl.handle.net/11086/35

الاتاحة: http://hdl.handle.net/11086/35

المؤلفون: Quiroga Cubides, Alvaro Francisco

المصدر: Séneca: repositorio Uniandes
Universidad de los Andes
instacron:Universidad de los Andes

مصطلحات موضوعية: Ingeniería, Ingeniería de software, Verificación de programas para computador, Java (Lenguaje de programación de computadores)

وصف الملف: 74 hojas; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::cba5ee5630683bf1fe4bc9c5938f360c

المؤلفون: Bavera, Francisco

المساهمون: Aguirre, Jorge, Tasistro, Alvaro

المصدر: COLIBRI
Universidad de la República
instacron:Universidad de la República

مصطلحات موضوعية: Lenguajes de Programación, Proof-Carrying Code, Compiladores Certificantes, Verificación de Programas, Seguridad, Código Móvil Seguro

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::17f0834d63a1857395f7a17a3ddeae58

المؤلفون: Martínez Rojas, Rosemberg

المساهمون: Figueroa Forero, Pablo Alejandro

المصدر: instname:Universidad de los Andes ; reponame:Repositorio Institucional Séneca

مصطلحات موضوعية: Desarrollo de software de aplicación, Ingeniería de software - Investigaciones, Verificación de programas para computador, Ingeniería

وصف الملف: 61 h; application/pdf

Relation: http://hdl.handle.net/1992/16634; u371946.pdf; instname:Universidad de los Andes; reponame:Repositorio Institucional Séneca; repourl:https://repositorio.uniandes.edu.co/

الاتاحة: http://hdl.handle.net/1992/16634

المؤلفون: García Ramírez, Fabio, Puello Marrugo, Plinio

المساهمون: Arenas Seleey, Daniel, Arenas Seleey, Daniel 0000068829, Arenas Seleey, Daniel osfVKVoAAAAJ&hl=es, Arenas Seleey, Daniel 0000-0003-3697-3835, Arenas Seleey, Daniel Daniel-Arenas-Seleey, Grupo de Investigación Tecnologías de Información - GTI, Grupo de Investigaciones Clínicas, Arenas Seleey, Daniel daniel-arenas-seleey-25aa56138

مصطلحات موضوعية: Verification of computer programs, Validation of computer programs, Software engineering, Systems Engineering, Investigations, Analysis, Verificación de programas para computador, Validación de programas para computador, Ingeniería de software, Ingeniería de sistemas, Investigaciones, Análisis, Herramientas de verificación y validación, Geresoft

جغرافية الموضوع: Bucaramanga (Colombia), UNAB Campus Bucaramanga

وصف الملف: application/pdf; application/octet-stream

Relation: García Ramírez, Fabio (2009). Caracterización del proceso de verificación y validación de la ingeniería de software y su aplicación en la gestión de requisitos, diseñando una solución en entorno de software libre. Bucaramanga (Colombia) : Universidad Autónoma de Bucaramanga UNAB, Universitat Oberta de Catalunya UOC; • BALL, Thomas. The Verified Software Challenge: A call for a Holistic Approach to Reliability. Microsoft Research. http://research.microsoft.com/~tball/abstracts.aspx; • Chair of Software Engineering. ETH Zurich. Department of Computer Science. http://se.inf.ethz.ch/; • COLLOFELLO, J. Introduction to Software Verification and Validation. Software Engineering Institute, Carnegie Mellon. http://www.sei.cmu.edu/publications/documents/cms/cm.013.html; • DÚRAN, Amador y Bernárdez, Beatriz y Ruiz, Antonio y Toro Miguel. An XML-based Approach for the Automatic Verification of Software Requirements Specifications. http://citeseer.ist.psu.edu/cache/papers/cs/25972/http:zSzzSzwww.inf.puc-rio.brzSz~wer01zSzCal-Req-3.pdf/an-xml-based-approach.pdf; • FISHER, Marcus S. Software Verification and Validation: An Engineering and Scientific Approach. Ed. Springer, 2007, Págs: 85 - 144.; • Fábrica de Sofware. http://www.fabricadesoftware.cl; • Formal Methods. http://vl.fmnet.info/; • Free Software Tools for formal verification of computer programs. http://gulliver.eu.org/wiki/FreeSoftwareForFormalVerification; • Formal Methods in Software Engineering. http://www.cs.queensu.ca/~cisc422/2006f/tools.html; • Formal Software Development Methods. http://fsl.cs.uiuc.edu/index.php/CS477/ECE478_-_Formal_Software_Development_Methods_(Spring_2007); • GALEOTTI, Juan P. y Frías, Marcelo. DynAlloy as a Formal Method for the Análisis of Java Programs. http://publicaciones.dc.uba.ar/Publications/2006/GF06/Galeotti-Frias-SET06.pdf; • Guide to the SWEBOK. http://www.swebok.org/ SEPT(Software Engineering Process Technology). http://www.12207.com/test1.htm; • GAYTAN Gallardo, Elvira y Rivero Gutierrez Tonatiuh y Palacios Hernández, Javier. El Plan de Garantía de Calidad de Software. http://omega2.inin.mx/publicaciones/documentospdf/39%20PLAN%20DE%20GARANTIA.pdf; • GARCES Calvelo, Alejandro y Espinosa Soteras, Pilar y Quinzán Suárez, Ianisse. Un Sistema para la Verificación de Programas. http://www.inf.udec.cl/revista/ediciones/edicion11/SistemaVerificacionProgramas.pdf; • Identificación de errores de software usando diagnosis basada en modelo y satisfacción de restricciones. Rafael Ceballos, Rafael Martínez Gasca. Universidad de Sevilla(España). Disponible en: http://in2test.lsi.uniovi.es/pris2006/#programa; • IEEE. SWEBOK: Guide to the Software Engineering Body of Knowledge. 2004; • IEEE. 1012: IEEE Standard for Software Verification and Validation. 2005; • IEEE Computer Society. http://www.computer.org/portal/site/ieeecs/index.jsp; • International Workshop on Sofware Verification and Validation. http://www.easychair.org/FLoC-06/SVV.html; • IFIP Working Conference on Software Engineering Techniques – SET 2006. http://www.ia.pw.edu.pl/set06/Program.html; • Laboratory for Quality Software. http://www.laquso.com/; • MEDEL, Ricardo. Un método relacional para la verificación de Software. http://209.85.207.104/search?q=cache:R0sjInxhQtsJ:https://guinness.cs.stevens-tech.edu/~rmedel/tesisMaster/tesis.ps+%22Verificacion%22%2B%22requerimientos%22%2B%22software%22&hl=en&ct=clnk&cd=4; • MORALES, Luisa. Verificación y Validación: nueva propuesta para la mejora de la calidad del software. Junio 13 de 2005. http://www.baquia.com/noticias.php?id=9778; • OKTABA, Hanna. Tendencias Internacionales en Procesos de Software. http://www.sei.cmu.edu/iprc/oktaba.pdf; • PIATTINI, Mario G y Calvo M., José y Cervera, Joaquín y Fernández, Luis. Análisis y Diseño de Aplicaciones Informáticas de Gestión, una perspectiva de Ingeniería del Software, Ed. AlfaOmega & Ra-ma,2004, Págs.: 521-550; • Requirements Verification, Analysis, and Testing. http://people.engr.ncsu.edu/txie/recvat/index.html; RAEDTS, Ivo y Petkovic, Marija y Serebrenik, Alexander y Somers, Lou y Boote, Maarten. A Software Framework for Automated Verification. http://www.laquso.com/knowledge/publications.php; • SOMMERVILLE, Ian. Ingeniería del Software, Ed. Pearson Education, 7ª Edición, 2005. Págs.: 469 - 486; • Scientific Literature Digital Library. http://citeseer.ist.psu.edu/cs; • Software Engineering Institute: http://www.sei.cmu.edu/; • SALAZAR BERMUDEZ, Gabriela y Jenkins Coronas, Marcelo. Diseño de un estándar de verificación y validación para asegurar la calidad del software. http://www.accessmylibrary.com/coms2/summary_0286-32286280_ITM; • The Internacional Conference on Computer Arded Verification. http://www.cav-conference.org/; • Top 10 de problemas relativos a la mejora del proceso de verificación y validación en organizaciones intensivas en software. Javier García Guzmán, Antonio de Amescua y Manuel Velasco. Universidad Carlos III de Madrid. Disponible en: http://in2test.lsi.uniovi.es/pris2006/#programa; • UNHELKAR, Bhuvan. Verification and Validation for Quality of UML 2.0. Ed. Wiley Intersciencie Publication. 2005; • Verification Workshop. http://www.easychair.org/FLoC-06/VERIFY.html; • Verificación Formal de Software. http://ing.wsoto.googlepages.com/lisinirefs2; • Verificación de Software. http://www.fceia.unr.edu.ar/ingsoft/ . Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario; • Workshop on Verification and Debugging. http://www.easychair.org/FLoC-06/V&D.html; • Workshop on Verified Software: Theory, Tools, and Experiments. http://www.easychair.org/FLoC-06/VSTTE.html; http://hdl.handle.net/20.500.12749/3442; instname:Universidad Autónoma de Bucaramanga - UNAB; reponame:Repositorio Institucional UNAB

الاتاحة: https://hdl.handle.net/20.500.12749/3442

المؤلفون: Lozano Gómez, Juan Pablo

المساهمون: González Carrero, Juan Carlos, Jiménez Fuentes, Camilo Hernando

المصدر: instname:Universidad de los Andes ; reponame:Repositorio Institucional Séneca

مصطلحات موضوعية: Aprendizaje activo - Investigaciones, Informática educativa - Investigaciones, Tecnología de la información - Enseñanza, Enseñanza con ayuda de computadores - Investigaciones, Tecnología educativa - Investigaciones, Verificación de programas para computador, Ingeniería

وصف الملف: 9 hojas; application/pdf

Relation: http://hdl.handle.net/1992/24213; u346130.pdf; instname:Universidad de los Andes; reponame:Repositorio Institucional Séneca; repourl:https://repositorio.uniandes.edu.co/

الاتاحة: http://hdl.handle.net/1992/24213

المؤلفون: Duitama Castellanos, Jorge Alexander

المصدر: Séneca: repositorio Uniandes
Universidad de los Andes
instacron:Universidad de los Andes

مصطلحات موضوعية: Ingeniería, Verificación de programas para computador, Desarrollo de programas para computador

وصف الملف: 94 hojas; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::356f39b1b3d0b711d53577021aa32cc2