Danish
Back to search
Programming languages and formal models, Compilers and interpreters, Domain-specific language, Functional programming, Global computing, Models and logic for interactive systems, Modern logic, Object-oriented programming, Object-oriented programming lauguage, Partial evaluation and normalisation, Philosophy of science, Program analysis and transformations, Semantics of programming language, Software development tools, Teaching in programming and software development, Technology with learning potential, Tools based on partial evaluation, Type systems, Vitual/abstract machines
Programming languages and formal models, Compilers and interpreters, Object-oriented programming, Object-oriented programming lauguage, Semantics of programming language, Software development tools, Type systems, Vitual/abstract machines
Programming languages and formal models, Capacity planning, Experimental systems development, Model-driven systems development, Modelling and validation of distributed systems (Coloured Petri Nets), Simulation and analysis tools, Software specification and verification
Programming languages and formal models, Compilers and interpreters, Program analysis and transformations, Software specification and verification, Webtechnology
Programming languages and formal models, Compilers and interpreters, Domain-specific language, Functional programming, Object-oriented analysis and design, Object-oriented modelling, Object-oriented programming, Object-oriented programming lauguage, Program analysis and transformations, Semantics of programming language, Softeware architecture, Software development tools, Software specification and verification, Type systems, Vitual/abstract machines, Web services, Webtechnology
