Preguntas con respuestas sobre "formal-methods"

Me preguntaba si alguien podría ayudarme a responder esta pregunta. Es de un examen anterior y me vendría bien saber la respuesta lista para el examen de este año. ...

Esperaba que alguien pudiera ayudarme con las siguientes preguntas, las respuestas serían las mejores, pero si me puede orientar en la dirección correcta, eso también será útil. ...

Estoy en medio de una investigación y no he podido encontrar mucha literatura para ayudar, quiero comparar las dependencias de plataforma de los dos métodos formales; especificación algebraica y orientación a objetos. ¿Qué idioma utilizarían? ...

Tengo un fragmento de código en ALLOY. Estoy tratando de hacer un sistema de reserva de restaurante y tengo esta firma y relación entre ellos. ...

Me encontré con "los bucles deben doblarse para enusre la terminación" en un artículo sobre métodos formales (interpretación abstracta para ser precisos). Tengo claro lo que significa la terminación, pero no sé qué es un bucle doblado, ni cómo realizar el plegado en un bucle. ...

Quiero usar Alloy4 para un proyecto de investigación de generación de casos de prueba automatizado. ¿Alguien puede ayudarme con esto? ...

Entonces tengo el siguiente código en Alloy: ...

Estoy tratando de usar Function para definir una definición recursiva usando una medida, y obtengo el error: ...

Estoy tratando de probar (clásicamente) ...

¿Existe una herramienta que pueda manejar la verificación de modelos de sistemas distribuidos grandes, del mundo real, principalmente C ++, como KDE? ...

Continuando con las ideas en: ¿Existen lenguajes del mundo real que se puedan demostrar? ...

Estoy atascado en este problema de tarea de métodos formales y no estoy seguro de lo que no estoy haciendo bien. ...

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 ...

Recuerdo haber leído algo sobre un lenguaje de especificación formal para C hace un tiempo, pero no puedo encontrarlo ahora que lo necesito. ...

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, ...

...

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. ...

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 ...

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. ...

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. ...

...

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. ...

...

...