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.
9678 Publications
2007 | Book (Editor) | LibreCat-ID: 26731
Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule
F. Hellmich, ed., Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007.
LibreCat
F. Hellmich, ed., Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007.
2007 | Book Chapter | LibreCat-ID: 26778
Lehren und Lernen im Geometrieunterricht
F. Hellmich, in: U. Heimlich, F.B. Wember (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Eine Handreichung für Praxis und Studium, Kohlhammer, Stuttgart, 2007, pp. 294–306.
LibreCat
F. Hellmich, in: U. Heimlich, F.B. Wember (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Eine Handreichung für Praxis und Studium, Kohlhammer, Stuttgart, 2007, pp. 294–306.
2007 | Book Chapter | LibreCat-ID: 26779
Erwerb von Kompetenz im Unterricht
F. Hellmich, in: C. Becker (Ed.), Perspektiven textiler Bildung, 2007, pp. 47–56.
LibreCat
F. Hellmich, in: C. Becker (Ed.), Perspektiven textiler Bildung, 2007, pp. 47–56.
2007 | Book Chapter | LibreCat-ID: 26781
Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?
F. Hellmich, M. Sämisch, in: K. Möller, P. Hanke, C. Beinbrech, A.K. Hein, T. Kleickmann, R. Schagers (Eds.), Qualität von Grundschulunterricht entwickeln, erfassen und bewerten, VS Verlag für Sozialwissenschaften, Wiesbaden, 2007, pp. 115–118.
LibreCat
F. Hellmich, M. Sämisch, in: K. Möller, P. Hanke, C. Beinbrech, A.K. Hein, T. Kleickmann, R. Schagers (Eds.), Qualität von Grundschulunterricht entwickeln, erfassen und bewerten, VS Verlag für Sozialwissenschaften, Wiesbaden, 2007, pp. 115–118.
2007 | Journal Article | LibreCat-ID: 26786
Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule
F. Hellmich, Bildungsforschung 4.1 (2007).
LibreCat
| DOI
F. Hellmich, Bildungsforschung 4.1 (2007).
2007 | Journal Article | LibreCat-ID: 26788
Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich
F. Hellmich, Bildungsforschung 4.1 (2007).
LibreCat
| DOI
F. Hellmich, Bildungsforschung 4.1 (2007).
2007 | Book Chapter | LibreCat-ID: 26790
Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit
F. Hellmich, M. Grüßing , in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 119–140.
LibreCat
F. Hellmich, M. Grüßing , in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 119–140.
2007 | Book Chapter | LibreCat-ID: 26791
Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 3–7.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 3–7.
2007 | Book Chapter | LibreCat-ID: 26793
„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule , Schneider Hohengehren, Baltmannsweiler, 2007, pp. 11–32.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule , Schneider Hohengehren, Baltmannsweiler, 2007, pp. 11–32.
2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
2007 | Journal Article | LibreCat-ID: 3212
Extending a Component Specification Language with Time
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
LibreCat
| DOI
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
2007 | Journal Article | LibreCat-ID: 3213
Modelchecking Correctness of Refactorings - Some Experiments
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
LibreCat
| DOI
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat
| DOI
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat
| DOI
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
2007 | Conference Paper | LibreCat-ID: 3221
The Challenges of Building Advanced Mechatronic Systems
W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.
LibreCat
| DOI
W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.
2007 | Conference Paper | LibreCat-ID: 3222
Proving Linearizability Via Non-atomic Refinement
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
2007 | Book Chapter | LibreCat-ID: 3293
Global Shift – The European Union, the United States, and the Emergence of China
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
LibreCat
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
2007 | Book Chapter | LibreCat-ID: 3294
Educational Disparity and Income Inequality in Urban China
T. Gries, J. Xue, in: The Economic Science, 2007, pp. 101–116.
LibreCat
T. Gries, J. Xue, in: The Economic Science, 2007, pp. 101–116.