HAS /
Gothenburg
Gothenburg site core units
Prel. mapping from topics to units (courses) in Gothenburg. Some topic are mapped to two units - that means both are candidates (we, or the student should pick one).
| Topic | Year | no | code | SP | lev | Name |
|---|---|---|---|---|---|---|
| Comp. Const. | 1 | 7 | TDA282 | SP4 | I | Compiler Construction (~= Compilers II) |
| Types | 2 | 12 | DAT140 | SP1 | A | Types for Programs and proofs |
| Semantics | 1 | 1 | DAT060 | SP1 | I | Logic in Computer Science |
| Semantics | 1 | 6 | DAT150 | SP3 | I | Programming Language Technology (~= Compilers I) |
| Correctness | 2 | 11 | TDA292 | SP1 | A | SE using formal methods |
| Func. Prog. | 1 | 3 | TDA451 | SP2 | I | Functional Programming |
| Func. Prog. | 1 | 15 | TDA341 | SP3 | A | Advanced Functional Programming |
| Softw. Dev. | 1 | 18 | DAT135 | SP1 | O | Software Architecture |
| Softw. Dev. | 1 | 20 | DAT180 | SP3 | O | Software Leadership and quality management |
| Project | 1 | 8 | DAT085 | SP4 | P | Comp.Sci. Project |
Interesting courses for the HAS master
(List made for the 20091116 "High assurance software" meeting in Budapest.)
| no | code | SP | lev | Name |
|---|---|---|---|---|
| 1 | DAT060 | SP1 | I | Logic in Computer Science |
| 2 | TIN092 | SP1 | I | Algorithms |
| 3 | TDA451 | SP2 | I | Functional Programming |
| 4 | DAT120 | SP2 | I | Programming paradigms |
| 5 | TDA566 | SP2 | i | Testing, debugging and verification (BSc) |
| 6 | DAT150 | SP3 | I | Programming Language Technology (~= Compilers I) |
| 7 | TDA282 | SP4 | I | Compiler Construction (~= Compilers II) |
| 8 | DAT085 | SP4 | P | Comp.Sci. Project |
| 9 | DAT030 | SP? | A | Research internship (15hp) |
| 10 | TDA261 | SP1-4 | A | Frontiers of programming language technology |
| 11 | TDA292 | SP1 | A | SE using formal methods |
| 12 | DAT140 | SP1 | A | Types for Programs and proofs |
| 13 | TDA183 | SP2 | A | Models of Computation |
| 14 | TDA251 | SP2 | A | Advanced algorithms |
| 15 | TDA341 | SP3 | A | Advanced Functional Programming |
| 16 | TDA956 | SP4 | A | Hardware description and verification |
| 17 | TDA601 | SP4 | A | Language based security |
| 18 | DAT135 | SP1 | O | Software Architecture |
| 19 | DAT105 | SP2 | O | Computer Architecture; (strength of Chalmers: Per Stenströms group) |
| 20 | DAT180 | SP3 | O | Software Leadership and quality management |
| 21 | DAT165 | SP2 | O | Software product line engineering |
| 22 | TDA593 | SP2 | i | Model driven software development (BSc) |
| 23 | TDA231 | SP3 | A |
There is also at least one course teaching or using Erlang (at the Applied IT dept., GU).
Legend:
- no = an arbitrary (but unique) numbering of courses
- code = the course code in Chalmers' student portal
- SP = Study Period = current placement of a unit in the ac. year
- lev = maturity level (I = Intro, A = advanced, i = BSc level, O = Other topic/not rated)
- Course plans can be found at: let prefix = "http://www.student.chalmers.se/sp/course?course_code=" in prefix ++ code
- All the courses are 7.5hec unless otherwise noted.
- All the courses are taught at U. of Goth. and at Chalmers
Some of the dependencies:
ProgLang -> ModComp ProgLang -> Frontiers FP -> AFP ProgLang -> AFP [style=dashed] LiCS -> AFP [style=dashed] ProgLang -> CompConstr ProgLand -> LBSec CompSec -> LBSec