Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
745 Publications
2005 | Book Chapter | LibreCat-ID: 26801
Förderung selbstregulativer Fähigkeiten in der Grundschule
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.
2005 | Book Chapter | LibreCat-ID: 26802
Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.
2005 | Book Chapter | LibreCat-ID: 26803
What about Rituale im Grundschulunterricht?
F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.
LibreCat
F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.
2005 | Book | LibreCat-ID: 26804
„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´
F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.
LibreCat
F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.
2005 | Book Chapter | LibreCat-ID: 26806
Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund
J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.
LibreCat
J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.
2005 | Journal Article | LibreCat-ID: 3227
Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat
| DOI
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
2005 | Conference Paper | LibreCat-ID: 3229
Checking the Validity of Scenarios in {UML} Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
2005 | Conference Paper | LibreCat-ID: 3230
Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
2005 | Conference Paper | LibreCat-ID: 3231
Non-atomic Refinement in {Z} and {CSP}
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.