Elements tagged with: wissen

Page	created at
TidBITS Entertainment: "If Monks Had Macs" Available for Free	Jan. 9, 2010, 8:04 p.m.
TidBITS Entertainment: "If Monks Had Macs" Available for Free - eines der seltsamsten Projekte aus älterer Mac-Zeit. Allein deshalb interessant weil man sehen kann wie damals von manchen Leuten Hypercard benutzt wurde (läuft heute auf Runtime Revolution und damit Plattformübergreifend).
Weird, Wissen
Alloy Analyzer	Jan. 9, 2010, 11:50 a.m.
Alloy Analyzer - wer sich mal ansehen will, wieweit automatische Beweise und automatisches Reasoning auf Softwaremodellen heutzutage ist, guckt sich das Projekt mal an. In Java geschrieben, Installer für die großen Systeme verfügbar. Kommt mit einer deklarativen Sprache in der die Modellspezifikation gemacht wird und automatischen Konfliktfindern - also ein Modell, welches fehlerhaft ist, wirft Gegenbeispiele aus die mindestens eine der Randbedingungen verletzen. Und das Tutorial liefert nicht irgendwelche abstrakte praxisferne Beispiele, sondern z.B. ein Modell eines Datesystems mit verschiedenen Operationen darauf.
Programmierung, Wissen