For each methodology theme there are several research programs represented in the diagram below. The projects are defined within a program.
For more information on LaQuSo services, please click on the part of the image you are interested in
The six themes are:
- Certification (experimenting in cases)
The certification program is enabled by both tooling and methodology. - Tooling
The tooling theme is serviced by methodology and research.
The programs Tool Management and Tool Development belong to this theme.
Model Analysis (2 themes)
- Model Structure
- Architecture analysis
- Architecture visualization
- Interface analysis
- Model Behavior
- Model checking
- Theorem proving
- Structural analysis
- Security analysis
- Performance analysis
Software Analysis (2 themes)
- Software Structure
- Program visualization
- Code metrics
- Software Behavior
- Assertion checking
- Statistical testing
- User interaction
- Performance analysis
Projects
All research projects at the Laboratory for Quality Software are classified under one of the programs.
Not all projects are fully equipped yet. If you are interested to be involved in one or more of the projects feel free to respond.
If you have an idea for a project or a real case please contact us.