formal-methods

10Hitze

6Antwort

So ... Ich unterrichte formale Methoden in der Softwareentwicklung. Ich unterrichte auch "agile Methoden". Die meisten Leute scheinen das für widersprüchlich zu halten. Ich denke, es macht sehr viel S

5Hitze

1Antwort

Formale Semantik der CSS-Box-Positionierung

Ich bin ein (theoretischer) Informatikstudent, und daher ist die Untersuchung der Semantik von Programmiersprachen eines der Themen meiner Studie (wikipedia). Ich habe viel mit CSS herumgespielt und h

10Hitze

1Antwort

Forall Einführung in Coq?

ich bin versucht (klassisch) beweisen ~ (forall t : U, phi) -> exists t: U, ~phi in Coq. Was ich versuche, es zu tun beweisen contrapositively: 1. Assume there is no such t (so ~(exists t: U, ~phi))

5Hitze

2Antwort

innerhalb rekursive Funktionsdefinition Mit forall

Ich versuche Funktion zu verwenden, um eine rekursive Definition mit einer Maßnahme zu definieren, und ich erhalte die Fehlermeldung: Error: find_call_occs : Prod ich den gesamten Quellcode an der E

11Hitze

5Antwort

Was ist der beste Weg, eine Schleifeninvariante zu bestimmen?

Wenn formale Aspekte zum Erstellen von Code verwendet werden, gibt es eine generische Methode zum Bestimmen einer Schleifeninvariante oder wird sie je nach Problem völlig anders aussehen?

5Hitze

2Antwort

event-b: Ist es möglich, eine Folge von ... bis ... von Primzahlen über Lambda in einem Ausdruck zu erzeugen?

Ich frage mich, ob es möglich ist, eine Sequenz von Primzahlen mit nur einem lambda Ausdruck in event-b zu generieren. Dies ist das, was ich bisher: @axm1 primeSet = {x∣ x ∈ 1‥100 ∧ ¬(∃y·y < x ∧ y > 1

5Hitze

3Antwort

Einen Test auf eine Reihe kleinerer Tests aufteilen

Ich möchte einen großen Test auf kleinere Tests aufteilen, so dass, wenn die kleineren Tests bestanden haben, sie auch bedeuten, dass der große Test bestanden wird (also gibt es keinen Grund, das zu t