Preguntas con respuestas sobre "formal-methods"

24 preguntas, página #1

5

votos

3

respuestas

vistas 282

Lógica para verificación de software

Estoy analizando los requisitos para la verificación automatizada de software, es decir, un programa que acepta código (código de procedimiento ordinario escrito en lenguajes como C y Java), genera un montón de teoremas que dicen que cada ciclo debe detenerse eventualmente, no se violará ninguna afirmación , nunca habrá un ...

preguntado 12 años, 3 meses

98

votos

10

respuestas

vistas 4,544

¿Cuáles son las equivalencias más interesantes que surgen del isomorfismo de Curry-Howard?

Me encontré con el isomorfismo de Curry-Howard relativamente tarde en mi vida como programador, y tal vez esto contribuya a que me fascine por completo. Implica que para cada concepto de programación existe un análogo preciso en la lógica formal, y viceversa. Aquí hay una lista "básica" de tales analogías, ...

preguntado 12 años, 7 meses

4

votos

2

respuestas

vistas 347

Quiere una herramienta para obtener especificaciones lógicas temporales lineales del diagrama de secuencia UML 2.0

Estoy trabajando para comprobar la coherencia del modelo del software. Para hacer esto, necesito escribir lógica temporal lineal para el diagrama de secuencia UML 2.0. Si algún organismo tiene alguna otra herramienta para lo mismo, responda lo antes posible. Te estaré muy agradecido. ...

preguntado 12 años, 8 meses

5

votos

3

respuestas

vistas 129

Dividir una prueba en un conjunto de pruebas más pequeñas

Quiero poder dividir una prueba grande en pruebas más pequeñas para que cuando las pruebas más pequeñas pasen, impliquen que la prueba grande también pasaría (por lo que no hay razón para ejecutar la prueba grande original). Quiero hacer esto porque las pruebas más pequeñas generalmente requieren menos tiempo, menos esfuerzo y son menos frágiles. Me gustaría ...

preguntado 12 años, 9 meses

16

votos

3

respuestas

vistas 2,249

Experiencias con el uso de Alloy en proyectos del mundo real

Me interesan los métodos formales desde hace algún tiempo. He utilizado métodos formales para razonar sobre algunas subáreas muy específicas de algunos proyectos en los que he estado trabajando. Nunca pude convencer a otros miembros del equipo para que intentaran lo mismo y mucho menos para especificar un dominio completo con un método formal. ...

preguntado 12 años, 11 meses

4

votos

6

respuestas

vistas 895

¿Cómo aprender sobre el enfoque formal de arriba hacia abajo de la arquitectura de software?

Soy un desarrollador de software interesado en la recuperación de información. Actualmente estoy trabajando en mi tercer proyecto de motor de búsqueda y estoy MUY frustrado por la cantidad de código repetitivo que se escribe una y otra vez, con los mismos errores, etc. ...

preguntado 13 años, 2 meses

4

votos

8

respuestas

vistas 1,822

¿Debería utilizar métodos formales en mi proyecto de software?

Nuestro cliente quiere que creemos una aplicación de Internet enriquecida basada en la web para recopilar los requisitos de software. Básicamente, es una herramienta de casos basada en la web que sigue un proceso específico para obtener los requisitos de las partes interesadas. Soy el director del proyecto y todavía estamos en las primeras fases del proyecto. ...

preguntado 13 años, 9 meses