IKT617 Formal Descriptions and Related Tools
- Studiepoeng:
- 5
- Ansvarlig avdeling:
- Fakultet for teknologi og realfag
- Emneansvarlig:
- Andreas Prinz
- Undervisningssemester:
- Høst
- Varighet:
- 1 semester
Emnet er tilknyttet følgende studieprogram
- Ph.d.-program i teknologi og realfag
Innhold
-
Modelling and meta-modelling for describing a domain precisely: approach, tools, state of the art.
-
Notations, architectures and models for describing and analysing distributed communicating distributed systems, e.g. process algebras, mobile calculi, event-based vs. state-based formalisms.
-
Notations, architectures and models for describing and analysing languages, e.g. abstract state machines, object constraint language, MOF, grammars. This is embedded in the use of a meta-modelling environment.
Læringsutbytte
After completing the course, the student is expected to:
-
understand the research questions and research methods in formal methods as they are applied to mobile communication systems
-
know the advantages and disadvantages of using formal methods depending on the application area be able to apply formal methods in their own specialization area
-
be able to simplify and formally model complex problems
-
have an in-depth understanding of the relation between models and reality in their own specialization area
-
be able to compare different formal views on their own specialization area
Undervisnings- og læringsformer
Lectures (2 hours per week) and project.
Eksamen
Oral examination. Pass/Fail.