Gg. BW II stand der komplette Kader zur Verfügung. Vor dem Spiel bestand daher die Hofnung auf ein gutes Ergebnis. BW trat mit einigen A-Jungend-Spielern an und zeigte eine starke Lauf- und Spielbereitschaft und es war mehr als ein Klassenunterscheid erkennbar. Zum Ende der 1. HZ konnte sich die Mannschaft ein wenig befreien und erzielte den Anschlußtreffer zum 1:2.
Nach der HZ bei strömendem Regen und starkem Wind drückte sich die Überlegenheit des Gegners auch in Tore aus.
Gg. Sögel II am Samstag kommt vielleicht schon die letzte Chance Anschluß zu halten. Einigen wurden die derzeitigen fußballerischen Grenzen mehr als deutlich aufgezeigt.
Derzeit trainieren 2 Türne von Fatik-Spor aus Papenburg und der Maik Uecker von der Hobbymannschaft mit. Mal sehn was daraus wird und überhaupt, der Wind weht uns derzeit allen mächtig ins Gesicht.

properties do not necessarily rlatee to features. One approach is to have a single property describe a single transaction (e.g. the movement of data from input to output of the design along with any transformations on the data, and adherence to protocols of course). Since the development of the implementation is likely to move from simple transactions to more complex transactions (and add various sideband outputs in along the way), so would the development of the properties. As well as a very robust unit, you would also end up with- a set of assertions reflecting any assumptions made in the design (e.g. on input behaviour)- and potentially a set of functional coverage points reflecting interesting interactions between the unit and surrounding unitsto feed up into your top-level verification.So I think it's an idea with plenty of potential.