[Lichtenberger]
Making Formal Methods Popular: The Crux is Math Education!
Franz Lichtenberger
In: Formal Methods in Software Engineering Education Teaching and Training, Andreas Bollin, Tiziana Margaria, Isabelle Perseil (ed.), Proceedings of 1st Workshop on Formal Methods in Software Engeneering Education and Training - FMSEET'15, CEUR Workshop Proceedings 1385, pp. 27-34. June 2015. Sun SITE Central Europe, RWTH Aachen, ISSN 1613-0073. [url] [pdf] [bib]
@inproceedings{RISC5216,
author = {Franz Lichtenberger},
title = {{Making Formal Methods Popular: The Crux is Math Education!}},
booktitle = {{Formal Methods in Software Engineering Education Teaching and Training}},
language = {english},
series = {CEUR Workshop Proceedings},
volume = {1385},
pages = {27--34},
publisher = {Sun SITE Central Europe},
address = {RWTH Aachen},
isbn_issn = {ISSN 1613-0073},
year = {2015},
month = {June},
editor = {Andreas Bollin and Tiziana Margaria and Isabelle Perseil},
refereed = {yes},
length = {8},
conferencename = {1st Workshop on Formal Methods in Software Engeneering Education and Training - FMSEET'15},
url = {http://ceur-ws.org/Vol-1385/}
}
[Lichtenberger]
Mathematik f\"{u}r Software-Ingenieure: Gibt's das \"{u}berhaupt?
Franz Lichtenberger
Technical report no. 98-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). December 1998. [bib]
@techreport{RISC1438,
author = {Franz Lichtenberger},
title = {{Mathematik f\"{u}r Software-Ingenieure: Gibt's das \"{u}berhaupt?}},
number = {98-27},
year = {1998},
month = {December},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Lichtenberger]
Mathematics Education for Software Engineers: An Underestimated Challenge
Franz Lichtenberger
Technical report no. 98-28 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). December 1998. [bib]
@techreport{RISC1439,
author = {Franz Lichtenberger},
title = {{Mathematics Education for Software Engineers: An Underestimated Challenge}},
number = {98-28},
year = {1998},
month = {December},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Lichtenberger]
Projektantrag: Zugang zur Mathematik f\"ur Blinde: Integrierte, computerunterst\"utzte Arbeitsumgebung f\"ur Blinde und Sehende im Bereich der Mathematiklehre
Franz Lichtenberger, Klaus Miesenberger, Bernhard St\"oger
Technical report no. 94-75a in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1994. [bib]
@techreport{RISC1669,
author = {Franz Lichtenberger and Klaus Miesenberger and Bernhard St\"oger},
title = {{Projektantrag: Zugang zur Mathematik f\"ur Blinde: Integrierte, computerunterst\"utzte Arbeitsumgebung f\"ur Blinde und Sehende im Bereich der Mathematiklehre}},
number = {94-75a},
year = {1994},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Lichtenberger]
Softwaresysteme zur Formelmanipulation - Praktisches Arbeiten mit den Computer-Algebra-Systemen REDUCE, MACSYMA und DERIVE
B. Kutzler, F. Lichtenberger, F. Winkler
1 edition, 1990. Expert Verlag, Ehningen bei Böblingen, ISBN 3-8169-0445-9. [bib]
@booklet{RISC3504,
author = {B. Kutzler and F. Lichtenberger and F. Winkler},
title = {{Softwaresysteme zur Formelmanipulation - Praktisches Arbeiten mit den Computer-Algebra-Systemen REDUCE, MACSYMA und DERIVE}},
language = {deutsch},
publisher = {Expert Verlag},
address = {Ehningen bei Böblingen},
isbn_issn = {ISBN 3-8169-0445-9},
year = {1990},
edition = {1},
translation = {0},
length = {0}
}
[Lichtenberger]
Computer-Algebra Systeme
B. KUTZLER, F. WINKLER, F. LICHTENBERGER
Technical report no. 88-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 1988. [bib]
@techreport{RISC1980,
author = {B. KUTZLER and F. WINKLER and F. LICHTENBERGER},
title = {{Computer-Algebra Systeme}},
number = {88-10},
year = {1988},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Lichtenberger]
Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals
F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek
ACM Transactions on Mathematical Software 11(1), pp. 66-78. March 1985. ACM, no. [pdf] [bib]
@article{RISC234,
author = {F. Winkler and B. Buchberger and F. Lichtenberger and H. Rolletschek},
title = {{Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals}},
language = {english},
journal = {ACM Transactions on Mathematical Software},
volume = {11},
number = {1},
pages = {66--78},
publisher = {ACM},
isbn_issn = {no},
year = {1985},
month = {March},
annote = {1985-03-00-A},
refereed = {yes},
length = {13}
}
[Lichtenberger]
Mathematik fuer Informatiker: Ein algorithmenorienter Ansatz an der Universitaet Linz (Mathematics for Computer Scientists: An Algorithm Oriented Approach at the University of Linz)
F. Lichtenberger, B. Buchberger
In: Special issue: Proceedings of the Symposium "Lehr- und Lernprozesse in der Ingenieurausbildung", Technische Universitaet Graz, Austria, October 8-9, 1985, - (ed.), Zeitschrift fuer Hochschuldidaktik 910, pp. 103-110. 1985. ISBN 3-900386-10-2. [pdf] [bib]
@inproceedings{RISC2678,
author = { F. Lichtenberger and B. Buchberger},
title = {{Mathematik fuer Informatiker: Ein algorithmenorienter Ansatz an der Universitaet Linz (Mathematics for Computer Scientists: An Algorithm Oriented Approach at the University of Linz)}},
booktitle = {{Special issue: Proceedings of the Symposium "Lehr- und Lernprozesse in der Ingenieurausbildung", Technische Universitaet Graz, Austria, October 8-9, 1985}},
language = {german},
series = { Zeitschrift fuer Hochschuldidaktik},
volume = {9},
number = {10},
pages = {103--110},
isbn_issn = {ISBN 3-900386-10-2},
year = {1985},
annote = {1985-00-00-B},
editor = {-},
refereed = {yes},
length = {8}
}
[Lichtenberger]
Mathematik für Informatik I – Die Methode der Mathematik (Mathematics for Computer Science I – The Method of Mathematics)
B. Buchberger, F. Lichtenberger
Second edition, 1981. Springer-Verlag, Berlin - Heidelberg - New York, ISBN 3-540-11150-6. [pdf] [bib]
@book{RISC2230,
author = {B. Buchberger and F. Lichtenberger},
title = {{Mathematik für Informatik I – Die Methode der Mathematik (Mathematics for Computer Science I – The Method of Mathematics)}},
language = {german},
publisher = {Springer-Verlag, Berlin - Heidelberg - New York},
isbn_issn = {ISBN 3-540-11150-6},
year = {1981},
annote = {1981-00-00-B},
edition = {Second},
translation = {0},
length = {315}
}
[Lichtenberger]
PL/ADT: Ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL/I
Franz Lichtenberger
RISC, Johannes Kepler University Linz. PhD Thesis. 1980. [bib]
@phdthesis{RISC4144,
author = {Franz Lichtenberger},
title = {{PL/ADT: Ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL/I}},
language = {english},
year = {1980},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0}
}
