A blue social bookmark and publication sharing system.
publications
D. Peters and D. Parnas IEEE Transactions on Software Engineering24(3):161--173(
1998)
ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab. Grenzen werden bei dynamische Datenstruk...ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab. Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind. Die formale Spezifikation erscheint in den Beispielen sehr aufwendig.
.
to singlesystem formal test program state specification testing oracle machine finite by ist_spl and 1 other person on May 14, 2008, 12:52 PM
