Logo LaQuSo
* VVSS 2008
LaQuSo Symposium VVSS 2008 programme available
* Master Projects
A few Student Assignments
(Master projects) are presented online
Services
LaQuSo provides a number of services for performing Verification and Validation of software.

In Case Studies LaQuSo identifies research issues and makes solutions applicable. The Application of case studies is divided in 7 services (domains) with as additional domain “Certification”.

The Case Study solutions are based on both fundamental and applicable research. The research of LaQuSo is about Structure and Behavior of both Models and Software and is supported by fundamental research and literature.

In many cases Support is given by tools. Many of them commercial, others are developed by LaQuSo. Kernel of tooling are the classification of tools leading to a experience base and the development of the Repository.

For more information on LaQuSo services please click on the part of the image below, which corresponds to the service, you are interested in!

Overview LaQuSo activities
Software Code Test Execution Security Usability Performance Fundamental Research Model Behavior Software Structure Software Behaviour Knowledge Literature Classification Tools Downloads Certification Requirements Repository Model Structure Architecture Case Study Methodology Support