Methods and Techniques for Engineering Software Systems
Development of languages, methods, techniques and tools that support the engineering of software intensive systems, including distributed and adaptive systems. The main focus is on modelling and formal analysis techniques of system structure and behaviour. Also addressed are methods and tools for enhancing the software engineering practice.
Topics: Programming Languages, Type Systems, Software Architectures, Run-time Monitoring, Middleware.
Gloss represents the University of Lisbon in the Parallella University Program.