-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathDSLM_references.bib
135 lines (129 loc) · 6.9 KB
/
DSLM_references.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
@Inproceedings{TFPIE15_DSLsofMath_IonescuJansson,
author = {Ionescu, Cezar and Jansson, Patrik},
year = 2016,
title = {Domain-Specific Languages of Mathematics: Presenting
Mathematical Analysis Using Functional Programming},
editor = {Jeuring, Johan and McCarthy, Jay},
booktitle = {Proceedings of the 4th and 5th International
Workshop on Trends in Functional Programming in
Education, Sophia-Antipolis, France and University
of Maryland College Park, USA, 2nd June 2015 and 7th
June 2016},
series = {Electronic Proceedings in Theoretical Computer
Science},
volume = 230,
publisher = {Open Publishing Association},
pages = {1--15},
eptcskey = "EPTCS230.1",
doi = {10.4204/EPTCS.230.1},
}
@inproceedings{TFPIE18_DSLMResults_JanssonEinarsdottirIonescu,
author = {Patrik Jansson and Sólrún Halla Einarsdóttir and
Cezar Ionescu},
title = {Examples and Results from a BSc-level Course on
Domain-Specific Languages of Mathematics},
booktitle = {Proc. 7th Int. Workshop on Trends in Functional
Programming in Education},
publisher = {Open Publishing Association},
longseries = {Electronic Proceedings in Theoretical Computer
Science},
series = {EPTCS},
volume = 295,
ISSN = {2075-2180},
url = {http://dx.doi.org/10.4204/EPTCS.295.6},
DOI = {10.4204/eptcs.295.6},
year = 2019,
pages = {79–90},
note = {Presented at TFPIE 2018.}
}
@TechReport{DSLMBSc2016_TSS_med_DSL,
author = {Filip Lindahl and Cecilia Rosvall and Peter Ngo and
Jacob Jonsson and Joakim Olsson},
title = {Programmering som undervisningsverktyg för
Transformer, signaler och system},
subtitle = {Utvecklingen av läromaterialet {TSS} med {DSL}},
school = {Chalmers tekniska högskola och Göteborgs
universitet},
department = {Institutionen för Data- och Informationsteknik},
institution = {Chalmers University of Technology / Department of
Computer Science and Engineering (Chalmers)},
year = 2016,
type = {Examensarbete för kandidatexamen / BSc thesis},
note = {Supervisor: Patrik Jansson. Examiner: Niklas Broberg. Available at
\url{https://hdl.handle.net/20.500.12380/243894}.}
}
@TechReport{DSLMBSc2018_Physics,
author = {Johansson, Johan and Lundström, Oskar and Sjöström,
Erik and Werner, Björn},
title = {Ett komplementerande läromaterial för datastudenter
som lär sig fysik - Läromaterialet Learn You a
Physics for Great Good!},
institution = {Chalmers University of Technology / Department of
Computer Science and Engineering (Chalmers)},
year = 2018,
URL = {https://hdl.handle.net/20.500.12380/256122},
type = {Examensarbete för kandidatexamen / BSc thesis},
abstract = {Denna rapport beskriver utvecklingen av
läromaterialet Learn You a Physics for Great
Good!. Materialet utvecklades som ett kandidatarbete
vid institutionen för Data- och informationsteknik
på Chalmers tekniska högskola. Syftet med projektet
är att skapa ett textbaserat läromaterial som
presenterar fysik med hjälp av
programmeringskonceptet domänspecifika språk, där de
domänspecifika språken är implementerade i
programmeringsspråket Haskell. Vidare diskuteras den
pedagogiska nyttan av ett läromaterial av detta slag
samt hur väl fysik och domänspecifika språk går att
kombinera. Bakgrunden till projektet är fysikkursen
Fysik för ingenjörer. Kursen är obligatorisk för
studenter på Datateknik (D) på Chalmers och har haft
ganska dålig tentastatistik i flera år. Vi tror att
en faktor till att just D-studenter får dåliga
resultat i denna kurs är att studenterna finner
ämnet irrelevant i förhållande till resten av
utbildningen. Vi tror också att detta problem kan
lösas med ett läromaterial som bryggar fysik och
programmering, och både visar på relevansen av ämnet
och väcker intresse för fysik. Ett ökat intresse för
fysik leder förhoppningsvis till bättre resultat i
kursen. Det resulterande läromaterialet innehåller
fem kapitel som behandlar områdena fysikaliska
dimensioner, matematisk analys, vektorer och
partikelmekanik, och tillämpningar av dem. Varje
kapitel består av Haskell-kod tillsammans med
beskrivande text. Vissa kapitel bygger upp
domänspecifika språk från grunden medan andra
kombinerar och tillämpar tidigare domänspecifika
språk på fysikaliska problem. Läromaterialet är
publicerat på en hemsida3 och dess källkod finns
fritt tillgänglig4. Rapporten beskriver även de
möten och diskussioner som genomförts med
utomstående. Syftet var att förbättra läromaterialet
samt att genomföra en informellt test av
läromaterialet. Slutsatserna är att domänspecifika
språk kan ha en pedagogisk nytta i
fysikundervisning. Den rigorösa naturen hos Haskell
och domänspecifika språk gör att den
fysikproblemlösningen de används för också blir
rigorös, utan möjlighet till intuitiva men felaktiga
genvägar. Detta tankesätt tror vi kan främja lärande
om det integreras i traditionell fysikundervisning.}
}
@TechReport{DSLMBSc2020_ControlTheory,
author = {Simon Hägglund and Jakob Alexander Fihlman and Elin
Ohlman and Filip Nylander and Christian Josefsson
and Tommy Räjert},
title = {A Computer Science Approach to Teaching Control
Theory},
subtitle = {Developing Learning Material Using Domain-Specific
Languages},
institution = {Department of Computer Science and Engineering
Chalmers University of Technology},
year = 2020,
type = {Bachelor of Science Thesis in Computer Science and
Engineering},
note = {Supervisor: Patrik Jansson. Examiner: David Sands. Available from
\href{https://chalmers.instructure.com/courses/8840/assignments/17961/submissions/7281?download=611859&inline=1}{Chalmers
Canvas}.}
}