- Видео 71
- Просмотров 445 784
Maximiliano Cristiá
Аргентина
Добавлен 8 янв 2016
Vídeos educativos sobre Ingeniería de Software presentados por el Prof. Maximiliano Cristiá de la Universidad Nacional de Rosario (Argentina). Pueden encontrar vídeos sobre ingeniería de requerimientos, diseño y arquitectura de software (en particular patrones de diseño), especificaciones formales de software y validación y verificación de software.
El formato de los vídeos es básicamente el de una clase con pizarra.
Pueden encontrar material de mis clases en la Universidad Nacional de Rosario en estos dos sitios:
www.fceia.unr.edu.ar/is1
www.fceia.unr.edu.ar/is2
El formato de los vídeos es básicamente el de una clase con pizarra.
Pueden encontrar material de mis clases en la Universidad Nacional de Rosario en estos dos sitios:
www.fceia.unr.edu.ar/is1
www.fceia.unr.edu.ar/is2
Conceptos avanzados sobre especificación de software (05)
Operadores modales básicos de la lógica temporal (siempre y eventualmente); patrones temporales "eventualmente siempre" e "infinitamente a menudo"; equidad débil (weak fairness); equidad fuerte (strong fairness).
Просмотров: 1 186
Видео
Conceptos avanzados sobre especificación de software (04)
Просмотров 4744 года назад
Propiedades de vitalidad; problemas con el teorema de Alpern-Schneider; el concepto de máquina cerrada.
Conceptos avanzados sobre especificación de software (03)
Просмотров 3854 года назад
Propiedades de seguridad (safety)
Conceptos avanzados sobre especificación de software (02)
Просмотров 4604 года назад
El teorema de Alpern-Schneider
Conceptos avanzados sobre especificación de software (01)
Просмотров 1,4 тыс.4 года назад
Pasos de ejecución repetitivos (stuttering steps); el concepto de estado. El contenido de este y de los otros videos sobre conceptos avanzados sobre especificación de software está basado en el apunte de clase que pueden descargar desde aquí: www.fceia.unr.edu.ar/asist/safety.pdf
Introducción a CSP (09)
Просмотров 4754 года назад
Communicating sequential processes (CSP) Último vídeo de la serie sobre CSP. Introducción al modelo semántico de CSP conocido como modelo de fallas y divergencias. Vemos una versión simplificada del modelo que incluye: trazas, rechazos (refusals) y fallas (failures).
Introducción a CSP (08)
Просмотров 3244 года назад
Communicating sequential processes (CSP) Detalles sobre comunicación de datos; canales de comunicación; eventos compuestos; procesos parametrizados; procesos STOP y SKIP.
Introducción a CSP (07)
Просмотров 3174 года назад
Communicating sequential processes (CSP) Más sobre especificación de requisitos temporales. Operadores temporales: espera inactiva, prefijación temporizada y timeout.
Introducción a CSP (06)
Просмотров 3264 года назад
Communicating sequential processes (CSP) Introducción a la especificación de requisitos temporales. Especificación de un timer en CSP. Codificación CSP de los estados temporizados de Statecharts.
Introducción a CSP (05)
Просмотров 4074 года назад
Communicating sequential processes (CSP) Especificación del software de control de la celda de producción; leyes de sincronización, eventos independientes y abrazo mortal (deadlock).
Introducción a CSP (04)
Просмотров 3284 года назад
Communicating sequential processes (CSP) Renombramiento funcional e indexado; el operador de selección interna.
Introducción a CSP (03)
Просмотров 3034 года назад
Communicating Sequential Processes Primeras leyes algebraicas de CSP (selección externa e interrupción); introducción a la composición paralela o concurrente; descripción del conocimiento de dominio de los componentes de la celda de producción; ley de intercalación (interleaving); aplicación de la ley de intercalación en la derivación del proceso secuencial equivalente a un proceso concurrente.
Introducción a CSP (02)
Просмотров 3924 года назад
Communicating Sequential Processes Formalización del conocimiento de dominio de la prensa de la celda de producción automatizada. Definición de procesos mediante eventos, procesos y operadores del álgebra. Operador de prefijación; alternativa etiquetada; selección externa; interrupción.
Introducción a CSP (01)
Просмотров 1,1 тыс.4 года назад
Communicating sequential processes (CSP) En este primer vídeo de la serie sobre CSP presento muy brevemente un par de cuestiones generales y conceptuales sobre el lenguaje y sobre todo presento el problema que vamos a usar para ir aprendiendo CSP. El problema consiste en una celda de producción automatizada. La serie de vídeos sobre CSP la pueden completar con el apunte de clase que uso en Inge...
Relacionar R con S: las diferencias entre R y S
Просмотров 5574 года назад
Relacionar R con S: las diferencias entre R y S
Invariantes de estado (en la notación Z)
Просмотров 4584 года назад
Invariantes de estado (en la notación Z)
Composición de operaciones en notación Z
Просмотров 3074 года назад
Composición de operaciones en notación Z
Promoción de operaciones en notación Z (03)
Просмотров 3094 года назад
Promoción de operaciones en notación Z (03)
Promoción de operaciones en notación Z (02)
Просмотров 3254 года назад
Promoción de operaciones en notación Z (02)
Promoción de operación en notación Z (01)
Просмотров 5644 года назад
Promoción de operación en notación Z (01)
Principios de la Ingeniería de Requerimientos (01)
Просмотров 16 тыс.4 года назад
Principios de la Ingeniería de Requerimientos (01)
hace 3 meses empecé con la programación con un curso de Alura y me esta costando horrores entender ciclos y algunos métodos y me encontré tu canal para dar un mini repaso, soy malo en matemáticas pero me sirve para entender como aplicar la lógica, gracias!
@@mbmusicsound98 me alegra que te sirva. Igual tené en cuenta que aprender algo nuevo lleva tiempo.
@@MaximilianoCristiaIS Si lo se, por eso comento, entiendo lo que hay que hacer pero no se como aplicarlo en la practica
Gracias profe
@@angelballay5198 gracias a vos por visitar el canal
Estoy aprendiendo programacion en 2024 a mis 21 años. Que suerte que existan videos como este
@@tvscarlyngonzalez653 gracias por visitar el canal.
Que suerte haber dado con tu canal. Gracias por este video, es de gran ayuda para conocer los fundamentos para el desarrollo de software. Saludos desde Perú.
@@franciscochungatemoche5334 me alegra saber que te sirvió.
Hola porfe
Hola
Excelente video. Muchas gracias profe!
Gracias a vos por visitar el canal.
Excelente video. Muchas gracias
Gracias a vos por visitar el canal.
Gracias por ayudarme 🙏❤❤
Gracias a vos por visitar el canal.
Lo último ha sido lo más difícil de entender pero al mismo tiempo lo más interesante. Al final es muy evidente que si {log} dice "yes" si encuentra al menos un valor, lo que hay que hacer es asegurarse que su negación no tiene ninguno. Si no encuentra ningún valor para la negación, significa que todos están en la afirmación. Sería como tener dos conjuntos A y B y ambos son complementarios, es decir, que B tiene todos los elementos que no están en A y viceversa. En ese caso, para asegurarnos que todos los valores posibles están en A, hay que asegurarse que B está vacío. ¿Lo he entendido bien? Estoy segurísimo que, como me ha pasado con otros conocimientos matemáticos, en algún momento agradeceré haber aprendido este punto.
Lo entendiste perfecto. De hecho hay una relación muy clara entre teoría de conjuntos y lógica: la conjunción es intersección, la disyunción es unión, la negación es complemento.
Gracias y saludos desde Bolivia.
Gracias a vos por visitar el canal.
Gracias...
A vos
si tan solo los videos se valoraran por la calidad del contenido y no por la fecha en la que se publico sería grandioso. Gracias Maxi 5 años tarde.
Gracias a vos por visitar el canal!
Eres un grande Maxi, te mereces el cielo
Gracias, pero no es para tanto.
Muy gran video, muchas gracias.
Gracias a vos por visitar el canal.
Excelente profe, contenido de calidad. Gracias!
Gracias a vos por visitar el canal.
Excelente video! ¿Subio algun video que hable acerca los componentes?
Hay videos sobre patrones de diseño que creo van en la dirección de tu pregunta.
chido, puedo notar una confusión de requerimiento, especificación de requerimiento y requisitos. Primero es requisitos los que los interesados definen que tenga un software, funcionales y no funcionales; luego con ellos puedes hacer recién "la arquitectura del sistema, software, etc."; y después recién puedes hacer casos de uso bajo ese arquitectura y los requisitos declarados por los interesados; Después recién haces los requerimientos, que son algo mas detallados, específicos y técnicos de como se va desarrollar los requisitos y estas a su ves se clasifican de usuario y sistema.
Lamentablemente no hay un consenso muy amplio sobre el significado técnico de esos términos. Por ejemplo en el libro de Berenbach y otros "especificación de requerimientos" es simplemente un conjunto de requerimientos relacionados, y el término "requisito" no se menciona en todo el libro. Los casos de uso no se usan en todas las metodologías de la ingeniería de requerimientos. Por ejemplo en sistemas embebidos raramente tienen cabida.
me gusta tu respuesta pero no estoy muy de acuerdo. hay diferencia entre requisitos, requerimientos y especificación de requerimientos. puedes notarlo tu mismo intentando documentar cada cosa. en los sistemas embebidos me dicen que no hay casos de uso, pero si los casos de usos son los requisitos funcionales. Puedo notar también que no se tiene claro que son los usuarios. Te dejo tarea para el próximo inicio de sesión en RUclips: 1.- mencione la diferencia entre requisito, requerimiento y especificación de requerimientos y mencione que se hace primero según alguna metodología de desarrollo de software de su elección. 2.- definir con referencia bibliográfica que son los usuarios, definir diferentes tipos de usuarios. y mencione los tipos de usuarios que existen en los sistemas embebidos.
Muy buen video, aclaró muchas lagunas que tenía con respecto al tema. Ojalá tener un profesor como usted en mi universidad. Saludos desde República Dominicana.
Podés venir a estudiar a Argentina, la universidad es gratis. Saludos!
Un tema muy interesante. Tengo una consulta Señor Maxi; si el software que una compañía va a contratar es bajo la modalidad SaaS, es decir, ya está hecho a medida y simplemente es pagar y directo al Go Live....debe existir un proceso de levantamiento de requerimientos?
No necesariamente pero quien contrata el servicio debería tener claro si el software provee toda la funcionalidad que se necesita. Eso debería estar descripto en un manual de servicio.
Gracias profesor, saludos de Perú
Gracias a vos por visitar el canal!
Donde quedó todo el curso???? De análisis y diseño de software???
Se construyó nuevo conocimiento sobre aquello y se lo superó.
@@MaximilianoCristiaIS Donde puedo ver todo un curso sobre arquitectura porque me siento que soy un desarrollador mediocre, no encuentro este conocimiento en internet en ningún sitio
@@juligomez2493 yo doy un curso en la universidad nacional de Rosario. Por ahora la universidad es pública y gratuita. Aprovechala. Si no podés el material del curso está acá: www.fceia.unr.edu.ar/is2
muy util amigo gracias
Gracias a vos por visitar el canal.
excelente la mejor explicación.. veré los filtros y tuberías
Me alegra que te haya servido. Gracias por visitar el canal.
Estudio ingeniería y esto va como trompada en el ojo. Gracias profe
Gracias a vos por visitar el canal.
Excelente video. Muchas gracias entendí bastante 🤝🙌
Me alegro. Gracias por visitar el canal.
Su pizarra es muy anacrónico y borroso...😅😅😅😅
No se como será en Rosario, pero acá en La Plata es un desastre lo que han hecho en medicina. Casi la mitad de los nuevos alumnos inscriptos es extranjero, en un numero que supera varios miles. De estos extranjeros, mas de la mitad son ecuatorianos. Prácticamente el sistema esta colapsado, cosa que antes lo corregían con el examen de admisión. El nivel académico de muchos de esos ingresantes es desastroso. Dios nos salve de los futuros médicos!! y soy docente de estructuras en Ingeniería de la UNLP. El nivel académico va necesariamente a caer sino se selecciona el nivel de los alumnos con cursos nivelatorios o exámenes acordes a los requerimientos de las carrera, o implementar un CBC como la UBA. Vamos hacia una universidad que son suerte serán buenos terciarios
Aquí solo hay muchos extranjeros en medicina, mayormente brasileros. No he escuchado quejas específicas sobre los extranjeros pero tampoco lo contrario. Cuando yo entré a la universidad recién se sacaba el examen de ingreso que había puesto la dictadura. Decían lo mismo, que el nivel iba a bajar, que la universidad iba a ser una secundaria avanzada, etc. Yo creo que eso no se dió. No lo vi en mí generación , no lo veo en mis estudiantes. Siguen yendo a hacer doctorados en el extranjero, siguen yendo a trabajar a Microsoft, Google, etc. Mí abuelo era médico en los setenta. Decía que los médicos jóvenes no sabían nada. Mis amigos médicos dicen lo mismo de los médicos jóvenes. Si eso fuera cierto los médicos de ahora serían más peligrosos que un curandero. Para mí el filtro se hace en primer año. Cantidad abandona porque no le da. Se graduan solo los buenos. Mientras los docentes de primer año mantengan el nivel no debería haber diferencia.
Si ves tan solo algunos videos de youtube, ves como se invita a cualquier país de habla hispana y portugués a venir a las universidades Argentinas por que no hay arancelamiento alguno, y ninguna restricción como exámenes y/o cursos, diríamos "vi luz y entre". El próximo año seremos la universidad de Latinoamérica conde obviamente no hay reciprocidad. Argentina, mas allá de Latinoamérica esta ranqueada muy lejos de algún lugar honorable. En el caso del gran Buenos Aires se crearon universidades distantes a media hora de distancia, con pésimos niveles. El kirchnerismo cree que una universidad es un edificio, y no es relevante el nivel de sus docentes, y si el alumno no sabe ni leer ni escribir no importa, hay que acomodar amigotes. Saludos desde La Plata. El deterioro es algo muy lento, tan lento que a veces no vemos la diferencia. En los últimos años vino la creación de muchas universidades son ningún sentido, y bueno, ahora se dan cuenta que el presupuesto no alcanza, pero los payasos que se nutrieron de este delirio, se llenaron el bolsillo y se borraron del problema. A veces la ingenuidad o el idealismo solo nutre la irresponsabilidad!! Quizás tu idea deje conforme a muchos sudamericanos o de otros países, que en sus países no solo ellos no tienen oportunidad , sino que además ningún argentino tendría oportunidad.
@@santiagoklappenbach5427 soy peronista/kirchnerista. Opino exactamente lo opuesto.
¿Volverás a subir contenido? tus videos son oro :)
Gracias. Por el momento no creo que suba más contenido. En el canal vas a encontrar muchos temas.
@@MaximilianoCristiaIS Aprovecharé al máximo esos temas, muchas gracias por tu aporte de conocimientos. :)
Con milei ya no 😊
Lo que a vos te hace feliz a mí me entristece.
36 años dedicados a la educación pública
@@MaximilianoCristiaIS duro muchos años esto pero dentro de poco acaba
@@Jose_korolev me da mucha más tristeza que un persona joven argentina se alegre por esto.
@@MaximilianoCristiaIS es que la universidad en dónde estudian los extranjeros no es gratis en realidad, lo pagamos nosotros los argentinos con impuestos
Este era el video que buscaba muchas gracias
Gracias a vos por visitar el canal.
Hola profesor. Voy a postular para Computación e informarica, en un instituto publico, por temas económicos, postulo ahi. Y es la unica carrera que me llama la atención, porque trabaje en unas cabinas de internet por 2 años, tengo un poco de práctica, y en teoría de numeros estoy 0, ya que me prepraro, me doy cuenta que soy malísimo en todo lo que tenga que ver en números y no me entra ni a la fuerza jajajaja. Que me recomida profesor? o que temas tengo que repasar o al menos estudiar o saber lo basico, para que no me afecte tanto, si es que llego a ingresar. De ante mano muchas gracias si me responde, me apasiona la tecnología y las maquinas.❤
No te puedo decir mucho porque no sé qué tan exigente es el instituto donde querés ir. Tratá de aprender a programar por ejemplo en phyton. Y si podés tratá de hacer ejercicios de álgebra. Suerte.
sos un CRACK maestro, te agradezco mucho
Gracias a vos por visitar el canal!
estos videos son oro puro
Me alegra que te sirvan
viejo sos un crak idolo genio gracias
Gracias a vos por visitar el canal.
Excelente videi saludos desde RD 🇩🇴
Gracias!
Me sirvió de nuevo, gracias!
De nuevo gracias a vos por visitar el canal!
HOLA no esta funcionando su pagina...
Probá acá www.clpset.unipr.it/setlog.Home.html
Hola buenas hace 6 meses comence a estudiar logica de programacion, y ahora me inscribi en la universidad para analista programador, ud señor esta siendo de mucha ayuda gracias!! tengo 45 años y me meti de cabeza a esta carrera, espero llegar a ser proramador. muchas gracias
Gracias a vos por visitar el canal!
Excelente explicacion, gracias ojala sigas realizando mas videos, te seguiré!
Gracias a vos por visitar el canal. Revisá el canal, hay más videos que te pueden interesar.
Muchas gracias Estudié programación hace muy poco, y estoy intentando aprender formas para ser mejor programador. Agradezco tu entrega
Gracias a vos por visitar el canal!
Ya no más 🥳
Todavía sí.
@@MaximilianoCristiaISEs cuestión de tiempo 😂
@@ASMR-Sound566 veremos...
@@MaximilianoCristiaIS Apostemos
Muchas gracias por este material.
Gracias a vos por visitar el canal
Muy bien explicado
Gracias!
Excelente 😊
Gracias de nuevo!
Estuve ojenado el libro donde describen la especificacion formal del lenguaje haskell y de verdad que me muy interesante este tema. Por cierto alguna vez ha escrito un compilador? Aunque sea sencillo? En tal caso que ruta debo seguir para aprender el tema en profundidad. Me interesan estos temas de especificación de sistemas.
Nunca escribí un compilador, solo un typechecker (yo estudié matemáticas no informática). Yo me compraría un libro sobre compiladores y trataría de ir implementando lo que va explicando. Y si tenés la posibilidad de ir a un curso de compiladores en alguna universidad, mejor. Suerte!
Profesor una pregunta, tiene alguna video o alguna fuente donde hablen de bases de datos con este nivel de rigor y que se entienda? Estos vídeos los veo y entiendo, supongo que por ir bastante adelantado con el libro de mates discretas de Susana Epps. Las fuentes que he visto son o muy teóricas(texto) o van directamente a programar. No he visto un vídeo o profesor que me explique la normalización de manera rigurosa y en mi opinión creo que tampoco lo entienden. Saludos
No, no tengo ningún video sobre ese tema. Lo siento.
Dios al fin de tanto buscar conseguí a alguien que lo explica de manera formal. No entiendo porque si ya conocía su canal porque no busque antes aquí.😒
Me alegra que lo hayas encontrado!
@@MaximilianoCristiaIS una duda porque otras fuentes dibujan la composición con un rombito negro y Ud con uno blanco?
@@LuisMedina-lj2lk no hay una notación unificada. Yo uso el símbolo del libro de E. Gamma de patrones de diseño.
No entiendo nada 😂 que debo aprender para poder entender este video
Aprendé a programar, tal vez eso te ayude. De todas formas el vídeo trata un tema más o menos avanzado. No hay problema si no lo entendés.
GRacias profesor
Gracias a vos por visitar el canal.