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.
751 Publications
2005 | Book Chapter | LibreCat-ID: 26801
Hellmich, Frank. “Förderung selbstregulativer Fähigkeiten in der Grundschule.” In Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , edited by Frank Hellmich, 265–76. Oldenburg: BIS, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26802
Hellmich, Frank. “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?” In Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, edited by Frank Hellmich, 13–29. Oldenburg: BIS, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26803
Hellmich, Frank. “What about Rituale im Grundschulunterricht?” In Rituale im Grundschulunterricht, edited by Ilona Bohlen, 4. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 514), 2005.
LibreCat
2005 | Book | LibreCat-ID: 26804
Hellmich, Frank, Melanie Abt, and Heike Bruns. „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 509), 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26806
Steckmann, J, and Frank Hellmich. “Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund.” In Lehren und Lernen nach IGLU - Grundschulunterricht heute, edited by Frank Hellmich, 103–15. Oldenburg: BIS, 2005.
LibreCat
2005 | Journal Article | LibreCat-ID: 3227
Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257. https://doi.org/10.1016/j.scico.2004.05.017.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput. Sci., no. 3 (2005): 509--528. https://doi.org/10.1016/j.tcs.2005.06.020.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” In Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” In Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” In {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, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.
LibreCat
| DOI